Differences

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

--- lectures:lta:lta13 [2013/11/27 07:04] – Added a new talk. izemek
+++ lectures:lta:lta13 [2013/12/16 17:16] (current) – [SESSION 3 - ADVANCED COMPILER WRITING: Wednesday, December 18, 2013, 10:00 - 13:00] krivka
@@ Line 1: / Line 1: @@
-====== Working page of LANGUAGE THEORY with APPLICATIONS 2013 (LTA 2013) ======
+====== LANGUAGE THEORY with APPLICATIONS 2013 (LTA 2013) ======
 LTA 2013 is 3rd student conference at the Faculty of Information Technology, Brno University of Technology.
 ===== Information =====
+{{ :lectures:lta:logo_lta13.png?nolink|Language Theory with Applications 2013 (Logo)}}
   * **Subject:** Formal language theory and its applications in computer science
   * **Place:** [[http://www.fit.vutbr.cz/FIT/.en|FIT BUT]], Brno, Czech Republic
@@ Line 9: / Line 9: @@
   * **Organizers:**
-    - the [[http://www.fit.vutbr.cz/study/courses/TID/index.php.en|TID]], [[http://www.fit.vutbr.cz/study/courses/VYPe/index.php.en|VYPe]], and [[http://www.fit.vutbr.cz/study/courses/GAL/index.php.en|GAL]] teaching teams;
+    - the [[http://www.fit.vutbr.cz/study/courses/TID/index.php.en|TID]] and[[http://www.fit.vutbr.cz/study/courses/VYPe/index.php.en|VYPe]] teaching teams;
     - [[http://www.fit.vutbr.cz/research/groups/fm/|Formal Model Research Group]], FIT BUT;
     - [[http://www.fit.vutbr.cz/units/UIFS/index.php.en|Department of Information Systems]], FIT BUT.
@@ Line 40: / Line 40: @@
   * **Questions**: Contact [[krivka@fit.vutbr.cz|Zbyněk Křivka]]
+  * **Acknowledgement**: This conference is partially supported by TAČR grant [[http://www.v3c.cz/|Visual Computing Competence Center (V3C), TE01020415]].
 ===== Schedule =====
@@ Line 60: / 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 75: / Line 75: @@
   * Talks:
-    * 09:00 - 10:20 Opening Talk
+    * 09:00 - 10:20 Main talk
-      * Meduna Alexander, Zemek Petr: Regulated Grammars and Automata (Abstract, TBA)
+      * **Meduna Alexander, Zemek Petr: Regulated Grammars and Automata** ({{:lectures:lta:2013_abstracts:lta_opening_talk_abstract.pdf|Abstract}})
   * Talks (//Theory//):
     * 10:20 - 10:40 [[xkucer28@stud.fit.vutbr.cz|Kučera Jiří]]: On State-Synchronized Automata Systems ({{:lectures:lta:2013_abstracts:tid_xkucer28_abstract.pdf|Abstract}})
     * 10:40 - 11:00 [[xsouku09@stud.fit.vutbr.cz|Soukup Ondřej]]: Alternative Modes of Scattered Context Derivations ({{:lectures:lta:2013_abstracts:tid_xsouku09_abstract.pdf|Abstract}})
-    * 11:00 - 11:20 [[xnavra23@stud.fit.vutbr.cz|Navrátil Ondřej]]: Translation State Systems With a Limited Distribution ({{:lectures:lta:2013_abstracts:tid_xnavra23_abstract.pdf|Abstract}})
+    * 11:00 - 11:20 [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Transformation of Ordinary Differential Equations Into an Equivalent Polynomial Form ({{:lectures:lta:2013_abstracts:tid_xchalo08_abstract.pdf|Abstract}})
-    * 11:20 - 11:40 [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Transformation of Ordinary Differential Equations Into an Equivalent Polynomial Form ({{:lectures:lta:2013_abstracts:tid_xchalo08_abstract.pdf|Abstract}})
+    * 11:20 - 11:40 [[xyouss00@stud.fit.vutbr.cz|Youssef Sawsan]]: Parse Tree in Context-Free Parallel Communicating Grammar Systems ({{:lectures:lta:2013_abstracts:tid_xyouss00_abstract.pdf|Abstract}})
-    * 11:40 - 12:00 [[xyouss00@stud.fit.vutbr.cz|Youssef Sawsan]]: Parse Tree in Context-Free Parallel Communicating Grammar Systems ({{:lectures:lta:2013_abstracts:tid_xyouss00_abstract.pdf|Abstract}})
+    * 11:40 - 12:00 [[xnavra23@stud.fit.vutbr.cz|Navrátil Ondřej]]: Translation State Systems With a Limited Distribution ({{:lectures:lta:2013_abstracts:tid_xnavra23_abstract.pdf|Abstract}})
   * Talks (//Type Systems, Visualization and Geometry//):
     * 12:00 - 12:20 [[xmatul01@stud.fit.vutbr.cz|Matula Peter]]: Type Systems, Their Models and Usage in Decompilation ({{:lectures:lta:2013_abstracts:tid_xmatul01_abstract.pdf|Abstract}})
@@ Line 101: / 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