====== LANGUAGE THEORY with APPLICATIONS 2016 (LTA 2016) ====== LTA 2016 is 6th student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== {{ :lectures:lta:lta16_logo_web.png?400&nolink|Language Theory with Applications 2016 (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 5 - 14, 2016 * **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]] * [[http://www.fit.vutbr.cz/~imartisko|Jakub Martiško]] * **Conference language:** English * **Coverage:** * LTA 2016 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: Jumping Finite Automata: New Results ===== * **Speaker**: [[http://www.fit.vutbr.cz/~ikocman/|Radim Kocman]] and [[http://www.fit.vutbr.cz/~krivka/|Zbyněk Křivka]] * **Abstract**: {{:lectures:lta:2016_abstracts:2016-jfa-lta_abstract.pdf|PDF}} * **Presentation**: {{:lectures:lta:2016_abstracts:2016-opening_talk_jfa-part1.pdf|Part One: Solved Questions}} and {{:lectures:lta:2016_abstracts:2016-opening_talk_jfa-part2.pdf|Part Two: New Models}} * **Date:** December 5, 2016, 10:00 - 11:00 * **Chair:** [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Room**: G202 ===== Conference Schedule ===== The list of talks in VYPe and TID courses. The detailed schedule will be planned during November. ==== SESSION 1: Compiler Construction I (Monday, December 5, 2016, 11:00-13:00, G202) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Chair**: [[http://www.fit.vutbr.cz/~ikucera/|Jiří Kučera]] * **Talk duration**: 12 minutes + discussion * **Level**: MSc * **Talks**: 11:00 - 12:15 * [[xbrugv00@stud.fit.vutbr.cz|Brugvin Charlie]], [[xvieir00@stud.fit.vutbr.cz|Vieira João A. T. B. P.]]: Tabular Parsing ({{:lectures:lta:2016_abstracts:vype_abstract_xbrugv00_xvieir00.pdf|Abstract}}) * [[xjelen07@stud.fit.vutbr.cz|Jeleň Jakub]], [[xscesn00@stud.fit.vutbr.cz|Ščešňák Vladimír]]: Parsing Techniques - Section 7.2 (Earley Parser) ({{:lectures:lta:2016_abstracts:vype_abstract_xjelen07_xscesn00.pdf|Abstract}}) * [[xbolje00@stud.fit.vutbr.cz|Bolješik Michal]], [[xrisam00@stud.fit.vutbr.cz|Riša Martin]]: Parsing Techniques - Section 10.1 (Left-Corner Parsing) ({{:lectures:lta:2016_abstracts:vype_abstract_xbolje00_xrisam00.pdf|Abstract}}) * [[xgongo01@stud.fit.vutbr.cz|Gongol Jakub]], [[xpaulo00@stud.fit.vutbr.cz|Paulovčák Ján]]: Parsing Techniques - Section 15.2 (Two-Level Grammars) ({{:lectures:lta:2016_abstracts:vype_abstract_xgongo01_xpaulo00.pdf|Abstract}}) * [[xbeleh04@stud.fit.vutbr.cz|Bělehrádek Stanislav]], [[xdvora0y@stud.fit.vutbr.cz|Dvořáček Vojtěch]]: PEG Grammars and Packrat Parsing ({{:lectures:lta:2016_abstracts:vype_abstract_xbeleh04_xdvora0y.pdf|Abstract}}) 12:15 - 13:00 * [[xdomin05@stud.fit.vutbr.cz|Domingues Diogo F. L. C. S.]], [[xvargo01@stud.fit.vutbr.cz|Vargovčík Pavol]]: Grammatical Inference and Learning ({{:lectures:lta:2016_abstracts:vype_abstract_xdomin05_xvargo01.pdf|Abstract}}) * [[xkubic34@stud.fit.vutbr.cz|Kubíček Martin]], [[xstodu05@stud.fit.vutbr.cz|Stodůlka Petr]]: Advanced Techniques in Symbol Tables Implementation ({{:lectures:lta:2016_abstracts:vype_abstract_xstodu05_xkubic34.pdf|Abstract}}) * [[xkrizv01@stud.fit.vutbr.cz|Kříž Vítězslav]], [[xlamac00@stud.fit.vutbr.cz|Lamacz Jan]]: RGA - (LL) Scattered Context Grammars (Section 4.7) ({{:lectures:lta:2016_abstracts:vype_abstract_xkrizv01_xlamac00.pdf|Abstract}}) ==== SESSION 2: Modern Theoretical Computer Science I (Wednesday, December 7, 2016, 11:00-14:00, C228) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=C228|C228]] * **Chair**: [[http://www.fit.vutbr.cz/~ikocman/|Radim Kocman]] * **Talk duration**: 25 minutes (including discussion) * **Level**: PhD * **Talks**: 11:00 - 12:15 * [[ibudisky@fit.vutbr.cz|Jakub Budiský]]: The Pebble Game as a Computational Model ({{:lectures:lta:2016_abstracts:tid_abstract_budisky.pdf|Abstract}}, {{:lectures:lta:2016_abstracts:tid_presentation_budisky.pdf|Slides}}) * [[xfukac00@stud.fit.vutbr.cz|Tomáš Fukač]]: Saving network traffic to dynamic memory ({{:lectures:lta:2016_abstracts:tid_abstract_fukac.pdf|Abstract}}) * [[icudova@fit.vutbr.cz|Marta Čudová]]: Methods for Multiscale Models Coupling ({{:lectures:lta:2016_abstracts:tid_abstract_cudova.pdf|Abstract}}) 12:20 - 13:35 * [[xkekel01@stud.fit.vutbr.cz|Michal Kekely]]: Analyzing sets of packet classification rules in order to optimize packet classification based on DCFL ({{:lectures:lta:2016_abstracts:tid_abstract_kekely.pdf|Abstract}}) * [[ikrcmar@fit.vutbr.cz|Radim Krčmář]]: On equivalence of linear #-rewriting systems and linear simple matrix grammars ({{:lectures:lta:2016_abstracts:tid_abstract_krcmar.pdf|Abstract}}) * [[iskacelj@fit.vutbr.cz|Jiří Skácel]]: Context-free grammars with additional conditions on symbol occurrence ({{:lectures:lta:2016_abstracts:tid_abstract_skacel.pdf|Abstract}}) ==== SESSION 3: Compiler Construction II (Monday, December 12, 2016, 10:00-13:00, G202) ==== * **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**: 12 minutes + discussion * **Level**: MSc * **Talks**: 10:00 - 11:15 * [[xhrdin10@stud.fit.vutbr.cz|Hrdina Jan]], [[xlinar01@stud.fit.vutbr.cz|Linares Rojas Jose Manuel]]: RGA - Semi-Conditional Grammars (Section 4.5 and 4.6) ({{:lectures:lta:2016_abstracts:vype_abstract_xhrdin10_xlinar01.pdf|Abstract}}) * [[xgarda04@stud.fit.vutbr.cz|Gardáš Milan]], [[xsedla0b@stud.fit.vutbr.cz|Sedláčková Lucie]]: RGA - LL One-Sided Random Context Grammars (Section 6.5 and 6.7) ({{:lectures:lta:2016_abstracts:vype_abstract_xgarda04_xsedla0b.pdf|Abstract}}) * [[xbenda11@stud.fit.vutbr.cz|Benda Tomáš]], [[xpolol01@stud.fit.vutbr.cz|Pololáník Petr]]: RGA - Elimination of Erasing Rules (Chapter 7) ({{:lectures:lta:2016_abstracts:vype_abstract_xbenda11_xpolol01.pdf|Abstract}}) * [[xchudi01@stud.fit.vutbr.cz|Chudík Jakub]], [[xsoust02@stud.fit.vutbr.cz|Šoustar Jakub]]: RGA - Controlled Pure Grammar Systems (Chapter 14) ({{:lectures:lta:2016_abstracts:vype_abstract_xchudi01_xsoust02.pdf|Abstract}}) * [[xhavle03@stud.fit.vutbr.cz|Havlena Vojtěch]], [[xtomko02@stud.fit.vutbr.cz|Tomko Martin]]: RGA - Self-Regulating Automata (Chapter 15) ({{:lectures:lta:2016_abstracts:vype_abstract_xhavle03_xtomko02.pdf|Abstract}}) 11:15 - 12:00 * [[xhanus11@stud.fit.vutbr.cz|Hanus Tomáš]], [[xtutko00@stud.fit.vutbr.cz|Tutko Jakub]]: Optimizing Compilers - Chapter 6 (Creating Coarse-Grained Parallelism) ({{:lectures:lta:2016_abstracts:vype_abstract_xhanus11_xtutko00.pdf|Abstract}}) * [[xbenna01@stud.fit.vutbr.cz|Benna Filip]], [[xbruck02@stud.fit.vutbr.cz|Bruckner Tomáš]]: Optimal Register Allocation in Polynomial Time ({{:lectures:lta:2016_abstracts:vype_abstract_xbenna01_xbruck02.pdf|Abstract}}) * [[xscher02@stud.fit.vutbr.cz|Scherfel Walter]], [[xslouk02@stud.fit.vutbr.cz|Slouka Lukáš]]: Compiler-Assisted Optimization ({{:lectures:lta:2016_abstracts:vype_abstract_xscher02_xslouk02.pdf|Abstract}}) 12:00 - 12:45 * [[xhandl05@stud.fit.vutbr.cz|Handlíř Jaroslav]], [[xsvest05@stud.fit.vutbr.cz|Švestka Jakub]]: Optimizing Object-Oriented Programs ({{:lectures:lta:2016_abstracts:vype_abstract_xhandl05_xsvest05.pdf|Abstract}}) * [[xkopac01@stud.fit.vutbr.cz|Kopáček Jaroslav]]: Garbage Collection Algorithms I ({{:lectures:lta:2016_abstracts:vype_abstract_xkopac01.pdf|Abstract}}) * [[xabsol01@stud.fit.vutbr.cz|Absolon Marek]], [[xpekar10@stud.fit.vutbr.cz|Pekař Tomáš]]: Garbage Collection Algorithms II ({{:lectures:lta:2016_abstracts:vype_abstract_xabsol01_xpekar10.pdf|Abstract}}) ==== SESSION 4: Modern Theoretical Computer Science II (Wednesday, December 14, 2016, 11:00-14:00, C228) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=C228|C228]] * **Chair**: [[http://www.fit.vutbr.cz/~imartisko/|Jakub Martiško]] * **Talk duration**: 25 minutes (including discussion) * **Level**: PhD * **Talks**: 11:00 - 12:15 * [[xnevor02@stud.fit.vutbr.cz|Jan Nevoral]]: Design of Polymorphic Gates Using Ambipolar Transistors ({{:lectures:lta:2016_abstracts:tid_abstract_nevoral.pdf|Abstract}}) * [[xpanek06@stud.fit.vutbr.cz|Richard Pánek]]: Fault tolerant system - design of reconfigurable controller methodology ({{:lectures:lta:2016_abstracts:tid_abstract_panek.pdf|Abstract}}) * [[ihelleb@fit.vutbr.cz|Lukáš Hellebrandt]]: Statistical measures and attacks on anonymity networks ({{:lectures:lta:2016_abstracts:tid_abstract_hellebrandt.pdf|Abstract}}) 12:20 - 13:35 * [[xvrana20@stud.fit.vutbr.cz|Roman Vrána]]: Designing Hardware Acceleration using Dependency and Communication Graphs ({{:lectures:lta:2016_abstracts:tid_abstract_vrana.pdf|Abstract}}) * [[xdanis02@stud.fit.vutbr.cz|Daniel Daniš]]: Malware detection techniques using modern theoretical computer science ({{:lectures:lta:2016_abstracts:tid_abstract_xdanis02.pdf|Abstract}}) * [[xhujna00@stud.fit.vutbr.cz|Ondřej Hujňák]]: Vehicle Routing Problem and Its Relation to the Graph Theory ({{:lectures:lta:2016_abstracts:tid_abstract_hujnak.pdf|Abstract}}) ===== Future Volumes of LTA ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta19|LTA 2019]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta18|LTA 2018]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta17|LTA 2017]] ===== Conference history ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta15|LTA 2015]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta14|LTA 2014]] * [[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]]