====== LANGUAGE THEORY with APPLICATIONS 2022 (LTA 2022) ====== LTA 2022 is 12th student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== {{ :lectures:lta:lta22_logo_web.png?400&nolink|Language Theory with Applications 2022 (Logo)}} * **Subject:** Formal language theory and its applications in computer science * **Place:** [[https://www.fit.vut.cz/.en|FIT BUT]], Brno, Czech Republic * **Date:** December 12 - 15, 2022 * **Organizers:** - the [[https://www.fit.vut.cz/study/course/TID/.en|TID]], [[https://www.fit.vut.cz/study/course/RGD/.en|RGD]] and [[https://www.fit.vut.cz/study/course/VYPa/.en|VYPa]] teaching teams; - [[https://www.fit.vut.cz/research/group/fm/.en|Formal Model Research Group]], FIT BUT; - [[https://www.fit.vut.cz/units/uifs/.en|Department of Information Systems]], FIT BUT. * **Committee:** * [[http://www.fit.vut.cz/~meduna|Alexander Meduna]] (chair) * [[http://www.fit.vut.cz/~krivka|Zbyněk Křivka]] * **Conference language:** English, Czech * **Coverage:** * LTA 2022 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 [[https://www.fit.vut.cz/study/course/TID/.en|TID]], [[https://www.fit.vut.cz/study/course/RGD/.en|RGD]] and [[https://www.fit.vut.cz/study/course/VYPa/.en|VYPa]] 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, RGD, and VYPa student work in public; - giving students the opportunity of presenting scientific talks in English; - improving 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]] ===== Opening Talks ===== ==== Martin Tomko: Multi-Island Finite Automata and Their Even Computation ==== * Speaker: **[[itomko@fit.vutbr.cz|Martin Tomko]]**, FIT VUT, Brno * **Abstract**: {{ :lectures:lta:2022:itomko_abstract.pdf |PDF version}}. * **Date:** Monday, December 5, 2022, 11:00 - 11:50 * **Chair:** [[https://www.fit.vut.cz/person/krivka/.en|Zbyněk Křivka]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Slides**: {{ :lectures:lta:2022:itomko_presentation.pdf |PDF version}}. ==== Radim Kocman: Advanced LL parsing techniques ==== * Speaker: **[[kocman@fit.vut.cz|dr. Radim Kocman]]**, FIT VUT, Brno * **Abstract**: LL parsing is usually one of the first techniques of syntactic analysis introduced during the basic study of compilers and formal languages. However, advanced courses often switch their attention solely to LR parsing and its variants, such as LALR and SLR parsing. The focus of this presentation is on advanced LL parsing techniques that push further the initial LL idea. These advanced techniques introduce some new beneficial properties for syntactic analysis and increase the power of the resulting parser to handle more complex constructions of programming languages. We will talk about full LL(1) parsing, general LL(k) parsing, and modified LL(k) parsing for an automaton with a one-symbol reading head. * **Date:** Monday, December 5, 2022, 12:30 - 13:20 * **Chair:** [[https://www.fit.vut.cz/person/krivka/.en|Zbyněk Křivka]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Slides**: {{ :lectures:lta:2022:kocman_presentation.pdf |PDF version}}. ===== Conference Schedule ===== ==== SESSION 1: Compiler Construction (Monday, December 12, 2022, 11:00-13:50, A112) ==== The list of talks from VYPa course follows. * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Chair**: [[https://www.fit.vut.cz/person/krivka/.en|Zbyněk Křivka]] * **Talk duration**: 6+6 minutes for presentation, 1-3 minutes for the discussion * **Level**: MSc * **Early talks, December 5, 12:00-12:20** * [[|David Chocholatý]], [[|František Nečas]]: Static Analysis in Compilers ({{ :lectures:lta:2022:xchoch08_xnecas27_abstract.pdf |Abstract}}) * **Regular talks, December 12, 11:00-12:15**: * [[|Martin Havel]], [[|Filip Macák]]: Tree-Restricted General Grammars and Their Context-freenesss ({{ :lectures:lta:2022:xhavel44_xmacak07_abstract.pdf |Abstract}}) * [[|Michal Rezáč]], [[|Michael Roth]]: Fuzzy Automata ({{ :lectures:lta:2022:xrezac20_xrothm00_abstract.pdf |Abstract}}) * [[|David Holas]], [[|Tomáš Kocourek]]: Commutative and Permutation Grammars ({{ :lectures:lta:2022:xholas11_xkocou10_abstract.pdf |Abstract}}) * [[|Pavel Bednář]], [[|Samuel Gajdoš]]: Applications of Jumping Models ({{ :lectures:lta:2022:xbedna73_xgajdo26_abstract.pdf |Abstract}}) * [[|José Miguel Panadero Pérez]], [[|Alejandro Panizo Jerez]]: Yona Programming Language ({{ :lectures:lta:2022:xpanad00_xpaniz00_abstract.pdf |Abstract}}) * **Regular talks, December 12, 12:15-13:50**: * [[|Jakub Kocalka]]: Selective increase in LL lookahead as an alternative to factorization ({{ :lectures:lta:2022:xkocal00_abstract.pdf |Abstract}}) * [[|Alexander Polok]], [[|Michal Rozsíval]]: Practical Optimizations in Compilers ({{ :lectures:lta:2022:xpolok03_xrozsi06_abstract.pdf |Abstract}}) * [[|Vojtěch Hranička]], [[|Ján Kačur]]: Static libraries ({{ :lectures:lta:2022:xhrani01_xkacur04_abstract.pdf |Abstract}}) * [[|Ondřej Krejčí]], [[|Oliver Kuník]]: Copy-and-Patch Compilation ({{ :lectures:lta:2022:xkrejc69_xkunik00_abstract.pdf |Abstract}}) * [[|Adam Sedmík]], [[|Lukáš Wagner]]: Decompilation: Structure, Methods, Tools ({{ :lectures:lta:2022:xsedmi04_xwagne10_abstract.pdf |Abstract}}) * [[|Adam Múdry]], [[|Daniel Paul]]: Garbage Collection ({{ :lectures:lta:2022:xmudry01_xpauld00_abstract.pdf |Abstract}}) ==== SESSION 2: Modern Theoretical Computer Science (Thursday, December 15, 2022, 11:00-13:50, E105) ==== The list of talks from TID course follows. * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E105|E105]] * **Chair**: [[https://www.fit.vut.cz/person/meduna/.en|Alexander Meduna]] * **Talk duration**: 40 minutes for the presentation, 5 minutes for the discussion * **Level**: PhD * **Regular talks, 11:00-13:15**: * [[<244274@vut.cz>|Enock Anderson]]: A formal description of a leader election algorithm using communicating finite-state machines ({{ :lectures:lta:2022:enock_anderson_abstract.pdf |Abstract}}) * [[|Tomáš Kožár]]: Final sentential forms ({{ :lectures:lta:2022:ikozar_abstract.pdf |Abstract}}) * [[|Ivana Stančíková]]: Zero-knowledge proofs in self-tallying voting protocols ({{ :lectures:lta:2022:xstanc03_abstract.pdf |Abstract}}) ===== Conference history ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta21|LTA 2021]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta20|LTA 2020]] * [[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]] * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta16|LTA 2016]] * [[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]]