====== LANGUAGE THEORY with APPLICATIONS 2014 (LTA 2014) ====== LTA 2014 is 4th student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== {{ :lectures:lta:lta14_logo.png?400&nolink|Language Theory with Applications 2014 (Logo)}} * **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 9 - 18, 2014 * **Organizers:** - 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/index.php.en|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/~isoukup|Ondřej Soukup]] * [[http://www.fit.vutbr.cz/~ikucera|Jiří Kučera]] * [[http://www.fit.vutbr.cz/~ikocman|Radim Kocman]] * **Conference language:** English * **Coverage:** * LTA 2014 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 and VYPe 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 does not tolerate presentations that hide their shallow contents behind exotic pictures. * **Purpose:** The purpose of this event is three-fold: - demonstrating the TID and VYPe student work in public; - giving students the opportunity of presenting 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]] * **Acknowledgement**: This conference is partially supported by TAČR grant [[http://www.v3c.cz/|Visual Computing Competence Center (V3C), TE01020415]]. ===== Opening Talk: Regulated Grammars and Automata ===== * **Date:** Tuesday, December 9, 2014, 14:00 - 15:00 * **Place:** **[[http://www.fi.muni.cz/index.xhtml.en|Masaryk University, Faculty of Informatics]]**, Brno, Czech Republic * **Room**: [[http://www.fi.muni.cz/contacts/index.xhtml.en|D2]], Botanická 68a * **Speaker**: [[http://www.fit.vutbr.cz/~meduna|Alexander Meduna]] ===== Schedule ===== ==== SESSION 1: Thursday, December 11, 2014, 12:00 - 15:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=C228|C228]] * **Chair**: [[http://www.fit.vutbr.cz/~ikucera|Jiří Kučera]] * **Talk duration**: 30 minutes (including discussion) * **Level**: PhD * Talks: * 12:00 - 12:30 [[xgroch01@stud.fit.vutbr.cz|Grochol David]]: Hash functions ({{:lectures:lta:2014_abstracts:tid_xgroch01_abstract.pdf|Abstract}}) * 12:30 - 13:00 [[xlouko00@stud.fit.vutbr.cz|Loukota Petr]]: Stemming algorithms ({{:lectures:lta:2014_abstracts:tid_xlouko00_abstract.pdf|Abstract}}) * 13:00 - 13:30 [[xniklv00@stud.fit.vutbr.cz|Nikl Vojtěch]]: Parallelism in Modern Compilers ({{:lectures:lta:2014_abstracts:tid_xniklv00_abstract.pdf|Abstract}}) * 13:30 - 14:00 [[xkocma03@stud.fit.vutbr.cz|Kocman Radim]]: Canonical scattered context generators of sentences with their parses ({{:lectures:lta:2014_abstracts:tid_xkocma03_abstract.pdf|Abstract}}) * 14:00 - 14:30 [[xjanca11@stud.fit.vutbr.cz|Janča Radim]]: Use of Probabilistic Context-Free Grammars in Password Cracking ({{:lectures:lta:2014_abstracts:tid_xjanca11_abstract.pdf|Abstract}}) * 14:30 - 15:00 [[xlicht01@stud.fit.vutbr.cz|Lichtner Ondrej]]: Formal specifications of Sofware-Defined Networks ({{:lectures:lta:2014_abstracts:tid_xlicht01_abstract.pdf|Abstract}}) ==== SESSION 2: Monday, December 15, 2014, 10:00 - 13:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A113|A113]] * **Chair**: [[http://www.fit.vutbr.cz/~ikocman|Radim Kocman]] * **Talk duration**: 10 minutes (including discussion) * **Level**: MSc * Talks: * 10:00 - 10:30 * [[xmarti52@stud.fit.vutbr.cz|Martiško Jakub]], [[xsurov03@stud.fit.vutbr.cz|Surovič Marek]]: Grammar Systems Applied to Parsing ({{:lectures:lta:2014_abstracts:vype_xmarti52_xsurov03_abstract.pdf|Abstract}}) * [[xdohna28@stud.fit.vutbr.cz|Dohnal Matěj]], [[xskace10@stud.fit.vutbr.cz|Skácel Jiří]]: Extended Versions of Grammars by Parsers ({{:lectures:lta:2014_abstracts:vype_xdohna28_xskace10_abstract.pdf|Abstract}}) * [[xrehul00@stud.fit.vutbr.cz|Řehulka Marek]], [[xzatop03@stud.fit.vutbr.cz|Zátopek Michal]]: Lexical/syntactical structures and internals of ABC programming language ({{:lectures:lta:2014_abstracts:vype_xrehul00_xzatop03_abstract.pdf|Abstract}}) * 10:30 - 11:00 * [[xlazni08@stud.fit.vutbr.cz|Láznička Stanislav]], [[xstari01@stud.fit.vutbr.cz|Starigazda Michal]]: Formal Languages and Computation - Demonstration of Selected Algorithms ({{:lectures:lta:2014_abstracts:vype_xlazni08_xstari01_abstract.pdf|Abstract}}) * [[xadame30@stud.fit.vutbr.cz|Adamec Ondřej]]: Path-Controlled Grammars ({{:lectures:lta:2014_abstracts:vype_xadame30_abstract.pdf|Abstract}}) * [[xbobek02@stud.fit.vutbr.cz|Bobek Jiří]], [[xlelke00@stud.fit.vutbr.cz|Lelkes Olivér]]: Symbolic Analysis ({{:lectures:lta:2014_abstracts:vype_xbobek02_xlelke00_abstract.pdf|Abstract}}) * 11:00 - 11:10 * //Coffee break// * 11:10 - 11:30 * [[xsafar13@stud.fit.vutbr.cz|Šafář Martin]], [[xsedla90@stud.fit.vutbr.cz|Sedlák Radek]]: Optimizing Compilers - Dependence Testing ({{:lectures:lta:2014_abstracts:vype_xsafar13_xsedla90_abstract.pdf|Abstract}}) * [[xponco00@stud.fit.vutbr.cz|Poncová Vendula]], [[xsifra00@stud.fit.vutbr.cz|Šifra Martin]]: Optimizing Compilers - Handling Control Flow ({{:lectures:lta:2014_abstracts:vype_xponco00_xsifra00_abstract.pdf|Abstract}}) * [[xfekia00@stud.fit.vutbr.cz|Fekiač Filip]], [[xgrycl00@stud.fit.vutbr.cz|Lukáš Gryc]]: Compiler Construction - Type Checking ({{:lectures:lta:2014_abstracts:vype_xfekia00_xgrycl00_abstract.pdf|Abstract}}) * 11:30 - 12:00 * [[xjanys00@stud.fit.vutbr.cz|Janyš Martin]], [[xbrand04@stud.fit.vutbr.cz|Branderský Gabriel]]: Compiler Construction - JVM Code Generation ({{:lectures:lta:2014_abstracts:vype_xjanys00_xbrand04_abstract.pdf|Abstract}}) * [[xkoron00@stud.fit.vutbr.cz|Koroncziová Dominika]], [[xlicho00@stud.fit.vutbr.cz|Lichota Lukáš]]: Compiler Construction - Translating JVM Code to MIPS Code ({{:lectures:lta:2014_abstracts:vype_xkoron00_xlicho00_abstract.pdf|Abstract}}) * [[xpecse00@stud.fit.vutbr.cz|Pecsérke Róbert]], [[xstast25@stud.fit.vutbr.cz|Šťastná Hilda]]: Compiler Construction - Register Allocation ({{:lectures:lta:2014_abstracts:vype_xpecse00_xstast25_abstract.pdf|Abstract}}) * 12:00 - 12:30 * [[xkaspa35@stud.fit.vutbr.cz|Kašparová Nela]], [[xkovac34@stud.fit.vutbr.cz|Kováčik Dušan]]: Compiler Construction - Celebrity Compilers ({{:lectures:lta:2014_abstracts:vype_xkaspa35_xkovac34_abstract.pdf|Abstract}}) * [[xplach02@stud.fit.vutbr.cz|Plachý Tomáš]], [[xpramu00@stud.fit.vutbr.cz|Pramuka Tomáš]]: Modern Compiler Design - Cycle handling, Attribute allocation ({{:lectures:lta:2014_abstracts:vype_xplach02_xpramu00_abstract.pdf|Abstract}}) * [[xadami06@stud.fit.vutbr.cz|Adam Ivo]], [[xkobli00@stud.fit.vutbr.cz|Kobližek Ondřej]]: Modern Compiler Design - Source language data representation and handling ({{:lectures:lta:2014_abstracts:vype_xadami06_xkobli00_abstract.pdf|Abstract}}) ==== SESSION 3: Thursday, December 18, 2014, 12:00 - 15:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=C228|C228]] * **Chair**: [[http://www.fit.vutbr.cz/~isoukup|Ondřej Soukup]] * **Talk duration**: 30 minutes (including discussion) * **Level**: PhD * Talks: * 12:00 - 12:30 [[xkrcma10@stud.fit.vutbr.cz|Krčma Martin]]: Formal model of the FPGA implemented neural networks ({{:lectures:lta:2014_abstracts:tid_xkrcma10_abstract.pdf|Abstract}}) * 12:30 - 13:00 [[xvikto03@stud.fit.vutbr.cz|Viktorin Jan]]: Processing of network traffic in low-power devices with FPGA ({{:lectures:lta:2014_abstracts:tid_xvikto03_abstract.pdf|Abstract}}) * 13:00 - 13:30 [[xpriva01@stud.fit.vutbr.cz|Privalov Vladimir]]: Using deep learning for object recognition in robotics ({{:lectures:lta:2014_abstracts:tid_xpriva01_abstract.pdf|Abstract}}) * 13:30 - 14:00 [[xhypsk00@stud.fit.vutbr.cz|Hypský Roman]]: Formal definition of Business rules by Grammar systems ({{:lectures:lta:2014_abstracts:tid_xhypsk00_abstract.pdf|Abstract}}) * 14:00 - 14:30 [[xvlkja01@stud.fit.vutbr.cz|Vlk Jakub]]: Formal definition of Business rules by regulated grammars ({{:lectures:lta:2014_abstracts:tid_xvlkja01_abstract.pdf|Abstract}}) ===== Conference history ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta13|LTA 2013]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta12|LTA 2012]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta11|LTA 2011]]