Differences

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

--- lectures:lta:lta13 [2013/12/05 13:45] – [SESSION 2 - FORMAL LANGUAGES: THEORY AND APPLICATIONS: Thursday, December 12, 2013, 09:00 - 13:00] krivka
+++ lectures:lta:lta13 [2013/12/16 17:16] (current) – [SESSION 3 - ADVANCED COMPILER WRITING: Wednesday, December 18, 2013, 10:00 - 13:00] krivka
@@ Line 61: / Line 61: @@
       * [[xkrcma04@stud.fit.vutbr.cz|Krčmář Radim]]: Lexical/syntactical structures and internals of ML programming language ({{:lectures:lta:2013_abstracts:vype_xkrcma04_xkrcma04_abstract.pdf|Abstract}})
       * [[xbamba01@stud.fit.vutbr.cz|Bambas Tomáš]], [[xmasek11@stud.fit.vutbr.cz|Mašek Jiří]]: Vala programming language and its compiler ({{:lectures:lta:2013_abstracts:vype_xbamba01_xmasek11_abstract.pdf|Abstract}})
-    * 11:55 - 12:35
+    * 11:55 - 12:25
       * [[xkopec36@stud.fit.vutbr.cz|Kopecký Marek]], [[xkubik22@stud.fit.vutbr.cz|Kubík Lukáš]]: Region-Based Analysis ({{:lectures:lta:2013_abstracts:vype_xkopec36_xkubik22_abstract.pdf|Abstract}})
       * [[xplach02@stud.fit.vutbr.cz|Plachý Tomáš]], [[xpramu00@stud.fit.vutbr.cz|Pramuka Tomáš]]: Logical Representation of Data Flow & Simple Pointer-Analysis Algorithm ({{:lectures:lta:2013_abstracts:vype_xplach02_xpramu00_abstract.pdf|Abstract}})
-      * [[xkaspa34@stud.fit.vutbr.cz|Kašpar David]]: Predator - A Formal Verification Tool ({{:lectures:lta:2013_abstracts:lta_xkaspa34_abstract.pdf|Abstract}})
+    * 12:25 - 12:45
-    * 12:35 - 12:55
       * [[xskvar06@stud.fit.vutbr.cz|Škvařilová Radka]]: Modified Deep Pushdown Automata ({{:lectures:lta:2013_abstracts:vype_xskvar06_abstract.pdf|Abstract}})
       * [[xkajan05@stud.fit.vutbr.cz|Kajan Dušan]]: Scattered Context Grammars and Their Applications in Natural Language Analysis ({{:lectures:lta:2013_abstracts:vype_xkajan05_abstract.pdf|Abstract}})
@@ Line 76: / Line 75: @@
   * Talks:
-    * 09:00 - 10:20 Opening Talk
+    * 09:00 - 10:20 Main talk
       * **Meduna Alexander, Zemek Petr: Regulated Grammars and Automata** ({{:lectures:lta:2013_abstracts:lta_opening_talk_abstract.pdf|Abstract}})
   * Talks (//Theory//):
@@ Line 102: / Line 101: @@
       * [[xniklv00@stud.fit.vutbr.cz|Nikl Vojtěch]]: Optimizing Compilers - Enhancing Fine-Grained Parallelism
       * [[xrysav17@stud.fit.vutbr.cz|Ryšavý Michal]], [[xsenko01@stud.fit.vutbr.cz|Senko Jozef]]: Optimiziing Compiler - Creating Coarse-Grained Parallelism ({{:lectures:lta:2013_abstracts:vype_xsenko01_xrysav17_abstract.pdf|Abstract}})
-      * [[xfouka00@stud.fit.vutbr.cz|Foukal Martin]], [[xsamek01@stud.fit.vutbr.cz|Samek Michal]]: Optimizing Compilers - Improving Register Usage ({{:lectures:lta:2013_abstracts:vype_xfouka00_xsamek01_abstract.pdf|Abstract}})
+      * [[xkaspa34@stud.fit.vutbr.cz|Kašpar David]]: Predator - A Formal Verification Tool ({{:lectures:lta:2013_abstracts:lta_xkaspa34_abstract.pdf|Abstract}})
     * 11:30 - 11:40
       * Coffee break