Both sides previous revisionPrevious revisionNext revision | Previous revision |
lectures:phd:tid:dmti [2010/11/29 13:14] – koutny | lectures:phd:tid:dmti [2011/01/10 10:27] (current) – koutny |
---|
====== Dílna moderní teoretické informatiky 2010 ====== | ====== 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** | **Pozvánka** |
* [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/dilna/program.pdf | Program]] | * [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/dilna/program.pdf | Program]] |
* [[http://www.fit.vutbr.cz/research/groups/fm/ | Výzkumná skupina formálních modelů]] | * [[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/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¬itle=0&format=0&shortname=0 | Projekt Výuka pokročilých témat teoretické informatiky na mezinárodní úrovni]] |
** Kde ** | ** Kde ** |
* Posluchárna [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A112 | A112]] | * Posluchárna [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A112 | A112]] |
* [[http://www.fit.vutbr.cz/~idurfina/ | Lukáš Ďurfina]] | * [[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 ]] | * 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/~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 ]] | |
* [[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/~izemek/ | Petr Zemek]] | * [[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 ]] | * Left Random Context Grammars, [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Zemek_TID_-_Petr.Zemek_-_Abstract.pdf| Abstrakt ]] |
* [[http://www.fit.vutbr.cz/~ivrabel/ | Lukáš Vrábel]] | * [[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 ]] | * 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ů |