LANGUAGE THEORY with APPLICATIONS 2023 (LTA 2023)

LTA 2023 is 13th student conference at the Faculty of Information Technology, Brno University of Technology.

Information

Language Theory with Applications 2023 (Logo)

Organizers:
1. the TID, RGD and VYPa teaching teams;
2. Formal Model Research Group, FIT BUT;
3. Department of Information Systems, FIT BUT.

Committee:
- Alexander Meduna (chair)
- Zbyněk Křivka
- Radek Burget
- Martin Havel

Coverage:
- LTA 2023 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 language translation. Most of the talks results from the students' work in the TID, RGD and 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 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:
1. demonstrating the TID, RGD, and VYPa student work in public;
2. giving students the opportunity to present scientific talks in English;
3. 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.

Hečko M.: Using Finite Automata to Decide First-Order Theory of Natural Numbers with Addition
- Abstract: Full abstract (PDF)
  - The ability to algorithmically decide whether a given formula has a model is valuable to many areas of compiler construction and formal verification. It allows one to automatically prove that a given code optimization is sound to detect unintentional overflows and highlight other potential defects in a given program. Decision procedures are an active research area, and their implementations are being employed in the industry, e.g., to reason about the correctness of the configuration of critical infrastructure. This talk focuses on a decision procedure for the first-order theory of integers with addition (so-called Presburger arithmetic) based on the formal finite automata model. (to be continued in PDF)
- Slides (PDF)
- Schedule: Thursday, December 7, 2023, 13:00-13:30
- Classroom: M104+M105
- Chair: Alexander Meduna

Meeting session: Google Meet (accessible for persons outside of BUT after an approval)
Chair: Radek Burget
Talk duration: 50 minutes for the presentation, 5 minutes for the discussion
Level: PhD

Regular talks:
- Hamza Salem: Web Information Extraction: An Algorithm for Detecting Main Content in News (Abstract)

Classroom: G202
Chair: Alexander Meduna
Talk duration: 50 minutes for the presentation, 5 minutes for the discussion
Level: PhD

Regular talks:
- Havel Martin: How to Demonstrate Metalinearness by Tree-Restricted General Grammars (Abstract)
- Klembara Radovan: A Reduction of Scattered Context Grammars (Abstract)

The list of talks from VYPa course follows.

Early regular talk: (Thursday, December 7, 2023, 13:30-13:45)
- Miguel Rodrigues, Tomás Melo: Tree-sitter: Parser Generator (Abstract)

Regular talks: (Thursday, December 14, 2023, 11:00-14:15)
- Zhou Zhihao, Zhang Menghan: Closures - Syntax, Semantics and Implementation (Abstract)
- Luis Vila, Tessa Luaces De Fazio: Parallel and Distributed Parsing: A Practical Viewpoint (Abstract)
- Andrés Morilla, Tomáš Kučma: Compiler Optimizations for Parallel Programs (Abstract)
- Michal Hečko, Peter Močáry: Translation with Finite State Transducers (Abstract)
- Julie Gyselová, Luděk Burda: Processing of Logic Programming Languages (Abstract)
- Barbora Šmahlíková, Timotej Ponek: Travatar: A Forest-to-String Machine Translation Engine based on Tree Transducers (Abstract)
- Adam R. Hrbáč, Vaňo Pavol Toth: Hindley–Milner type system (Abstract)
- Thomas Martin: Dynamic Libraries (Abstract)
- Kilyan Bentchakal, Jolan Moreau: Code Metrics in Object-oriented Programming (Abstract)
- Guilherme Franco, Pavlo Vilkhovyi: A study on the Relationship between language Interpretation and Automata theory based on the paper “Syntactic analysis employing automata theory” (Abstract)
- Dominik Nejedlý, Samuel Olekšák: Modeling plant development with L-systems (Abstract)
- Ján Maťufka, Michal Pyšík: Restricting Grammars with Tree Automata (Abstract)
- Patrik Haas, Michal Šedý: Two-Dimensional Jumping Finite Automata (Abstract)