====== LANGUAGE THEORY with APPLICATIONS 2019 (LTA 2019) ====== LTA 2019 is 9th student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== {{ :lectures:lta:lta19_logo_web.png?400&nolink|Language Theory with Applications 2019 (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 9 - 18, 2019 + Opening Talks on 18th November and 2nd December * **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]] * [[http://www.fit.vut.cz/~ikocman|Radim Kocman]] * [[http://www.fit.vut.cz/~iklobucnikova|Dominika Klobučníková]] * [[http://www.fit.vut.cz/~idvorakt|Tomáš Dvořák]] * **Conference language:** English, Czech * **Coverage:** * LTA 2019 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 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 Talks by prof. Lakshmanan Kuppusamy ===== ==== Descriptional Complexity of Some Regulated Rewriting Grammars ==== * Speaker: **[[klakshma@vit.ac.in|prof. Lakshmanan Kuppusamy]]**, School of Computer Science & Engineering, Department of Computational BioSciences, [[https://vit.ac.in/|VIT University]], India * For list of recent publications, see [[https://dblp.org/pers/hd/k/Kuppusamy:Lakshmanan|DBLP]]. * **Abstract**: {{ :lectures:lta:2019:abstract-talk1-comp-complete-regulated-rewriting.pdf |PDF version}}. * **Date:** Monday, November 18, 2019, 15:00 - 16:00 * **Chair:** [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit2.php.en?show=G202|G202]] * **Materials**: {{ :lectures:lta:2019:2019-11-18_lakshmanan-regulated-rewriting_slides_updated.pdf |Slides (PDF)}}, [[https://www.fit.vutbr.cz/~krivka/dl/2019-11-18_lakshmanan_talk1.mp4|Videorecording (HD, MP4, 1.3 GB)]] ==== Descriptional Complexity of Matrix and Graph-Controlled Insertion-Deletion Systems ==== **Due to organizing purpose, we had to change the date, time and room of this lecture!** It will be on Monday, December 2 at 11:00 in lecture room A112. * Speaker: **[[klakshma@vit.ac.in|prof. Lakshmanan Kuppusamy]]**, School of Computer Science & Engineering, Department of Computational BioSciences, [[https://vit.ac.in/|VIT University]], India * For list of recent publications, see [[https://dblp.org/pers/hd/k/Kuppusamy:Lakshmanan|DBLP]]. * **Abstract**: {{ :lectures:lta:2019:abstract-talk2-des-comp-ins-del-systems.pdf |PDF version}}. * **Date:** Monday, **December 2**, 2019, **11:00 - 12:30** * **Chair:** [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Materials**: {{ :lectures:lta:2019:2019-12-02_lakshmanan-ins-del-systems_slides.pdf |Slides (PDF)}}, [[https://www.fit.vutbr.cz/~krivka/dl/2019-12-02_lakshmanan_talk2.mp4|Videorecording (HD, MP4, 2.7 GB)]] ===== Discussion with students ===== * Wednesday, December 11, 2019, room E112 * 13:00 - 13:45 Discussion: Alexander Meduna: American vs. European Students (in Czech) ===== Cultural Talk I: Rozhovor s Dylanem (in Czech) ===== * **Speaker**: [[meduna@fit.vutbr.cz|Alexander Meduna]], FIT VUT, Brno * **Title**: Rozhovor s Dylanem * **Abstract** (in Czech): Přednáška komentuje překvapivý rozhovor Boba Dylana, který poskytl pro pořad //60 minutes// dne 12. 5. 2004. * **Date:** December 16, 2019, 12:00 - 12:50 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] ===== Scientific Lecture: On Proof Techniques in Jumping Models (in Czech) ===== * **Speaker**: [[http://www.fit.vutbr.cz/~ikocman/|Radim Kocman]] * **Abstract**: * In formal language theory, when we study new models, we often want to know whether a certain language can be defined by the model in question. To show that it is possible, we can simply construct an appropriate instance of such a model. However, to show that it is not possible, we have to rigorously prove that no such an instance can exist. If we want to show that a language cannot be defined by the given model and we work with regular or context-free languages, we can use pumping lemmas which are specifically constructed for this task. * Nonetheless, when we work with jumping models, it is usually not possible to easily derive such a lemma. Luckily for us, we can usually exploit the fact that jumping models cannot sufficiently control the order of symbols and show that if the model defines some word in the language it also has to define some word that is not in the language. However, in the newly introduced jumping 5'->3' Watson-Crick finite automata this previous approach can no longer be effectively used since the model can easily keep the precise order of symbols for all linear languages. * In this talk, we introduce a new concept of the debt of the configuration of the automaton and show how it can be used to prove that a language cannot be defined by the given jumping model. * **Date:** December 18, 2019, 11:00 - 12:10 * **Chair:** [[http://www.fit.vutbr.cz/~krivka/|Zbyněk Křivka]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E112|E112]] * **Materials**: {{ :lectures:lta:2019:2019-12-18_kocman-proofs-in-jm-handout.pdf |Handouts}} (PDF), {{ :lectures:lta:2019:2019-12-18_kocman-proofs-in-jm-presentation.pdf |Presentation}} (PDF) ===== Cultural Talk II: Jerry Lee Levis (in Czech) ===== * **Speaker**: [[janousek@fit.vutbr.cz|Vladimír Janoušek]], FIT VUT, Brno * **Title**: Jerry Lee Levis (in Czech) * **Abstract**: Přednáška se metodou komentovaných videoukázek zabývá historií rock'n'rollu. * **Date:** December 18, 2019, 12:10 - 13:00 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E112|E112]] ===== Conference Schedule ===== The list of talks in VYPa, RGD, and TID courses follows. ==== SESSION 1: Compiler Construction I (Monday, December 9, 2019, 11:00-13:50, A112) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 15 minutes (including discussion) * **Level**: MSc * **Invited talk, 11:00-11:45**: * **[[meduna@fit.vutbr.cz|Alexander Meduna]]: American Pronunciation** (in Czech) * **Abstract (in Czech)**: Výslovnost americké angličtiny obsahuje některé zvuky, které Čech imituje chybně. Učitelé, včetně rodilých mluvčích, tyto odchylky zpravidla tolerují a spokojí se s touto nesprávně provedenou imitací, pokud je alespoň trochu srozumitelná. Prezentovaná přednáška naopak na tyto zvuky explicitně upozorní a načrtne, jak je vysloví Američan. Prezentace bude mít neformální charakter. * **Regular talks, 11:50 - 13:50**: *[[xneuzi05@stud.fit.vutbr.cz|Neužil Antonín]], [[xsabel01@stud.fit.vutbr.cz|Sabela David]]: Optimization in Dynamic Language Runtimes ({{ :lectures:lta:2019:vypa_xneuzi05_xsabel01_abstract.pdf |Abstract}}) *[[xaubre02@stud.fit.vutbr.cz|Aubrecht Tomáš]], [[xkotra01@stud.fit.vutbr.cz|Kotráš Jan]]: Just-in-Time Compiler Optimzation ({{ :lectures:lta:2019:vypa_xaubre02_xkotra01_abstract.pdf |Abstract}}) *[[xkarli05@stud.fit.vutbr.cz|Karlík Pavol]], [[xjanco06@stud.fit.vutbr.cz|Jančová Markéta]]: Functional programming - Tail Call Optimization ({{ :lectures:lta:2019:vypa_xkarli05_xjanco06_abstract.pdf |Abstract}}) *[[xmende04@stud.fit.vutbr.cz|Mendes José Pedro B.]], [[xcebri00@stud.fit.vutbr.cz|Cebrian Garcia Ricardo]]: Comparison of Template Metaprogramming and Functional Programming ({{ :lectures:lta:2019:vypa_xmende04_xcebri00_abstract.pdf |Abstract}}) *[[xhorky23@stud.fit.vutbr.cz|Horký Michal]], [[xmucka03@stud.fit.vutbr.cz|Múčka Matúš]]: Object-Orientation - Compilation of Multiple inheritance ({{ :lectures:lta:2019:vypa_xhorky23_xmucka03_abstract.pdf |Abstract}}) *[[xkozak15@stud.fit.vutbr.cz|Kozák David]], [[xlabas00@stud.fit.vutbr.cz|Labás Dominik]]: Hindley-Milner Type System and Modern Type Systems ({{ :lectures:lta:2019:vypa_xkozak15_xlabas00_abstract.pdf |Abstract}}) ==== SESSION 2: Regulated Grammars and Automata (Monday, December 9, 2019, 15:00-17:30, E105) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E105|E105]] * **Chair**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Talk duration**: 20 minutes (+ 5 minutes discussion) * **Level**: PhD ** Presentations**: * [[xtomto02@stud.fit.vutbr.cz|Tomko Martin]]: Commutative Grammars and Permutation Grammars ({{ :lectures:lta:2019:abstract_rgd_xtomko02_jag.pdf |Abstract}}, {{ :lectures:lta:2019:2019-12-09_rgd_xtomko02_jag.pdf |Presentation}}) * [[xklobu01@stud.fit.vutbr.cz|Klobučníková Dominika]]: On the Relation Between Right-Linear #-Rewriting Systems and Simple Matrix Grammars ({{ :lectures:lta:2019:abstract_rgd_xklobu01.pdf |Abstract}}, {{ :lectures:lta:2019:2019-12-09_rgd_xklobu01.pdf |Presentation}}) * [[xtomto02@stud.fit.vutbr.cz|Tomko Martin]]: Multi-Island Finite Automata and Their Even Computation ({{ :lectures:lta:2019:abstract_rgd_xtomko02.pdf |Abstract}}, {{ :lectures:lta:2019:2019-12-09_rgd_xtomko02.pdf |Presentation}}) ==== SESSION 3: Modern Theoretical Computer Science I (Thursday, December 12, 2019, 11:00-13:00, E105) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E105|E105]] * **Chair**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Talk duration**: 20 minutes (+ 5 minutes discussion) * **Level**: PhD ** Presentations**: * [[xhodan07@stud.fit.vutbr.cz|Hodaň David]]: Planar Graphs ({{ :lectures:lta:2019:abstract_tid_xhodan07.pdf |Abstract}}, {{ :lectures:lta:2019:2019-12-12_tid_xhodan07.pdf |Presentation}}) * [[xbenic03@stud.fit.vutbr.cz|Beníčková Zuzana]]: Uniform Regulated Rewriting in Parallel ({{ :lectures:lta:2019:abstract_tid_xbenic03.pdf |Abstract}}, {{ :lectures:lta:2019:2019-12-12_tid_xbenic03.pdf |Presentation}}) * [[xklobu01@stud.fit.vutbr.cz|Klobučníková Dominika]]: #-Rewriting Systems in Relation to Simple Matrix Grammars ({{ :lectures:lta:2019:abstract_tid_xklobu01.pdf | Abstract}}, {{ :lectures:lta:2019:2019-12-12_tid_xklobu01.pdf |Presentation}}) * [[xbenic03@stud.fit.vutbr.cz|Beníčková Zuzana]]: Parallel Rewriting Over Word Monoids ({{ :lectures:lta:2019:abstract_rgd_xbenic03.pdf |Abstract}}, {{ :lectures:lta:2019:2019-12-12_rgd_xbenic03.pdf |Presentation}}, RGD Talk) ==== SESSION 4: Compiler Construction I (Monday, December 16, 2019, 11:00-13:50, A112) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Chair**: [[http://www.fit.vutbr.cz/~idvoratk|Tomáš Dvořák]] * **Talk duration**: 15 minutes (including discussion) * **Level**: MSc * **Regular Talks, 11:00-11:50** (approx. 3-4 students): * [[xberan38@stud.fit.vutbr.cz|Beránek Michal]], [[xpolac33@stud.fit.vutbr.cz|Polách Radim]]: Object-oriented Type Systems ({{ :lectures:lta:2019:vypa_xberan38_xpolac33_abstract.pdf |Abstract}}) * [[xmutna00@stud.fit.vutbr.cz|Mutňanský Filip]], [[xklemb00@stud.fit.vutbr.cz|Klembara Filip]]: Context free grammars with storage ({{ :lectures:lta:2019:vypa_xklemb00_xmutna00_abstract.pdf |Abstract}}) * [[xqueir01@stud.fit.vutbr.cz|Cátia Queirós]], [[xcarne02@stud.fit.vutbr.cz|Nuno Carneiro]]: Digital Images and Formal Languages ({{ :lectures:lta:2019:vypa_xqueir01_xcarne02_abstract.pdf |Abstract}}) * [[xhamme00@stud.fit.vutbr.cz|Hammer Jan]]: Applications of Scattered Context Grammars ({{ :lectures:lta:2019:vypa_xhamme00_abstract.pdf |Abstract}}) * [[xambro15@stud.fit.vutbr.cz|Ambrož Vít]], [[xbedna62@stud.fit.vutbr.cz|Bednařík David]]: Visibly Pushdown Transducers ({{ :lectures:lta:2019:vypa_xambro15_xbedna62_abstract.pdf |Abstract}}) * **Cultural talk, 12:00-12:50**: * [[meduna@fit.vutbr.cz|Alexander Meduna]]: Rozhovor s Dylanem (in Czech) * **Presentations of Countries by Foreign Students, 13:00-13:40**: * Cátia Queirós, José Pedro Mendes, Nuno Carneiro: Portugal ({{:lectures:lta:2019:2019-12-16_portugal_xqueir01_xmende04_xcarne02.pdf |Abstract}}) ==== SESSION 5: Formal Languages, American Students, and Rock'n'Roll (Wednesday, December 18, 2019, 11:00-13:50, E112) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E112|E112]] * **Chair:** [[http://www.fit.vutbr.cz/~krivka/|Zbyněk Křivka]] * **Room**: * 11:00 - 12:10 Scientific Lecture: Radim Kocman: On Proof Techniques in Jumping Models (in Czech) * [[#scientific_lectureon_proof_techniques_in_jumping_models_in_czech|For abstract, see above]]. * 12:10 - 13:00 Cultural Talk: Vladimír Janoušek: Jerry Lee Levis (Rock'n'Roll) (in Czech) * [[#cultural_talk_iijerry_lee_levis_in_czech|For short abstract, see above]]. ===== Conference history ===== * [[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]]