LANGUAGE THEORY with APPLICATIONS 2015 (LTA 2015): Conference, Course, and Art

LTA 2015 is 5th student conference at the Faculty of Information Technology, Brno University of Technology.

• Subject: Formal language theory and its applications in computer science
• Place: FIT BUT, Brno, Czech Republic
• Date: December 7 - 17, 2015

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

• Committee:
  • Alexander Meduna (chair)
  • Zbyněk Křivka
  • Ondřej Soukup
  • Jiří Kučera
  • Radim Kocman

• Conference language: English

• Coverage:
  • LTA 2015 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 and VYPe 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 and VYPe 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.

• Questions: Contact Zbyněk Křivka

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

• Speaker: prof. Erzsébet Csuhaj-Varjú, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary
• Date: December 14, 2015, 13:00 - 14:00
• Room: A113
• Additional Discussion and Consultations: December 14, 14:00 - 16:00, room A113

Each VYPe presentation of a team - approx. 14 minutes (i.e. 7 minutes per one student) + 2 minutes for the discussion.

• lex & yacc - Advanced Features - Martin Šoulák | Jakob Voneš - xsoula02 | xvones02
• LL(*) Parsing Strategy: The Foundation of the ANTLR Parser Generator - Jan Tuma | Karol Troska - xtumaj02 | xtrosk00
• Rust Programming Language and its Compilation - Jan Wrona | Kateřina Žmolíková - xwrona00 | xzmoli02
• Single Static Assignmant Form - Marek Mikovič | Oliver Nemček - xmilko01 | xnemce03
• How to write an LLVM optimization pass - Albert Mikó | Štefan Martiček - xmikoa00 | xmarti62
• Improving Register Usage - Petr Bednář | Jan Ťulák - xbedna46 | xtulak00
• Linear-scan Register Allocation - Andrea Marcelyová | Pavel Hrabec - xmarce02 | xhrabe00

• Object-Oriented Languages - Lenka Trestikova | Michal Uhlir - xtrest01 | xuhlir14
• The design and semantics of COOL - Matej Minárik | Petr Nechvátal - xminar29 | xnechv05
• Pep, a Java Just-In-Time Translator - Ondřej Krpec | Luboš Vaníček - xkrepec01 | xvanic07
• Compilation Scheme of Multiple Inheritance in Object-Oriented Languages - Lucie Dvořáková | František Sabovčik - xdvora1f | xsabov00
• Compiler Design: Functional Programming Languages - Ondřej Janošík | Marek Kidoň - xjanos12 | xkidon00
• Modern Compiler Design - Jan Kalina | Tomáš Trkal - xkalin03 | xtrkal00
• Enhancing Fine-Grained Parallelism: Loop Interchange - Martin Orava | Dušan Bezděk - xorava01 | xbezde02
• Optimizing Compilers: Dependence Testing - Michal Ruprich | Martin Vymlátil - xrupri00 | xvymla01

• TODO: Schedule Topic 06 (SSA Form) right before Topic 09 (LLVM how to)

Each TID presentation of an individual PhD student - 23 minutes + 3 minutes for the discussion).

• Approximation Cumputing in Formal Languages - Petr Dvořáček - xdvora0n
• On Syntax Analysis of LL Scattered Context Grammar decided in second component - Ota Jirak - xjirak03
• CAP Theorem Impact in Reliable Data Processing - Pavel Krobot - xkrobo01
• Expressing Type-0 Languages in Terms of Context-Free Ambiguousness - Stanislav Láznička - xlazni08
• Generative power of CD grammar systems with scattered context components - Jakub Martiško - xmarti52
• Usage of Theoretical Computer Science in IT Security - Dominik Breitenbacher - xbreit00

• Genetic Improvement using Grammars - Michal Wiglasz - xwigla00
• Regression neural networks: Example of their application to speaker's age identification - Anna Silnova - xfedor06
• A systematic approach to the description of fault-tolerant systems - Jakub Lojda - xlojda
• Partial Determinization of Finite Automata - Denis Matoušek - xmatou08
• Modelling using timed automata - Michal Rišsa - xrisam01

• xmatou08 - může jen 17. 12.
• xbreit00 - může jen 10. 12.

• Classroom: E112
• Speaker: prof. Erzsébet Csuhaj-Varjú, csuhaj@inf.elte.hu
• Chair: Alexander Meduna
• Date, Time: Tuesday, December 15, 2015, 12:00 - 13:50
• Additional Consultations: Thursday, December 17, 2015, 13:00-15:00, seminar room C228

• Date: Wednesday, December 9, 2015, 15:30 - 16:00
• Room: Sklep, C008
• Cyklus pořadu poezie: Cestou
• Pořad: Cestou Bohumila Hrabala: povídka Jarmilka
• Recituje Alexander Meduna
• Doprovází Pavel Babinec

• LTA 2014
• LTA 2013
• LTA 2012
• LTA 2011