Both sides previous revisionPrevious revisionNext revision | Previous revision |
lectures:phd:tid:dmti [2010/11/15 13:32] – koutny | lectures:phd:tid:dmti [2011/01/10 10:27] (current) – koutny |
---|
====== Dílna moderní teoretické informatiky 2010 ====== | ====== Dílna moderní teoretické informatiky 2010 ====== |
TODO: | **Změny** |
* Zkontrolovat spravnost odkazu | * 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í. |
* Zkontrolovat pravopisne a typograficke chyby | * Podklady pro prezentaci jsou na stránkách [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:phd:tid:tid| TIDu]]. |
* Ve ctvrtek rozeslat pozvanku (FITINFO, Konference, VZFM) | * Přidán příspěvek Ondřeje Soukupa na **15.12.2010**. |
* V pondeli vytisknout pozvanku a vylepit nekde (dvere kanclu? seminarky?) | * Změna termínu přednášky Miloše Kleinera z 1.12.2010 na **15.12.2010**. |
* Bude stacit kapacita seminarky? 15 studentu TID + Ales, Zbynek, Jirka, Martin, Ota, ...,..., + pripadne skolitele studentu + ...Snad ano. :-) | * 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 ** |
* Seminární místnost Ústavu informačních systémů, [[http://www.fit.vutbr.cz/FIT/map/fit2.php?show=C228 | C228]] | * 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** | * 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 | * Konference je **zdarma** a **přístupná každému** bez jakékoliv registrace |
* [[http://www.fit.vutbr.cz/~izemek/ | Ing. Petr Zemek]] | * [[http://www.fit.vutbr.cz/~izemek/ | Ing. Petr Zemek]] |
**Program** | **Program** |
* **Úvod** (24. 11. 2010, 9:00-12:00 v C228) | * **Úvod** (24. 11. 2010, 9:00-12:00 v A112) |
* [[http://www.fit.vutbr.cz/~meduna/ | Alexander Meduna]] | * [[http://www.fit.vutbr.cz/~meduna/ | Alexander Meduna]] |
* Úvod konference | * Úvod konference |
* [[http://www.fit.vutbr.cz/~ihoracekp/ | Petr Horáček]] | * [[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 ]] | * 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 C228) | * **Gramatiky** (1. 12. 2010, 9:00-12:00 v 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]], [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Kleiner_Referat_TID_ikleiner.pdf | Abstrakt ]] | |
* Multigenerativní systémy | |
* [[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 ]] |
* **Logika a sítě** (8. 12. 2010, 9:00-12:00 v C228) | * **Logika a sítě** (8. 12. 2010, 9:00-12:00 v A112) |
* [[http://www.fit.vutbr.cz/~ihalfar/| Patrik Halfar]] | * [[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 ]] | * 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/~ipolcak/ | Libor Polčák]] | * [[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 ]] | * 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 C228) | * **Automaty** (15. 12. 2010, 9:00-12:00 v A112) |
* [[http://www.fit.vutbr.cz/~ijanda/ | Miloš Janda]] | * [[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 ]] | * 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/~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ů |