Dílna moderní teoretické informatiky 2010

Změny

• Zveřejněny videozáznamy na interním videoserveru FIT VUT v Brně. Záznamy jsou dostupné všem na FIT, ostatním budou poskytnuty na požádání.
• Podklady pro prezentaci jsou na stránkách TIDu.
• Přidán příspěvek Ondřeje Soukupa na 15.12.2010.
• Změna termínu přednášky Miloše Kleinera z 1.12.2010 na 15.12.2010.
• Změna termínu přednášky Michala Minárika z 1.12.2010 na 15.12.2010.

Pozvánka

• Program

Záštita

• Moderní teoretická informatika
• Výzkumná skupina formálních modelů
• Skupina DC5 Výzkumného záměru
• Projekt Výuka pokročilých témat teoretické informatiky na mezinárodní úrovni

Kde

• Posluchárna A112
• 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
• Ing. Petr Zemek

Program

• Úvod (24. 11. 2010, 9:00-12:00 v A112)
  • 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, Abstrakt
• Gramatiky (1. 12. 2010, 9:00-12:00 v A112)
  • Lukáš Ďurfina
    • Scattered context grammars and generic reverse compilation, Abstrakt
  • Petr Zemek
    • Left Random Context Grammars, Abstrakt
• Logika a sítě (8. 12. 2010, 9:00-12:00 v A112)
  • 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 A112)
  • 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
  • Michal Minárik
    • Tree-Adjoining Grammars, Abstrakt
  • Miloš Kleiner,
    • Multigenerativní systémy Abstrakt
  • Ondřej Soukup,
    • Zásobníkové automaty s omezeným počtem čistých zásobníků