Differences

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

--- lectures:phd:tid:dmti [2010/11/16 09:14] – koutny
+++ lectures:phd:tid:dmti [2011/01/10 10:27] (current) – koutny
@@ Line 1: / Line 1: @@
 ====== Dílna moderní teoretické informatiky 2010 ======
-TODO:
+**Změny**
-  * Ve ctvrtek rozeslat pozvanku (FITINFO, Konference, VZFM)
+  * 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í.
-  * V pondeli vytisknout pozvanku a vylepit nekde (dvere kanclu? seminarky?)
+  * 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]]
@@ Line 10: / 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 **
   * Posluchárna [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A112 | A112]]
@@ Line 40: / Line 43: @@
     * [[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 ]]
@@ Line 64: / 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ů