Dílna moderní teoretické informatiky 2010

TODO:

• Zkontrolovat spravnost odkazu
• Zkontrolovat pravopisne a typograficke chyby
• Ve ctvrtek rozeslat pozvanku (FITINFO, Konference, VZFM)
• V pondeli vytisknout pozvanku a vylepit nekde (dvere kanclu? seminarky?)
• Bude stacit kapacita seminarky? 15 studentu TID + Ales, Zbynek, Jirka, Martin, Ota, …,…, + pripadne skolitele studentu + …Snad ano.

Pozvánka

• Program

Záštita

• Moderní teoretická informatika
• Výzkumná skupina formálních modelů
• Skupina DC5 Výzkumného záměru

Kde

• Seminární místnost Ústavu informačních systémů, C228
• Délka jednoho příspěvku je 40 minut včetně diskuse
• Konference je zdarma a přístupná každému bez jakékoliv registrace

Kdy

• 24. 11. 2010, 9:00-12:00
• 1. 12. 2010, 9:00-12:00
• 8. 12. 2010, 9:00-12:00
• 15. 12. 2010, 9:00-12:00

Organizátoři

• Prof. RNDr. Alexander Meduna, CSc. (předseda)
• Ing. Jiří Koutný
• Ing. Zbyněk Křivka, Ph.D.
• Ing. Martin Čermák

Program

• Úvod (24. 11. 2010, 9:00-12:00 v C228)
  • Alexander Meduna
    • Úvod konference
  • Alexander Meduna
    • Deterministické programované gramatiky, Abstrakt
  • Martin Čermák
    • Multi–Languages and Multi-Automata Systems, Abstrakt
  • Jiří Koutný
    • On n-Path-Controlled Grammars, Abstrakt
  • Petr Horáček
    • Syntaxí řízený japonsko-český překlad
• Gramatiky (1. 12. 2010, 9:00-12:00 v C228)
  • Lukáš Ďurfina
    • Scattered context grammars and generic reverse compilation, Abstrakt
  • Miloš Kleiner, Abstrakt
    • Multigenerativní systémy
  • Michal Minárik
    • Tree-Adjoining Grammars, Abstrakt
  • Petr Zemek
    • Left Random Context Grammars, Abstrakt
• Logika a sítě (8. 12. 2010, 9:00-12:00 v C228)
  • Patrik Halfar
    • Temporální logika reaktivních a konkurentních systémů, Abstrakt
  • Michal Mrnuštík
    • Závislostní analýza přirozeného jazyka, Abstrakt
  • Jiří Novotňák
    • Partial Commutation and Traces, Abstrakt
  • Libor Polčák
    • Model směrování v hierarchických sítích se zajištěním QoS, Abstrakt
• Automaty (15. 12. 2010, 9:00-12:00 v C228)
  • Miloš Janda
    • Finite state transducers, String-to-Weight Transducers a jejich využití ve zpracování řeči, Abstrakt
  • Filip Kadlček
    • Váhované konečné automaty a jejich aplikace ve zpracování obrazu, Abstrakt
  • Vlastimil Košař
    • Modifikace deterministických konečných automatů, Abstrakt
  • Lukáš Vrábel
    • Deep Pushdown Automata, Abstrakt