LANGUAGE THEORY with APPLICATIONS 2019 (LTA 2019)

LTA 2019 is 9th student conference at the Faculty of Information Technology, Brno University of Technology.

Information

Language Theory with Applications 2019 (Logo)

  • Subject: Formal language theory and its applications in computer science
  • Place: FIT BUT, Brno, Czech Republic
  • Date: December 9 - 18, 2019 + Opening Talks on 18th November and 2nd December
  • 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 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 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.

Opening Talks by prof. Lakshmanan Kuppusamy

Descriptional Complexity of Some Regulated Rewriting Grammars

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.

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: 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: A112

Scientific Lecture: On Proof Techniques in Jumping Models (in Czech)

  • Speaker: 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
  • Room: E112
  • Materials: Handouts (PDF), Presentation (PDF)

Cultural Talk II: Jerry Lee Levis (in Czech)

  • Speaker: 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: 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: A112
  • Talk duration: 15 minutes (including discussion)
  • Level: MSc
  • Invited talk, 11:00-11:45:
    • 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.

SESSION 2: Regulated Grammars and Automata (Monday, December 9, 2019, 15:00-17:30, E105)

  • Classroom: E105
  • Talk duration: 20 minutes (+ 5 minutes discussion)
  • Level: PhD

Presentations:

SESSION 3: Modern Theoretical Computer Science I (Thursday, December 12, 2019, 11:00-13:00, E105)

  • Classroom: E105
  • Talk duration: 20 minutes (+ 5 minutes discussion)
  • Level: PhD

Presentations:

SESSION 4: Compiler Construction I (Monday, December 16, 2019, 11:00-13:50, A112)

  • Classroom: A112
  • Talk duration: 15 minutes (including discussion)
  • Level: MSc

SESSION 5: Formal Languages, American Students, and Rock'n'Roll (Wednesday, December 18, 2019, 11:00-13:50, E112)

Conference history

lectures/lta/lta19.txt · Last modified: 2019/12/25 12:10 by iklobucnikova
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki