====== LANGUAGE THEORY with APPLICATIONS 2015 (LTA 2015): Conference, Course, and Art ====== LTA 2015 is 5th student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== {{ :lectures:lta:lta15_logo_web.png?400&nolink|Language Theory with Applications 2015 (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 7 - 17, 2015 * **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 2015 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]]. ===== Invited Talk: P automata: an unconventional approach to automata theory ===== * **Speaker**: [[http://people.inf.elte.hu/csuhaj/|prof. Erzsébet Csuhaj-Varjú]], Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary * **Abstract**: {{talks:seminar:2015-12-14_csuhaj-varju_abstract.pdf|PDF}}. * **Date:** December 14, 2015, 13:00 - 14:00 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A113|A113]] * **Additional Discussion and Consultations**: December 14, 14:00 - 16:00, room [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A113|A113]] ===== Schedule ===== ==== Part I: Conference ==== === SESSION 1: Compiler Construction I (Monday, December 7, 2015, 10:00-13:00, A113) === * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A113|A113]] * **Chair**: [[http://www.fit.vutbr.cz/~isoukup|Ondřej Soukup]] * **Talk duration**: 15 minutes + discussion * **Level**: MSc * **Talks**: * 10:00 - 10:15 [[xsoula02@stud.fit.vutbr.cz|Martin Šoulák]], [[xvones02@stud.fit.vutbr.cz|Jakob Voneš]]: lex & yacc - Advanced Features ({{:lectures:lta:2015_abstracts:vype_xsoula02_xvones02_abstract.pdf|Abstract}}) * 10:15 - 10:30 [[xtumaj02@stud.fit.vutbr.cz|Jan Tůma]], [[xtrosk00@stud.fit.vutbr.cz|Karol Troška]]: LL(*) Parsing Strategy: The Foundation of the ANTLR Parser Generator ({{:lectures:lta:2015_abstracts:vype_xtumaj02_trosk00_abstract.pdf|Abstract}}) * 10:30 - 10:45 [[xwrona00@stud.fit.vutbr.cz|Jan Wrona]], [[xzmoli02@stud.fit.vutbr.cz|Kateřina Žmolíková]]: Rust Programming Language and its Compilation ({{:lectures:lta:2015_abstracts:vype_xwrona00_xzmoli02_abstract.pdf|Abstract}}) * 10:45 - 11:00 [[xmilko01@stud.fit.vutbr.cz|Marek Milkovič]], [[xnemce03@stud.fit.vutbr.cz|Oliver Nemček]]: Single Static Assignmant Form ({{:lectures:lta:2015_abstracts:vype_xmilko01_xnemce03_abstract.pdf|Abstract}}) * 11:00 - 11:10 //Coffee Break// * 11:10 - 11:25 [[xmarti62@stud.fit.vutbr.cz|Štefan Martiček]], [[xmikoa00@stud.fit.vutbr.cz|Albert Mikó]]: How to write an LLVM optimization pass ({{:lectures:lta:2015_abstracts:vype_xmarti62_xmikoa00_abstract.pdf|Abstract}}) * 11:25 - 11:40 [[xbedna46@stud.fit.vutbr.cz|Petr Bednář]], [[xtulak00@stud.fit.vutbr.cz|Jan Ťulák]]: Improving Register Usage ({{:lectures:lta:2015_abstracts:vype_xbedna46_xtulak00_abstract.pdf|Abstract}}) * 11:40 - 11:55 [[xhrabe00@stud.fit.vutbr.cz|Pavel Hrabec]], [[xmarce02@stud.fit.vutbr.cz|Andrea Marcelyová]]: Linear-scan Register Allocation ({{:lectures:lta:2015_abstracts:vype_xhrabe00_xmarce02_abstract.pdf|Abstract}}) === SESSION 2: Modern Theoretical Computer Science I (Thursday, December 10, 2015, 10:00-13:00, C228) === * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=C228|C228]] * **Chair**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Talk duration**: 25 minutes (including discussion) * **Level**: PhD * **Talks**: * 10:00 - 10:25 [[xdvora0n@stud.fit.vutbr.cz|Petr Dvořáček]]: Approximation Computing in Formal Languages ({{:lectures:lta:2015_abstracts:tid_xdvora0n_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xdvora0n.pdf|Slides}}) * 10:25 - 10:50 [[xjirak03@stud.fit.vutbr.cz|Ota Jirak]]: L(SC,lm)=L(RE) ({{:lectures:lta:2015_abstracts:tid-xjirak03-abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xjirak03.pdf|Slides}}) * 10:50 - 11:15 [[xkrobo01@stud.fit.vutbr.cz|Pavel Krobot]]: CAP Theorem Impact in Reliable Data Processing ({{:lectures:lta:2015_abstracts:tid_xkrobo01_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xkrobo01.pdf|Slides}}) * 11:15 - 11:40 [[xlazni08@stud.fit.vutbr.cz|Stanislav Láznička]]: Expressing Type-0 Languages in Terms of Context-Free Ambiguousness ({{:lectures:lta:2015_abstracts:tid_xlazni08_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xlazni08.pdf|Slides}}) * 11:40 - 12:05 [[xmarti52@stud.fit.vutbr.cz|Jakub Martiško]]: Generative power of CD grammar systems with scattered context components ({{:lectures:lta:2015_abstracts:tid_xmarti52_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xmarti52.pdf|Slides}}) * 12:05 - 12:30 [[xbreit00@stud.fit.vutbr.cz|Dominik Breitenbacher]]: Usage of Theoretical Computer Science in IT Security ({{:lectures:lta:2015_abstracts:tid_xbreit00_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xbreit00.pdf|Slides}}) === SESSION 3: Compiler Construction II (Monday, December 14, 2015, 10:00-13:00, A113) === * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A113|A113]] * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 15 minutes + discussion * **Level**: MSc * **Talks**: * 10:00 - 10:15 [[xtrest01@stud.fit.vutbr.cz|Lenka Třeštíková]], [[xuhlir14@stud.fit.vutbr.cz|Michal Uhlíř]]: Object-Oriented Languages ({{:lectures:lta:2015_abstracts:vype_xtrest01_xuhlir14_abstract.pdf|Abstract}}) * 10:15 - 10:30 [[xminar29@stud.fit.vutbr.cz|Matej Minárik ]], [[xnechv05@stud.fit.vutbr.cz|Petr Nechvátal]]: The design and semantics of COOL ({{:lectures:lta:2015_abstracts:vype_xminar29_xnechv05_abstract.pdf|Abstract}}) * 10:30 - 10:45 [[xkrpec01@stud.fit.vutbr.cz|Ondřej Krpec]], [[xvanic07@stud.fit.vutbr.cz|Luboš Vaníček]]: Pep, a Java Just-In-Time Translator ({{:lectures:lta:2015_abstracts:vype_xkrpec01_xvanic07_abstract.pdf|Abstract}}) * 10:45 - 11:00 [[xdvora1f@stud.fit.vutbr.cz|Lucie Dvořáková]], [[xsabov00@stud.fit.vutbr.cz|František Sabovčik]]: Compilation Scheme of Multiple Inheritance in Object-Oriented Languages ({{:lectures:lta:2015_abstracts:vype_xdvora1f_xsabov00_abstract.pdf|Abstract}}) * 11:00 - 11:15 [[xjanos12@stud.fit.vutbr.cz|Ondřej Janošík]], [[xkidon00@stud.fit.vutbr.cz|Marek Kidoň]]: Compiler Design: Functional Programming Languages ({{:lectures:lta:2015_abstracts:vype_xjanos12_xkidon00_abstract.pdf|Abstract}}) * 11:15 - 11:30 [[xkalin03@stud.fit.vutbr.cz|Jan Kalina]], [[xtrkal00@stud.fit.vutbr.cz|Tomáš Trkal]]: Modern Compiler Design ({{:lectures:lta:2015_abstracts:vype_xkalin03_xtrkal00_abstract.pdf|Abstract}}) * 11:30 - 11:45 [[xorava01@stud.fit.vutbr.cz|Martin Orava]], [[xbezde02@stud.fit.vutbr.cz|Dušan Bezděk]]: Enhancing Fine-Grained Parallelism: Loop Interchange ({{:lectures:lta:2015_abstracts:vype_xorava01_xbezde02_abstract.pdf|Abstract}}) * 11:45 - 12:00 [[xrupri00@stud.fit.vutbr.cz|Michal Ruprich]], [[xvymla01@stud.fit.vutbr.cz|Martin Vymlátil]]: Optimizing Compilers: Dependence Testing ({{:lectures:lta:2015_abstracts:vype_xrupri00_xvymla01_abstract.pdf|Abstract}}) === SESSION 4: Invited Talk: P automata: an unconventional approach to automata theory (Monday, December 14, 2015, 13:00-14:00, A113) === * **Speaker**: [[http://people.inf.elte.hu/csuhaj/|prof. Erzsébet Csuhaj-Varjú]], Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary * **Abstract**: {{talks:seminar:2015-12-14_csuhaj-varju_abstract.pdf|See PDF}}. * **Chair**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Date:** December 14, 2015, 13:00 - 14:00 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A113|A113]] * **Additional Discussion and Consultations**: December 14, 14:00 - 16:00, room [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=A113|A113]] === SESSION 5: Modern Theoretical Computer Science II (Thursday, December 17, 2015, 10:00-13:00, C228) === * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=C228|C228]] * **Chair**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Talk duration**: 25 minutes (including discussion) * **Level**: PhD * **Talks**: * 10:00 - 10:25 [[xwigla00@stud.fit.vutbr.cz|Michal Wiglasz]]: Genetic Improvement using Grammars ({{:lectures:lta:2015_abstracts:tid_xwigla00_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xwigla00.pdf|Slides}}) * 10:25 - 10:50 [[xfedor06@stud.fit.vutbr.cz|Anna Silnova]]: Regression neural networks: Example of their application to speaker's age identification ({{:lectures:lta:2015_abstracts:tid_xfedor06_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xfedor06.pdf|Slides}}) * 10:50 - 11:15 [[xlojda00@stud.fit.vutbr.cz|Jakub Lojda]]: A systematic approach to the description of fault-tolerant systems ({{:lectures:lta:2015_abstracts:tid_xlojda00_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xlojda00.pdf|Slides}}) * 11:15 - 11:40 [[xmatou08@stud.fit.vutbr.cz|Denis Matoušek]]: Partial Determinization of Finite Automata ({{:lectures:lta:2015_abstracts:tid_xmatou08_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xmatou08.pdf|Slides}}) * 11:40 - 12:05 [[xrisam01@stud.fit.vutbr.cz|Michal Riša]]: Modelling using timed automata ({{:lectures:lta:2015_abstracts:tid_xrisam01_abstract.pdf|Abstract}}, {{:lectures:lta:2015_abstracts:tid-presentation_xrisam01.pdf|Slides}}) ==== Part II: Course ==== === Short Course on Introduction to Membrane Computing === * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php?show=E112|E112]] * **Lecturer**: prof. Erzsébet Csuhaj-Varjú, [[csuhaj@inf.elte.hu]] * **Date, Time: Tuesday, December 15, 2015, 12:00 - 13:50** * **Syllabus**: {{:lectures:lta:2015-12-15_csuhaj-varju_syllabus.pdf|PDF}} * Additional Consultations: Thursday, December 17, 2015, 13:00-15:00, seminar room C228 ==== Part III: Art ==== === CULTURAL SESSION (IN CZECH): Poetry Reading (Wednesday, December 9, 2015, 15:30 - 16:00, Sklep C008) === * **Date:** Wednesday, December 9, 2015, 15:30 - 16:00 * **Room**: Sklep, [[http://www.fit.vutbr.cz/FIT/map/fit-1.php?show=C008|C008]] * Cyklus pořadu poezie: Cestou * Pořad: Cestou Bohumila Hrabala: povídka Jarmilka * Recituje Alexander Meduna * Doprovází Pavel Babinec * Poděkování Nele Kašparové, Elišce Hrabalové a Zbyňku Křivkovi * [[http://www.fit.vutbr.cz/~meduna/work/lib/exe/fetch.php?media=:art:hrabal_2015-12-09_pozvanka.png|Grafická pozvánka]] * {{art:2015-12-09_cestou_bohumila_hrabala_jarmilka.wma|Zvukový záznam recitace s hudebním doprovodem}} ===== Conference history ===== * [[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]]