====== LANGUAGE THEORY with APPLICATIONS 2012 (LTA 2012) ====== LTA 2012 is a student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== * **Subject:** Formal language theory and its applications in computer science * **Place:** [[http://www.fit.vutbr.cz/FIT/.en|FIT BUT]], Brno, Czech Republic * **Date:** December 10 - 13, 2012 * **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; - [[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. * **Committee:** * [[http://www.fit.vutbr.cz/~meduna|Alexander Meduna]] (chair) * [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * [[http://www.fit.vutbr.cz/~izemek|Petr Zemek]] * [[http://www.fit.vutbr.cz/~ivrabel|Lukáš Vrábel]] * [[http://www.fit.vutbr.cz/~ihoracekp|Petr Horáček]] * **Conference language:** English * **Coverage:** * LTA 2012 offers a variety of scientific talks on formal language theory and its computer-related applications at MSc and PhD levels. A special attention is paid to modern applications related to the language translation. Most of the talks results from the students' work in the TID, VYPe and GAL classes taught at FIT BUT. * **Style:** * Talks are presented so they clearly and quickly explain their significance to today's computer science. As a result, in some instances, results and their proofs may be merely outlined in an informal way. LTA 2012 does not tolerate presentations that hide their shallow contents behind exotic pictures. * **Purpose:** The purpose of this event is three-fold: - demonstrating the TID, VYPe, and GAL student work in public; - giving students the opportunity of giving scientific talks in English; - improving a communication between students and teachers interested in the subject of the conference. * **Audience**: Everybody is welcome to attend this event without any prior notice. There is no payment. * **Questions**: Contact [[krivka@fit.vutbr.cz|Zbyněk Křivka]] ===== Recordings ===== * **[[https://video1.fit.vutbr.cz/index.php?categ_id=926|Audio-video recordings of sessions]]** * Big thanks to Jana Skokanová, Miroslav Paulík, and Marek Surovič with postprocessing of video recordings. ===== Schedule ===== * {{:lectures:lta:2012_abstracts:lta2012_program_a3.pdf|PDF Program Summarization}} ({{:lectures:lta:2012_abstracts:lta2012_program_a3_print.pdf|print version}}) ==== SESSION 1 - OPENING TALK: Monday, December 10, 2012, 12:30 - 13:50 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~meduna|Alexander Meduna]] * Opening Talk: * **Meduna Alexander, Zemek Petr: Jumping Finite Automata** * {{:lectures:lta:2012_abstracts:lta2012-opening-talk-abstract.pdf|Abstract}} * Talk duration: 60 minutes (including discussion) ==== SESSION 2 - MODERN THEORETICAL COMPUTER SCIENCE: Tuesday, December 11, 2012, 09:00 - 12:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~izemek|Petr Zemek]] * **Talk duration**: 40 minutes (including discussion) * **Level**: PhD * Talks: * 09:00-09:40 [[xkluba00@stud.fit.vutbr.cz|Klubal Ondřej]]: Smart cards protocols ({{:lectures:lta:2012_abstracts:tid-abstract_xkluba00.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_xkluba00.pdf|Slides}}) * 09:40-10:20 [[xdvora66@stud.fit.vutbr.cz|Dvořák Milan]]: Suitable abstract model for representing the market data feed format of different exchanges ({{:lectures:lta:2012_abstracts:tid-abstract_xdvora66.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_xdvora66.pdf|Slides}}) * 10:20-11:00 [[xmaliu00@stud.fit.vutbr.cz|Maliulin Valerii]]: Lexicalized Tree Adjoining Grammar ({{:lectures:lta:2012_abstracts:tid-abstract_xmaliu00.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_xmaliu00.pdf|Slides}}) * 11:00-11:40 [[iondel@fit.vutbr.cz|Ondel Lucas]]: Indexing WFST for Spoken Term Detection ({{:lectures:lta:2012_abstracts:tid-abstract_iondel.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:tid-presentation_iondel.pdf|Slides}}) ==== SESSION 3 - MODERN THEORETICAL COMPUTER SCIENCE: Wednesday, December 12, 2012, 10:20 - 11:15 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E104|E104]] * **Chair**: [[http://www.fit.vutbr.cz/~ivrabel|Lukáš Vrábel]] * **Talk duration**: 40 minutes (including discussion) * **Level**: PhD, Bc * Talks: * 10:20-11:00 [[xkolla06@stud.fit.vutbr.cz|Kollár Matej]]: Firewall Rules Discovery and Generation ({{:lectures:lta:2012_abstracts:tid-abstract_xkolla06.pdf|Abstract}}, {{.2012_abstracts:tid-presentation_xkolla06.pdf|Slides}}) * 11:00-11:15 [[xsurov03@stud.fit.vutbr.cz|Surovič Marek]] (BP): Non-returning Turing machines ({{:lectures:lta:2012_abstracts:bp-abstract_xsurov03.pdf|Abstract}}, {{.2012_abstracts:bp-presentation_xsurov03.pdf|Slides}}) ==== SESSION 4 - GRAPHS: Wednesday, December 12, 2012, 11:20 - 13:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 15 minutes (including discussion) * **Level**: Masters * Talks: * 11:20-11:35 [[xtothr00@stud.fit.vutbr.cz|Toth Róbert]]: Dantzig's Shortest Path Algorithm ({{:lectures:lta:2012_abstracts:gal-abstract_xtothr00.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xtothr00.pdf|Slides}}) * 11:35-11:50 [[xsakvl00@stud.fit.vutbr.cz|Sák Vladimír]]: Goldberg-Radzik Algorithm ({{:lectures:lta:2012_abstracts:gal-abstract_xsakvl00.pdf|Abstract}}) * 11:50-12:05 [[xhorni09@stud.fit.vutbr.cz|Horníček Ondřej]]: Max-Flow Min-Cut theorem (Use in multicast networks) ({{:lectures:lta:2012_abstracts:gal-abstract_xhorni09.pdf|Abstract}}) * 12:05-12:20 [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Ramsey theory - Ramsey theorem ({{:lectures:lta:2012_abstracts:gal-abstract_xchalo08.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xchalo08.pdf|Slides}}) * 12:20-12:35 [[xkukli01@stud.fit.vutbr.cz|Kuklínek Lukáš]]: Register Allocation via Graph Colouring ({{:lectures:lta:2012_abstracts:gal-abstract_xkukli01.pdf|Abstract}}, {{.2012_abstracts:gal-presentation_xkukli01.pdf|Slides}}) ==== SESSION 5 - COMPILERS: Thursday, December 13, 2012, 10:00 - 13:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E104|E104]] * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 10 minutes (including discussion) * **Level**: MSc * Talks: * 10:00-10:10 [[xfibic01@stud.fit.vutbr.cz|Fibich Ondřej]], [[xolejn02@stud.fit.vutbr.cz|Olejník Marek]]: Lexical/syntactical structures in Fortran and its history ({{lectures:lta:2012_abstracts:vype-abstract_xfibic01_xolejn02.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xfibic01_xolejn02.pdf|Slides}}) * 10:10-10:20 [[xnavra23@stud.fit.vutbr.cz|Navrátil Ondřej]], [[xnovot28@stud.fit.vutbr.cz|Novotný Pavel]]: Parsing Techniques ({{lectures:lta:2012_abstracts:vype-abstract_xnavra23_xnovot28.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xnavra23.pdf|Slides}}) * 10:20-10:30 [[xmoren00@stud.fit.vutbr.cz|Moreno Serrano María José]]: Symbol Tables and Run-Time Storage Organization ({{lectures:lta:2012_abstracts:vype-abstract_xmoren00.pdf|Abstract}}) * 10:30-10:40 [[xpalam00@stud.fit.vutbr.cz|Pála Milan]], [[xsocho06@stud.fit.vutbr.cz|Sochor Jakub]]: Code Generation: Intermediate Languages ({{lectures:lta:2012_abstracts:vype-abstract_xpalam00_xsocho06.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xpalam00_xsocho06.pdf|Slides}}) * 10:40-10:50 [[xkotas02@stud.fit.vutbr.cz|Kotásek Marek]], [[xkozak12@stud.fit.vutbr.cz|Kozák Filip]]: Code Generation: Symbol Table ({{lectures:lta:2012_abstracts:vype-abstract_xkotas02_xkozak12.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xkotas02_xkozak12.pdf|Slides}}) * 10:50-11:00 [[xnovos10@stud.fit.vutbr.cz|Novosád Adrián]], [[xrohov01@stud.fit.vutbr.cz|Rohovský Tomáš]]: Declarations ({{lectures:lta:2012_abstracts:vype-abstract_xnovos10_xrohov01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xnovos10_xrohov01.pdf|Slides}}) * 11:00-11:10 [[xhudec24@stud.fit.vutbr.cz|Hudec Lukáš]], [[xkorgo00@stud.fit.vutbr.cz|Korgo Tomáš]]: Expressions ({{lectures:lta:2012_abstracts:vype-abstract_xhudec24_xkorgo00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xkorgo00_xhudec24.pdf|Slides}}) * 11:10-11:20 [[xmraze03@stud.fit.vutbr.cz|Mrázek Petr]], [[xsalek05@stud.fit.vutbr.cz|Šálek Jiří]]: Statements and Control Flow ({{lectures:lta:2012_abstracts:vype-abstract_xmraze03_xsalek05.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:vype-presentation_xmraze03_xsalek05.pdf|Slides}}) * 11:20-11:30 [[xodalo00@stud.fit.vutbr.cz|Odaloš Matej]], [[xpoles01@stud.fit.vutbr.cz|Polesný Ondřej]]: Optimization Strategies ({{lectures:lta:2012_abstracts:vype-abstract_xodalo00_xpoles01.pdf|Abstract}}, {{:lectures:lta:2012_abstracts:vype-presentation_xodalo00_xpoles01.pdf|Slides}}) * * 11:40-11:50 [[xklapu00@stud.fit.vutbr.cz|Klapuchová Mirka]], [[xwosra00@stud.fit.vutbr.cz|Woś Radek]]: lex & yacc: Advanced Features ({{lectures:lta:2012_abstracts:vype-abstract_xklapu00_xwosra00.pdf|Abstract}}) * 11:50-12:00 [[xdvora64@stud.fit.vutbr.cz|Dvořák Petr]], [[xpaces01@stud.fit.vutbr.cz|Pačes Jan]]: Yacc Ambiguities and Conflicts ({{lectures:lta:2012_abstracts:vype-abstract_xdvora64_xpaces01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xdvora64_xpaces01.pdf|Slides}}) * 12:00-12:10 [[xjanec11@stud.fit.vutbr.cz|Janečka Pavel]], [[xkukli01@stud.fit.vutbr.cz|Kuklínek Lukáš]]: Xtext of Eclipse Text Modeling Framework ({{lectures:lta:2012_abstracts:vype-abstract_xjanec11_xkukli01.pdf|Abstract}}) * 12:10-12:20 [[xkopec06@stud.fit.vutbr.cz|Kopecký Jiří]], [[xkucer61@stud.fit.vutbr.cz|Kučera Martin]]: Introduction to Small Device C Compiler ({{lectures:lta:2012_abstracts:vype-abstract_xkopec06_xkucer61.pdf|Abstract}}) * 12:20-12:30 [[xbaruc00@stud.fit.vutbr.cz|Baručák Robert]], [[xsulek00@stud.fit.vutbr.cz|Šulek Jakub]]: Introduction to LLVM Compiler Infrastructure ({{lectures:lta:2012_abstracts:vype-abstract_xbaruc00_xsulek00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xbaruc00_xsulek00.pdf|Slides}}) * 12:30-12:40 [[xmatul01@stud.fit.vutbr.cz|Matula Peter]]: Reconstruction of Data Types for Decompilation ({{lectures:lta:2012_abstracts:vype-abstract_xmatul01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xmatul01.pdf|Slides}}) ==== SESSION 6 - COMPILERS: Thursday, December 13, 2012, 13:00 - 14:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Chair**: [[http://www.fit.vutbr.cz/~ihoracekp|Petr Horáček]] * **Talk duration**: 10 minutes (including discussion) * **Level**: MSc * Talks: * 13:00-13:10 [[xchalo09@stud.fit.vutbr.cz|Chaloupka David]], [[xchalo08@stud.fit.vutbr.cz|Chaloupka Jan]]: Foundations of Data-Flow Analysis & Constant Propagation ({{lectures:lta:2012_abstracts:vype-abstract_xchalo08_xchalo09.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xchalo08_xchalo09.pdf|Slides}}) * 13:10-13:20 [[xbarte09@stud.fit.vutbr.cz|Barteček Jakub]], [[xkanic00@stud.fit.vutbr.cz|Kanich Ondřej]]: Loops in Flow Graphs ({{lectures:lta:2012_abstracts:vype-abstract_xbarte09_xkanic00.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xbarte09_xkanic00.pdf|Slides}}) * 13:20-13:30 [[xfesar00@stud.fit.vutbr.cz|Fešar Marek]], [[xfiedo01@stud.fit.vutbr.cz|Fiedor Tomáš]]: Interprocedural Analysis: Basic Concepts & Why? ({{lectures:lta:2012_abstracts:vype-abstract_xfesar00_xfiedo01.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xfesar00_xfiedo01.pdf|Slides}}) * 13:30-13:40 [[xhorni09@stud.fit.vutbr.cz|Horníček Ondřej]]: Context-Insensitive Interprocedural Analysis & Context-Sensitive Pointer Analysis ({{lectures:lta:2012_abstracts:vype-abstract_xhorni09.pdf|Abstract}}, {{.2012_abstracts:vype-presentation_xhorni09.pdf|Slides}}) ===== Conference history ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta11|LTA 2011]]