====== LANGUAGE THEORY with APPLICATIONS 2020 (LTA 2020) ====== LTA 2020 is 10th student workshop at the Faculty of Information Technology, Brno University of Technology. According to the epidemiology situation, the talks will be presented **on-line using Microsoft Teams platform**. ===== Information ===== {{ :lectures:lta:lta2020mask_logo_web.png?nolink|Language Theory with Applications 2020 (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 10 - 15, 2020 * **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/~iklobucnikova|Dominika Klobučníková]] * [[http://www.fit.vut.cz/~idvorakt|Tomáš Dvořák]] * **Conference language:** English, Czech * **Coverage:** * LTA 2020 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]] ===== Opening Talk by dr. Pavel Martinek, UTB Zlín ===== * Speaker: **[[pmartinek@utb.cz|dr. Pavel Martinek]]**, Faculty of Applied Informatics, Tomáš Baťa University in Zlín, Czech republic * For a list of recent publications, see [[https://dblp.org/pid/15/4551.html|DBLP]]. * **Date:** Thursday, December 10, 2020, 12:00 - 13:30 * **Place:** [[https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZjEzZmE4MjgtZDExNi00NjUxLWIxMGMtMzlkODcwNTY0NTIw%40thread.v2/0?context=%7b%22Tid%22%3a%22c63ce729-ca17-4e52-aa2d-96b79489a542%22%2c%22Oid%22%3a%22b0c92057-f3f8-43f5-995e-a5cec0b35bfe%22%7d |on-line using Microsoft Teams scheduled meeting]] * **Title**: Multiset Languages and Minimization Problem for Multiset Finite Automata * **Abstract**: //Multisets// (also called //bags//) represent such a generalization of sets which allow multiplied occurrence of their elements. Finite automata working over multisets differ from usual finite automata in the way how they process their input. Namely, at each computational step, they read a symbol from their input multiset regardless of any ordering of the input. Thus, instead of processing strings of symbols the automata process multisets of symbols. This formalism was already used in defining computational models inspired from biochemistry (like the chemical abstract machine by Berry and Boudol, 1992) or biology (cf. well-known P systems). It has also strong connections to jumping automata introduced by Meduna and Zemek in 2012. * The aim of the talk is to describe the concept of multiset automata and their place in formal languages theory, to show their similarities and dissimilarities with classical and jumping finite automata and to deal with minimization of these automata. * **Chair:** [[http://www.fit.vutbr.cz/~meduna/|Alexander Meduna]] * **Slides**: {{ :lectures:lta:2020:2020-12-10_martinek-multiset_languages-slides.pdf |PDF}} * **Videorecording**: [[https://web.microsoftstream.com/video/e0ff04df-ddeb-473b-98ed-b669acc1919f|Microsoft Stream link]] (if you do not have access, please [[krivka@fit.vutbr.cz|let me know]] your email) ===== Workshop Schedule ===== The list of talks in VYPa, RGD, and TID courses follows. ==== PRELIMINARY CULTURE SESSION (Monday, December 7, 2020, 13:00-13:30, on-line) ==== * **Place**: [[https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZjEzZmE4MjgtZDExNi00NjUxLWIxMGMtMzlkODcwNTY0NTIw%40thread.v2/0?context=%7b%22Tid%22%3a%22c63ce729-ca17-4e52-aa2d-96b79489a542%22%2c%22Oid%22%3a%22b0c92057-f3f8-43f5-995e-a5cec0b35bfe%22%7d |on-line using MS Teams]] * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 10-15 minutes * Short introduction of my home country and culture: * [[xkholj00@stud.fit.vutbr.cz|Kholjuraev Muslimjon]]: {{ :lectures:lta:2020:xkholj00_uzbekistan.pdf |Uzbekistan}} * [[xgonch00@stud.fit.vutbr.cz|Goncharenko Kristina]]: {{ :lectures:lta:2020:vypa_xgonch00_culture_talk_russia.pdf |Russia (The Republic of Buryatia)}} ==== SESSION 1: Compiler Construction (Monday, December 14, 2020, 11:00-14:00, on-line) ==== * **Place**: [[https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZjEzZmE4MjgtZDExNi00NjUxLWIxMGMtMzlkODcwNTY0NTIw%40thread.v2/0?context=%7b%22Tid%22%3a%22c63ce729-ca17-4e52-aa2d-96b79489a542%22%2c%22Oid%22%3a%22b0c92057-f3f8-43f5-995e-a5cec0b35bfe%22%7d |on-line using MS Teams]] * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 20 minutes (including discussion) * **Level**: MSc **Regular talks, 11:00 - 13:20**: * [[xdlouh06@stud.fit.vutbr.cz|Dlouhá Simona]], [[xgalva01@stud.fit.vutbr.cz|Galvano Giancarlo Maria]]: Transducers and Grammars as Theories of Language ({{ :lectures:lta:2020:vypa_xdlouh06_xgalva01_abstract.pdf |abstract}}) * [[xmazza00@stud.fit.vutbr.cz|Mazza Francescogabriele]], [[xmusot00@stud.fit.vutbr.cz|Musotto Daniela]]: Tree Transducers ({{ :lectures:lta:2020:vypa_xmazza00_xmusot00_abstract.pdf |abstract}}) * [[xkholj00@vutbr.cz|Muslimjon Kholjuraev]]: Parsing for Indentation-sensitive Languages (TBA: abstract) * [[xholko01@stud.fit.vutbr.cz|Holko Maroš]], [[xkozar02@stud.fit.vutbr.cz|Kožár Tomáš]]: Object-oriented Compiler Design ({{ :lectures:lta:2020:vypa_xholko01_xkozar02_abstract.pdf |abstract}}) * [[xrenzh00@stud.fit.vutbr.cz|Ren ZhiDong]]: Compiler Design - Sections 4.1 - 4.4 (Logic Programming Languages) * [[xchoij00@stud.fit.vutbr.cz|Choi Jung In]], [[xviggi00@stud.fit.vutbr.cz|Viggiano Franco Nicola]]: Linkers and Loaders ({{ :lectures:lta:2020:vypa_xchoij00_xviggi00_abstract.pdf |abstract}}) * [[xgonch00@stud.fit.vutbr.cz|Goncharenko Kristina]], [[xyatse00@stud.fit.vutbr.cz|Yatsenko Kateryna]]: Reverse Engineering ({{ :lectures:lta:2020:vypa_xgonch00_xyatse00_abstract.pdf |abstract}}) * [[xkubov06@stud.fit.vutbr.cz|Kubov Peter]], [[xmicka11@stud.fit.vutbr.cz|Mička Richard]]: Reverse Engineering of Object Oriented Code ({{ :lectures:lta:2020:vypa_xkubov06_xmicka11_abstract.pdf |abstract}}) ** Presentation from RGD** (13:20-13:45, rescheduled from Session 2, PhD level): * [[imalanik@fit.vutbr.cz|Malaník Petr]]: Jumping Finite Automata: Application in Embedded systems ({{ :lectures:lta:2020:rgd_imalanik_abstract.pdf |abstract}}) ==== SESSION 2: Modern Theoretical Computer Science & Regulated Grammars and Automata (Tuesday, December 15, 2020, 11:00-11:50, on-line) ==== * **Place**: [[https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZjEzZmE4MjgtZDExNi00NjUxLWIxMGMtMzlkODcwNTY0NTIw%40thread.v2/0?context=%7b%22Tid%22%3a%22c63ce729-ca17-4e52-aa2d-96b79489a542%22%2c%22Oid%22%3a%22b0c92057-f3f8-43f5-995e-a5cec0b35bfe%22%7d |on-line using MS Teams]] * **Chair**: Alexander Meduna * **Talk duration**: 20 minutes (+ 5 minutes discussion) * **Level**: PhD ** Presentations from RGD**: * [[ijanus@fit.vutbr.cz|Januš Filip]]: Rewriting Over Word Monoids ({{ :lectures:lta:2020:rgd_ijanus_abstract.pdf |abstract}}) ** Presentation from TID**: * [[xozden00@stud.fit.vutbr.cz|Ozden Ahmet Yarkin]]: The Role of Finite State Machines in Blockchain Smart Contracts ({{ :lectures:lta:2020:tid_xozden00_abstract.pdf |abstract}}) ===== Conference history ===== * [[lectures:lta:lta19|LTA 2019]] * [[lectures:lta:lta18|LTA 2018]] * [[lectures:lta:lta17|LTA 2017]] * [[lectures:lta:lta16|LTA 2016]] * [[lectures:lta:lta15|LTA 2015]] * [[lectures:lta:lta14|LTA 2014]] * [[lectures:lta:lta13|LTA 2013]] * [[lectures:lta:lta12|LTA 2012]] * [[lectures:lta:lta11|LTA 2011]]