====== 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 * **Date:** December 11 - 12 and 18 - 19, 2013 * **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/|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]] * [[http://www.fit.vutbr.cz/~isoukup|Ondřej Soukup]] * [[http://www.fit.vutbr.cz/~ikucera|Jiří Kučera]] * [[http://www.fit.vutbr.cz/~inavra|Ondřej Navrátil]] * **Conference language:** English * **Coverage:** * LTA 2013 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 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 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]]. ===== Schedule ===== ==== SESSION 1 - COMPILER WRITING: TOOLS: Wednesday, December 11, 2013, 10:00 - 13:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~isoukup|Ondřej Soukup]] * **Talk duration**: 15 minutes (including discussion) * **Level**: MSc * Talks (//Parser Generators and Programming Languages//): * 10:00 - 11:00 * [[xchval00@stud.fit.vutbr.cz|Jan Chvála]], [[xjakub19@stud.fit.vutbr.cz|Jakub Dušan]]: Yacc - Ambiguities and Conflicts ({{:lectures:lta:2013_abstracts:vype_xjakub19_xchval00_abstract.pdf|Abstract}}) * [[xzidek00@stud.fit.vutbr.cz|Židek Michal]], [[xzivot02@stud.fit.vutbr.cz|Životský Tomáš]]: flex & bison - Advanced Features ({{:lectures:lta:2013_abstracts:vype_xzidek00_xzivot02_abstract.pdf|Abstract}}) * [[xlosko01@stud.fit.vutbr.cz|Loskot Radim]], [[xnecas19@stud.fit.vutbr.cz|Nečasová Gabriela]]: Xtext of Eclipse Text Modeling Framework ({{:lectures:lta:2013_abstracts:vype_xlosko01_xnecas19_abstract.pdf|Abstract}}) * [[xmikul39@stud.fit.vutbr.cz|Mikulka Jiří]], [[xrusel02@stud.fit.vutbr.cz|Rusek David]]: Symbol Tables ({{:lectures:lta:2013_abstracts:vype_xmikul39_xrusek02_abstract.pdf|Abstract}}) * 11:00 - 11:10 * //Coffee break// * 11:10 - 11:55 * [[xkvapi09@stud.fit.vutbr.cz|Kvapil Jiří]], [[xricht17@stud.fit.vutbr.cz|Richter Martin]]: Introduction to Small Device C Compiler ({{:lectures:lta:2013_abstracts:vype_xkvapi09_xricht17_abstract.pdf|Abstract}}) * [[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: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}}) * 12:25 - 12:45 * [[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}}) ==== SESSION 2 - FORMAL LANGUAGES: THEORY AND APPLICATIONS: Thursday, December 12, 2013, 09:00 - 13:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~ivrabel|Lukáš Vrábel]], [[http://www.fit.vutbr.cz/~ihoracekp|Petr Horáček]] * **Talk duration**: 20 minutes (including discussion) * **Level**: PhD * Talks: * 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//): * 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 [[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 [[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}}) * 12:20 - 12:40 [[xsnase03@stud.fit.vutbr.cz|Snášelová Petra]]: Fractals and L-systems ({{:lectures:lta:2013_abstracts:tid_xsnase03_abstract.pdf|Abstract}}) * 12:40 - 13:00 [[xzajic07@stud.fit.vutbr.cz|Zajíc Jiří]]: Optimization of Hyperbolic Tree Layout ({{:lectures:lta:2013_abstracts:tid_xzajic07_abstract.pdf|Abstract}}) ==== SESSION 3 - ADVANCED COMPILER WRITING: Wednesday, December 18, 2013, 10:00 - 13:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~inavra|Ondřej Navrátil]], [[http://www.fit.vutbr.cz/~ikucera|Jiří Kučera]] * **Talk duration**: 15 minutes (including discussion) * **Level**: MSc * Talks (//Compiler Optimization//): * 10:00 - 11:30 * [[xambro03@stud.fit.vutbr.cz|Lukáš Ambrož]], [[xjerab14@stud.fit.vutbr.cz|Jakub Jeřábek]]: Compiler Challenges for High-Performance Architectures ({{:lectures:lta:2013_abstracts:vype_xambro03_xjerab14_abstract.pdf|Abstract}}) * [[xkocma03@stud.fit.vutbr.cz|Kocman Radim]], [[xlouko00@stud.fit.vutbr.cz|Loukota Petr]]: Optimizing Compilers - Dependence: Theory and Practice ({{:lectures:lta:2013_abstracts:vype_xkocma03_xlouko00_abstract.pdf|Abstract}}) * [[xcerni07@stud.fit.vutbr.cz|Chernikava Alena]], [[xpauli00@stud.fit.vutbr.cz|Paulík Miroslav]]: Optimizing Compilers - Preliminary Transformations ({{:lectures:lta:2013_abstracts:vype_xcerni07_xpauli00_abstract.pdf|Abstract}}) * [[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}}) * [[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 * Talks (//Advanced Compiler Techniques//): * 11:40 - 12:55 * [[xmacko05@stud.fit.vutbr.cz|Macko Lukáš]], [[xmelos00@stud.fit.vutbr.cz|Melo Stanislav]]: Garbage Collection Techniques in Compiler Design ({{:lectures:lta:2013_abstracts:vype_xmacko05_xmelos00_abstract.pdf|Abstract}}) * [[xkonci01@stud.fit.vutbr.cz|Končický Jaromír]], [[xsoklk00@stud.fit.vutbr.cz|Sokl Karel]]: SSA Form in Compiler Design ({{:lectures:lta:2013_abstracts:vype_xkonci01_xsoklk00_abstract.pdf|Abstract}}) * [[xhonsp00@stud.fit.vutbr.cz|Hons Petr]], [[xkotul00@stud.fit.vutbr.cz|Kotulič Patrik]]: Debugging information and DWARF ({{:lectures:lta:2013_abstracts:vype_xhonsp00_xkotul00_abstract.pdf|Abstract}}) * [[xkasal01@stud.fit.vutbr.cz|Kasala Viliam]], [[xlangj00@stud.fit.vutbr.cz|Lang Jiří]]: Optimizations for Object-Oriented Languages ({{:lectures:lta:2013_abstracts:vype_xkasal01_xlangj00_abstract.pdf|Abstract}}) * [[xhrusk16@stud.fit.vutbr.cz|Hruška Martin]], [[xsebek02@stud.fit.vutbr.cz|Šebek Petr]]: Introduction to JIT Compilers and Their Techniques ({{:lectures:lta:2013_abstracts:vype_xhrusk16_xsebek02_abstract.pdf|Abstract}}) ==== SESSION 4 - FORMAL LANGUAGES IN DIGITAL SYSTEMS AND SECURITY: Thursday, December 19, 2013, 09:00 - 13:00 ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~ivrabel|Lukáš Vrábel]], [[http://www.fit.vutbr.cz/~ihoracekp|Petr Horáček]] * **Talk duration**: 20 minutes (including discussion) * **Level**: PhD * Talks (//Digital Systems, Parallelism, Verification//): * 09:00 - 09:20 [[xcrhaa00@stud.fit.vutbr.cz|Crha Adam]]: SAT-Based Equivalence Checking of Polymorphic Circuits ({{:lectures:lta:2013_abstracts:tid_xcrhaa00_abstract.pdf|Abstract}}) * 09:20 - 09:40 [[xzamba00@stud.fit.vutbr.cz|Zamba Martin]]: Functional Equivalence of Combinatorial Logic Networks ({{:lectures:lta:2013_abstracts:tid_xzamba00_abstract.pdf|Abstract}}) * 09:40 - 10:00 [[xtesar30@stud.fit.vutbr.cz|Tesař Radek]]: Synthesis of Polymorphic Digital Circuits ({{:lectures:lta:2013_abstracts:tid_xtesar30_abstract.pdf|Abstract}}) * 10:00 - 10:20 [[xhrbac01@stud.fit.vutbr.cz|Hrbáček Radek]]: Approximate Computing ({{:lectures:lta:2013_abstracts:tid_xhrbac01_abstract.pdf|Abstract}}) * 10:20 - 10:40 [[xpodiv01@stud.fit.vutbr.cz|Podivínský Jakub]]: Dependability Models ({{:lectures:lta:2013_abstracts:tid_xpodiv01_abstract.pdf|Abstract}}) * 10:40 - 11:00 [[xcekan00@stud.fit.vutbr.cz|Čekan Ondřej]]: Coverage Directed Constraint Random Test Generation and Constraint Satisfaction Problem ({{:lectures:lta:2013_abstracts:tid_xcekan00_abstract.pdf|Abstract}}) * 11:00 - 11:20 [[xsmoli06@stud.fit.vutbr.cz|Smolík Jakub]]: Formal View on Agents and Multi-Agent Systems ({{:lectures:lta:2013_abstracts:tid_xsmoli06_abstract.pdf|Abstract}}) * 11:20 - 11:40 [[xzandr00@stud.fit.vutbr.cz|Záň Drahoslav]]: A Formal Model For Real-Time Parallel Computation ({{:lectures:lta:2013_abstracts:tid_xzandr00_abstract.pdf|Abstract}}) * Talks (//Security//): * 11:40 - 12:00 [[xkoran01@stud.fit.vutbr.cz|Koranda Karel]]: Formal Analysis of Cryptographic Protocols ({{:lectures:lta:2013_abstracts:tid_xkoran01_abstract.pdf|Abstract}}) * 12:00 - 12:20 [[xbelal00@stud.fit.vutbr.cz|Belal Alkomiet]]: Variable-Length Codes and Finite Automata ({{:lectures:lta:2013_abstracts:tid_xbelal00_abstract.pdf|Abstract}}) * 12:20 - 12:40 [[xaronl00@stud.fit.vutbr.cz|Aron Lukáš]]: Access Control Models on Mobile Devices ({{:lectures:lta:2013_abstracts:tid_xaronl00_abstract.pdf|Abstract}}) * 12:40 - 13:00 [[xovson00@stud.fit.vutbr.cz|Ovšonka Daniel]]: Malware Detection Using Context-Free Grammars ({{:lectures:lta:2013_abstracts:tid_xovson00_abstract.pdf|Abstract}}) ===== Conference history ===== * [[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]]