====== Dílna moderní teoretické informatiky 2010 ======
**Změny**
  * Zveřejněny videozáznamy [[https://video1.fit.vutbr.cz/av/records-categ.php?id=719|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 [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:phd:tid:tid| 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**
  * [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/dilna/program.pdf | Program]]
**Záštita**
  * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:phd:tid:tid | Moderní teoretická informatika]]
  * [[http://www.fit.vutbr.cz/research/groups/fm/ | Výzkumná skupina formálních modelů]]
  * [[ http://www.fit.vutbr.cz/research/vzamer/np/index.php?path=cs/skupina-5/popis | Skupina DC5 Výzkumného záměru]]
  * [[ http://www.fit.vutbr.cz/research/view_project.php?id=486&notitle=0&format=0&shortname=0 | Projekt Výuka pokročilých témat teoretické informatiky na mezinárodní úrovni]]
** Kde **
  * Posluchárna [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A112 | 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** 
  * [[http://www.fit.vutbr.cz/~meduna/ | Prof. RNDr. Alexander Meduna, CSc. (předseda)]]
  * [[http://www.fit.vutbr.cz/~ikoutny/ | Ing. Jiří Koutný]]
  * [[http://www.fit.vutbr.cz/~krivka/ | Ing. Zbyněk Křivka, Ph.D.]]
  * [[http://www.fit.vutbr.cz/~icermak/ | Ing. Martin Čermák]]
  * [[http://www.fit.vutbr.cz/~izemek/ | Ing. Petr Zemek]]
**Program**
  * **Úvod**	 (24. 11. 2010, 9:00-12:00 v A112)
    * [[http://www.fit.vutbr.cz/~meduna/ | Alexander Meduna]]	
      * Úvod konference 
    * [[http://www.fit.vutbr.cz/~meduna/ | Alexander Meduna]]
      * Deterministické programované gramatiky, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Meduna_abstract.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~icermak/ | Martin Čermák]]	
      * Multi–Languages and Multi-Automata Systems, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Cermak_abstract.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~ikoutny/| Jiří Koutný]]	
      * On n-Path-Controlled Grammars, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Koutny_dilna.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~ihoracekp/ | Petr Horáček]]	
      * Syntaxí řízený japonsko-český překlad, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Horacek_abstract.pdf | Abstrakt ]]
  * **Gramatiky** (1. 12. 2010, 9:00-12:00 v A112)
    * [[http://www.fit.vutbr.cz/~idurfina/ | Lukáš Ďurfina]]	
      * Scattered context grammars and generic reverse compilation, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Durfina_idurfina_abstrakt.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~izemek/ | Petr Zemek]]	
      * Left Random Context Grammars, [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Zemek_TID_-_Petr.Zemek_-_Abstract.pdf| Abstrakt ]]
  * **Logika a sítě** (8. 12. 2010, 9:00-12:00 v A112)
    * [[http://www.fit.vutbr.cz/~ihalfar/| Patrik Halfar]]	
      * Temporální logika reaktivních a konkurentních systémů, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Halfar_abstract.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~imrnustik/ | Michal Mrnuštík]]
      * Závislostní analýza přirozeného jazyka, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Mrnustik_xmrnus00_TID_abstrakt.pdf| Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~inovotnak/ | Jiří Novotňák]]	
      * Partial Commutation and Traces, [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Novotnak_xnovot87_abstract.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~ipolcak/ | Libor Polčák]]	
      * Model směrování v hierarchických sítích se zajištěním QoS, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Polcak_polcak_tid.pdf | Abstrakt ]]
  * **Automaty** (15. 12. 2010, 9:00-12:00 v A112)
    * [[http://www.fit.vutbr.cz/~ijanda/ | Miloš Janda]]	
      * Finite state transducers, String-to-Weight Transducers a jejich využití ve zpracování řeči, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Janda_TID_abstrakt_xjanda16.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~ikadlcek/ | Filip Kadlček]]	
      * Váhované konečné automaty a jejich aplikace ve zpracování obrazu, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Kadlcek_Abstrakt-WFA-Image.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~ikosar/ | Vlastimil Košař]]	
      * Modifikace deterministických konečných automatů, [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Kosar_ikosar.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~ivrabel/ | Lukáš Vrábel]]	
      * Deep Pushdown Automata, [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Vrabel_TID-vrabel-deepPDA-abs.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~iminarik/| Michal Minárik]]	
      * Tree-Adjoining Grammars, [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Minarik-TID-iminarik-TAGs-abstract.pdf | Abstrakt ]]
    * [[http://www.fit.vutbr.cz/~ikleiner/| Miloš Kleiner]], 
      * Multigenerativní systémy [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Kleiner_Referat_TID_ikleiner.pdf | Abstrakt ]]	
    * [[| Ondřej Soukup]], 
      * Zásobníkové automaty s omezeným počtem čistých zásobníků