LANGUAGE THEORY with APPLICATIONS 2021 (LTA 2021)

LTA 2021 is 11th student conference at the Faculty of Information Technology, Brno University of Technology.

New LTA 2022

• Subject: Formal language theory and its applications in computer science
• Place: FIT BUT, Brno, Czech Republic
• Date: December 13 - 16, 2021

• 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
  • Dominika Klobučníková

• Conference language: English, Czech

• Coverage:
  • LTA 2021 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 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 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:
  1. demonstrating the TID, RGD, and VYPa student work in public;
  2. giving students the opportunity of presenting 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. Please, everybody needs to wear a face mask during the lectures.

• Questions: Contact Zbyněk Křivka

• Acknowledgement: This conference is partially supported by TAČR grant Visual Computing Competence Center (V3C), TE01020415.

• Title: Alan Mathison Turing - Život a dílo
• Speaker: Radek Tesař, FIT, VUT
• Language: česky/Czech
• Abstract: Přednáška o Alanu Turingovi bude rozdělena na následující části:
  • Období před válkou - doba od jeho narození do 1938. Jeho školní léta, doktorát na univerzitě v Princetownu, jeho nejznámější článek ”On Computable Numbers, with an Application to the Entscheidungsproblem“ z roku 1936, kde zavádí pojem Turingova stroje.
  • Období druhé světové války - zaměření na kryptografii, kryptoanalýza německé Enigmy. Popis činnosti Enigmy a princip její kryptoanalýzy. První elektronický počítač na světě - Colossus. V tomto období nemohl Turing své objevy publikovat, protože až do 70. let dvacátého století šlo o přísně tajné informace. Bylo to jeho nejšťastnější a nejplodnější období.
  • Riemannova hypotéza a funkce Zeta. Tato hypotéza provázela Turinga celý život, ale publikoval o ní jen málo a výhradně po válce. Dodnes je přesto známa a používána tzv. Turingova metoda výpočtu této ale i jiných funkcí.
  • Poválečnému období patří jeho výzkum na poli morfogeneze, práce s prvními elektronickými počítači (ACE, Manchester Mark 1), ale i jeho neslavný konec.
  • Na závěr pár slov k rehabilitaci Alana Turinga a jeho ocenění jako jednoho z největších mozků minulého století.
• Date: Wednesday, December 15, 2021, 12:30 - 13:30
• Chair: Alexander Meduna
• Room: E112; alternatively to on-site attendance, you can see the lecture as part of streamming of IFJ lectures
• Additional Materials:
  • Článek v češtině z roku 2014
  • The Strange Life and Death of Dr. Turing (1992, BBC Horizon Documentary @ YouTube)

The list of talks from VYPa course follows.

• Classroom: A112
• Chair: Zbyněk Křivka
• Talk duration: 9+9 minutes for presentation, 1-3 minutes for the discussion
• Level: MSc

• Regular talks, 11:00 - 12:50:
  • Dlouhá Simona, Žitňanská Lívia: One-way and Right One-way Jumping Finite Automata (Abstract)
  • Jurado Carmona Álvaro, Mazánek Martin: Watson-Crick Context-Free Grammars (Abstract)
  • Luque Lázaro Ángel, Vilches Alfonso S.: Watson-Crick Jumping Finite Automata (Abstract)
  • Sedláček Marek: Register allocation (Abstract)
  • Dacík Tomáš, Kinšt Ondřej: PEG Parsing in Python 3.9 (Abstract)

• Culture talk: Spanish Culture, Málaga City and University
  • Speakers: Ángel Luque, Álvaro Jurado, Alfonso Vilches
  • Duration: 25 minutes
  • Abstract: The short culture talk about Spanish culture (customs, traditions, language, …), its comparison with what we have seen here in the Czech Republic during our Erasmus stay. Next, we will talk more specifically about Málaga (our city) and our university back in Spain. We also plan to bring some food to taste.

• LTA 2020
• LTA 2019
• LTA 2018
• LTA 2017
• LTA 2016
• LTA 2015
• LTA 2014
• LTA 2013
• LTA 2012
• LTA 2011