Differences

This shows you the differences between two versions of the page.

--- lectures:phd:tid:dmti [2010/11/15 11:55] – koutny
+++ lectures:phd:tid:dmti [2011/01/10 10:25] – koutny
@@ Line 1: / Line 1: @@
 ====== Dílna moderní teoretické informatiky 2010 ======
-TODO:
+**Změny**
-  * Doplnit abstrakty Martina a Petra
+  * Zveřejněny videozáznamy, viz níže.
-  * Zkontrolovat spravnost odkazu
+  * Podklady pro prezentaci jsou na stránkách [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:phd:tid:tid| TIDu]].
-  * Zkontrolovat pravopisne a typograficke chyby
+  * Přidán příspěvek Ondřeje Soukupa na **15.12.2010**.
-  * Ve ctvrtek rozeslat pozvanku (FITINFO, Konference, VZFM)
+  * Změna termínu přednášky Miloše Kleinera z 1.12.2010 na **15.12.2010**.
-  * V pondeli vytisknout pozvanku a vylepit nekde (dvere kanclu? seminarky?)
+  * Změna termínu přednášky Michala Minárika 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. :-)
 **Pozvánka**
   * [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/dilna/program.pdf | Program]]
@@ Line 14: / Line 12: @@
   * [[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 **
-  * 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
 ** Kdy **
   * 24. 11. 2010, 9:00-12:00
@@ Line 28: / Line 27: @@
   * [[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 C228)
+  * **Úvod**	 (24. 11. 2010, 9:00-12:00 v A112)
     * [[http://www.fit.vutbr.cz/~meduna/ | Alexander Meduna]]
       * Úvod konference
@@ Line 39: / Line 39: @@
       * 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
+      * 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]]
       * 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]]
       * 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]]
       * 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 ]]
@@ Line 58: / Line 54: @@
     * [[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 C228)
+  * **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 ]]
@@ Line 67: / Line 63: @@
     * [[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ů