====== LANGUAGE THEORY with APPLICATIONS 2018 (LTA 2018) ====== LTA 2018 is 8th student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== {{ :lectures:lta:lta18_logo_web.png?400&nolink|Language Theory with Applications 2018 (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 3 - 13, 2018 * **Organizers:** - the [[http://www.fit.vutbr.cz/study/courses/TID/index.php.en|TID]] and [[http://www.fit.vutbr.cz/study/courses/VYPa/index.php.en|VYPa]] 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/~imartisko|Jakub Martiško]] * [[http://www.fit.vutbr.cz/~ikocman|Radim Kocman]] * [[http://www.fit.vutbr.cz/~iregeciova|Dominika Regéciová]] * **Conference language:** English * **Coverage:** * LTA 2018 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 [[http://www.fit.vutbr.cz/study/courses/TID/index.php.en|TID]] and [[http://www.fit.vutbr.cz/study/courses/VYPa/index.php.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 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]]. ===== Main Talk: Jumping Pure Grammars ===== * **Speakers**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] and [[http://www.fit.vutbr.cz/~krivka/|Zbyněk Křivka]] * **Abstract**: This talk will introduce jumping pure grammars, which are conceptualized just like classical pure grammars except that during the applications of their productions, they can jump over symbols in either direction within the rewritten strings. We will compare the generative power of jumping pure grammars with that of classical pure grammars while distinguishing between their versions with and without erasing productions. Apart from sequential versions, we will present an analogical study in terms of parallel versions of jumping pure grammars represented by 0L grammars. During the talk, several open problems will be introduced to suggest the future investigation of jumping pure grammars. * **Date:** December 12, 2018, 11:00 - 12:50 * **Chair:** [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=E112|E112]] * **Materials**: {{ :lectures:lta:2018-12-12_meduna_krivka-jpg_pres.pdf |Slides (PDF)}}, {{ :lectures:lta:2018-12-12_meduna_krivka-jpg_proofs.pdf |Handwritten notes with proofs explanations (PDF)}}, {{ :lectures:lta:2018-12-12_jpg_presentation_dm550036.wma |Audio recording (WMA, 87 MB)}} ===== English: American Pronunciation (in Czech) ===== * **Speaker**: [[meduna@fit.vutbr.cz|Alexander Meduna]], FIT VUT, Brno * **Title**: English: American Pronunciation (in Czech: O výslovnosti americké angličtiny) * **Note**: Repeated performance/Pro velký zájem je přednáška [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar#section2017|opakována]]. * **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. * **Date**: December 3, 2018, 13:00 - 13:50 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Materials**: {{ :lectures:lta:2017-11-27_american_pronunciation.pdf |Slides (PDF)}}, [[https://video1.fit.vutbr.cz/index.php?record_id=46937|public audio-video recording from LTA 2017 (MP4, 298 MB)]] ===== Culture Event: Poetry Reading (in Czech and English) ===== * **Title**: Cestou amerických beatníků * **Date:** December 13, 2018, 13:00 - 14:00 * **Place:** [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]], FIT * **Reciter**: Alexander Meduna * [[http://www.fit.vutbr.cz/~meduna/work/lib/exe/fetch.php?media=:art:beatnici_2018-12-13_pozvanka.png|Invitation (in Czech)]] * For details, see [[art:poetry|Poetry Reading website]] ===== Culture Talk: Rock'n'roll (in Czech) ===== * **Speaker**: [[janousek@fit.vutbr.cz|Vladimír Janoušek]], FIT VUT, Brno * **Title**: Rock'n'roll (in Czech) * **Abstract**: Přednáška se metodou komentovaných videoukázek zabývá kořeny Rock'n'Rollu, okolnostmi jeho vzniku v padesátých letech, i tím, jak se uplatňuje jeho původní podoba v soudoubé kultuře. * **Date:** December 13, 2018, 12:00 - 12:50 * **Room**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] ===== Conference Schedule ===== The list of talks in VYPa and TID courses follows. ==== SESSION 1: Compiler Construction I (Monday, December 3, 2018, 11:00-12: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 * **Talks**: *[[xbenko07@stud.fit.vutbr.cz|Benkő Krisztián]], [[xpavel27@stud.fit.vutbr.cz|Pavelka Martin]]: Elimination of Erasing Rules ({{ :lectures:lta:2018:vypa_xpavel27_xbenko07_abstract.pdf |Abstract}}) *[[xbezak01@stud.fit.vutbr.cz|Bezák Adam]], [[xmatej51@stud.fit.vutbr.cz|Matějíček Vojtěch]]: Tabular Parsing ({{ :lectures:lta:2018:vypa_xbezak01_xmatej51_abstract.pdf |Abstract}}) *[[xklobu01@stud.fit.vutbr.cz|Klobučníková Dominika]]: Extensions of Parsing Algorithms Based on Normal Forms ({{ :lectures:lta:2018:vypa_xklobu01_abstract.pdf |Abstract}}) *[[xbanca00@stud.fit.vutbr.cz|Bančák Michal]], [[xvanek36@stud.fit.vutbr.cz|Vanek Roman]]: Grammatical Inference and Learning ({{ :lectures:lta:2018:vypa_xbanca00_xvanek36_abstract.pdf |Abstract}}) *[[xandri03@stud.fit.vutbr.cz|Andriushchenko Roman]], [[xzanor00@stud.fit.vutbr.cz|Zanora Dmytro]]: Self-Regulating Automata ({{ :lectures:lta:2018:vypa_xandri03_xzanor00_abstract.pdf |Abstract}} *[[xhrebi04@stud.fit.vutbr.cz|Hřebíček Pavel]]: Introduction into ANTLR v4 ({{:lectures:lta:2018:vypa_xhrebi04_abstract.pdf|Abstract}}) *[[xcosta07@stud.fit.vutbr.cz|Costa William B.]], [[xrodri10@stud.fit.vutbr.cz|Rodrigues André O.]]: Object-Orientation - Advanced features ({{ :lectures:lta:2018:vypa_xcosta07_xrodri10_abstract.pdf |Abstract}}) ==== SESSION 2: Modern Theoretical Computer Science I (Thursday, December 6, 2018, 11:00-13:00, A112) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Chair**: [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Talk duration**: 20 minutes (+ 5 minutes discussion) * **Level**: PhD **Invited short talk, 11:00-11:30**: * [[ikocman@fit.vutbr.cz|Radim Kocman]]: A Jumping 5'→3' Watson-Crick Finite Automata Model * **Abstract**: This talk introduces a combined model of jumping finite automata and sensing 5'→3' Watson-Crick finite automata. We will compare the accepting power of the new model with the original models and also with some well-known language families. We will also discuss changes in the accepting power when various restrictions are applied on the model. **Regular talks, 11:30 - 13:30**: * [[xkovar57@stud.fit.vutbr.cz|Kövári Adam]]: Efficient text indexing and search ({{ :lectures:lta:2018:abstract_TID_xkovar57.pdf | Abstract}}) * [[xkukli03@stud.fit.vutbr.cz|Kukliš Filip]]: Runtime analysis of evolutionary algorithms ({{ :lectures:lta:2018:abstract_TID_xkukli03.pdf | Abstract}}) * [[xorsak01@stud.fit.vutbr.cz|Orsák Michal]]: Optimization of packet classification for FPGA and off-chip memory ({{ :lectures:lta:2018:abstract_TID_xorsak01.pdf | Abstract}}) * [[xtinka05@stud.fit.vutbr.cz|Tinka Jan]]: Formal Grammars in Recognition of Activities in Visual Data ({{ :lectures:lta:2018:abstract_TID_xtinka05.pdf | Abstract}}) ==== SESSION 3: Compiler Construction II (Monday, December 10, 2018, 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/~iregeciova|Dominika Regéciová]] * **Talk duration**: 15 minutes (including discussion) * **Level**: MSc * **Talks**: *[[xcerny63@stud.fit.vutbr.cz|Černý Lukáš]], [[xmichl02@stud.fit.vutbr.cz|Michl Kamil]]: One-Sided Random Context Grammars ({{ :lectures:lta:2018:vypa_xcerny63_xmichl02_abstract.pdf |Abstract}}) *[[xrousp00@stud.fit.vutbr.cz|Rous Petr]], [[xvalec00@stud.fit.vutbr.cz|Valecký Dušan]]: Rewriting Over Word Monoids ({{ :lectures:lta:2018:vypa_xrousp00_xvalec00_abstract.pdf |Abstract}}) *[[xbutor01@stud.fit.vutbr.cz|Bútora Matúš]], [[xvosah00@stud.fit.vutbr.cz|Vosáhlo Daniel]]: Deterministic Set Automata ({{ :lectures:lta:2018:vypa_xbutor01_xvosah00_abstract.pdf |Abstract}}) *[[xlachm03@stud.fit.vutbr.cz|Lach Martin]], [[xnavra53@stud.fit.vutbr.cz|Navrátil Petr]]: Introduction to Compiler Design - Translating Structured Data ({{ :lectures:lta:2018:vypa_xlachm03_xnavra53_abstract.pdf |Abstract}}) *[[xhorni14@stud.fit.vutbr.cz|Hornický Michal]], [[xvelec07@stud.fit.vutbr.cz|Velecký Jan]]: Introduction to Compiler Design - Register Allocation ({{ :lectures:lta:2018:vypa_xhorni14_xvelec07_abstract.pdf |Abstract}}) * [[xmores00@stud.fit.vutbr.cz|Mores Martin]]: Optimal Register Allocation in Polynomial Time ({{ :lectures:lta:2018:vypa_xmores00_abstract.pdf|Abstract}}) *[[xznebe00@stud.fit.vutbr.cz|Dvořák Tomáš]], [[xsikor15@stud.fit.vutbr.cz|Sikora Vít]]: Introduction to Compiler Design - Optimisations for Loops ({{ :lectures:lta:2018:vypa_xsikor15_xznebe00_abstract.pdf |Abstract}}) *[[xracek11@stud.fit.vutbr.cz|Racek Matyáš]]: Compilation on the web ({{ :lectures:lta:2018:vypa_xracek11_abstract.pdf |Abstract}}) ==== SESSION 4: Modern Theoretical Computer Science II (Thursday, December 13, 2018, 11:00-11:50, A112) ==== * **Classroom**: [[http://www.fit.vutbr.cz/FIT/map/fit1.php.en?show=A112|A112]] * **Chair**: [[http://www.fit.vutbr.cz/~imartisko/|Jakub Martiško]] * **Talk duration**: 20 minutes (+ 5 minutes discussion) * **Level**: PhD * **Talks**: * [[xregec00@stud.fit.vutbr.cz|Regéciová Dominika]]: Tree Controlled Grammars ({{ :lectures:lta:2018:abstract_TID_xregec00.pdf | Abstract}}) * [[xtomko02@stud.fit.vutbr.cz|Tomko Martin]]: On Bridges in Transition Graphs for Finite Automata ({{ :lectures:lta:2018:abstract_TID_xtomko02.pdf | Abstract}}) ===== Future Volumes of LTA ===== * [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:lta:lta19|LTA 2019]] ===== Conference history ===== * [[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]]