====== LANGUAGE THEORY with APPLICATIONS 2011 (LTA 2011) ====== LTA 2011 is a student conference at the Faculty of Information Technology, Brno University of Technology. ===== Information ===== * **Subject:** Formal language theory and its applications in computer science * **Place:** [[http://www.fit.vutbr.cz/FIT/.en|FIT BUT]], Brno, Czech Republic * **Date:** December 13 - 15, 2011 * **Organizers:** - the [[http://www.fit.vutbr.cz/study/courses/TID/index.php.en|TID]] and [[http://www.fit.vutbr.cz/study/courses/VYPe/index.php.en|VYPe]] teaching teams; - [[http://www.fit.vutbr.cz/research/groups/fm/|Formal Model Research Group]], FIT BUT; - [[http://www.fit.vutbr.cz/units/UIFS/index.php.en|Department of Information Systems]], FIT BUT. * **Committee:** * [[http://www.fit.vutbr.cz/~meduna|Alexander Meduna]] (chair) * [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * [[http://www.fit.vutbr.cz/~ikoutny|Jiří Koutný]] * [[http://www.fit.vutbr.cz/~icermak|Martin Čermák]] * **Conference language:** English * **Coverage:** * LTA 2011 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 2011 does not tolerate presentations that hide their shallow contents behind exotic pictures. * **Purpose:** The purpose of this event is three-fold: - demonstrating the TID and VYPe student work in public; - giving students the opportunity of giving 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 or payment. * **Questions**: Contact [[icermak@fit.vutbr.cz|Martin Čermak]] ===== Recordings ===== * **[[https://video1.fit.vutbr.cz/index.php?categ_id=838|Audio-video recordings of sessions]]** ===== Schedule ===== * {{:lectures:lta:lta2011_program_a3.pdf|PDF Program Summarization}} ({{:lectures:lta:lta2011_program_a3_print.pdf|print version}}) ==== DAY ONE: Tuesday, December 13, 2011, 10 am - 13 pm ==== * **Classroom**: A112 * **Chair**: [[http://www.fit.vutbr.cz/~ikoutny|Jiří Koutný]] * **Talk duration**: 20 minutes (including discussion) * **Level**: PhD * Kouřil Jan: Incremental construction of minimal finite automata and its utilization in natural language processing {{:lectures:lta:kouril.pdf| Abstract}} {{:lectures:lta:kouril_slajd.pdf| Slides}} * Král Jiří: Using Alternating-Time Logic for modeling of artificial agents in wireless nets {{:lectures:lta:kral.pdf| Abstract}} {{:lectures:lta:kral_slajd.pdf| Slides}} * Luža Radim: Processing and analysis of robotic arm control language {{:lectures:lta:luza.pdf| Abstract}} {{:lectures:lta:luza_slajd.pdf| Slides}} * Matoušek Jiří: On complexity of offline partial dynamic reconfiguration Scheduling {{:lectures:lta:matousek.pdf| Abstract}} {{:lectures:lta:matousek_slajd_new.pdf| Slides}} * Milička Martin: Tree edit distance in a document comparison {{:lectures:lta:milicka.pdf| Abstract}} {{:lectures:lta:milicka_slajd_new.pdf| Slides}} * Minarovský Peter: A testing theory for real‐time systems {{:lectures:lta:minarovsky.pdf| Abstract}} {{:lectures:lta:minarovsky_slajd.pdf| Slides}} ==== DAY TWO: Wednesday, December 14, 2011, 11 am - 14 pm ==== * **Classroom**: A112 * **Chair**: [[http://www.fit.vutbr.cz/~icermak|Martin Čermák]] * **Talk duration**: 20 minutes (including discussion). * **Level**: PhD * Bartoš Václav: Using support vector machines to classify multidimensional data {{:lectures:lta:bartos.pdf| Abstract}} {{:lectures:lta:bartos-slajd.pdf| Slides}} * Volf Tomáš: Representing and quering moving objects {{:lectures:lta:volf.pdf| Abstract}} {{:lectures:lta:volf_slajd_new.pdf| Slides}} * Petrlík Jiří: Multiobjective grammatically-based genetic programming {{:lectures:lta:petrlik.pdf| Abstract}} {{:lectures:lta:petrlik_slajd.pdf| Slides}} * Sopuch Zbyněk: Parallel parsing based upon general multigenerative grammar systems {{:lectures:lta:sopuch.pdf| Abstract}} {{:lectures:lta:sopuch_slajd_new.pdf| Slides}} * Šikulová Michaela: Cartesian genetic programming {{:lectures:lta:sikulova.pdf| Abstract}} {{:lectures:lta:sikulova_slajd.pdf| Slides}} * Šimková Marcela: Assertion-based verification {{:lectures:lta:simkova.pdf| Abstract}} {{:lectures:lta:simkova_slajd.pdf| Slides}} * Škoda Petr: Problems of CAP theorem proof and connection to PACELC taxonomy {{:lectures:lta:skoda.pdf| Abstract}} {{:lectures:lta:skoda_slajd.pdf| Slides}} * Malčík Dominik: Model of a semiautomatic detection system {{:lectures:lta:malcik.pdf| Abstract}} {{:lectures:lta:malcik_slajd.pdf| Slides}} * Vopěnka Václav: Automatic polynomial transformation of differential equations and derivation closure {{:lectures:lta:vopenka.pdf| Abstract}} {{:lectures:lta:vopenka_slajd.pdf| Slides}} ==== DAY THREE: Thursday, December 15, 2011, 9 am - 13 pm ==== * **Classroom**: E105 * **Chair**: [[http://www.fit.vutbr.cz/~krivka|Zbyněk Křivka]] * **Talk duration**: 10 minutes (including discussion). * **Level**: MSc * Hanák František, Kletzander Martin: LL(k) parsing I {{:lectures:lta:2011_abstracts:xhanak01_xkletz00_abstract.pdf|Abstract}} * Lang Jozef, Bc., Zemko Zoltán: LL(k) parsing II {{:lectures:lta:2011_abstracts:xlangj01_xzemko01_abstract.pdf|Abstract}} * Raiskup Pavel, Schiffer Peter: LR table construction {{:lectures:lta:2011_abstracts:xraisk00_xschif00_abstract.pdf|Abstract}} * Kučera Jiří, Raška Jiří: ANTLR: Parser generator {{:lectures:lta:2011_abstracts:xkucer28_xraska07_abstract.pdf|Abstract}} * Dlouhý Ivo, Preuss Jan: Lexical and syntactical structures in programming language Lua {{:lectures:lta:2011_abstracts:xdlouh05_xpreus01_abstract.pdf|Abstract}} * Beneš Vojtěch, Horčička Jakub: Lexical and syntactical structures in programming language Miranda {{:lectures:lta:2011_abstracts:xbenes04_xhorci01_abstract.pdf|Abstract}} * Zajíc Jiří, Žouželka Martin: Lexical and syntactical structures in programming language Caml {{:lectures:lta:2011_abstracts:xzajic10_xzouze00_abstract.pdf|Abstract}} * Hübner Lukáš, Vraštiak Pavel: Lexical and syntactical structures in programming language Ocaml {{:lectures:lta:2011_abstracts:xhubne00_xvrast00_abstract.pdf|Abstract}} * Matička Jiří, Minář Michal: Code generation: intermediate languages {{:lectures:lta:2011_abstracts:xmatic00_xminar06_abstract.pdf|Abstract}} * Fraile Villalba Daniel: Symbol table {{:lectures:lta:2011_abstracts:xfrail00_abstract.pdf|Abstract}} * Bučko Peter, Gajdušek Radek: Code generation: Symbol table {{:lectures:lta:2011_abstracts:xbucko00_xgajdu07_abstract.pdf|Abstract}} * Basovník Martin, Mareček Jakub: Optimization strategies {{:lectures:lta:2011_abstracts:xmarec09_xbasov00_abstract.pdf|Abstract}} * Polách Ondřej, Soukup Ondřej: The effect of unrolling and inlining for python bytecode optimizations {{:lectures:lta:2011_abstracts:xpolac04_xsouku09_abstract.pdf|Abstract}} * Divácký Roman, Utěkal Jan: Basic block scheduling & global code scheduling I {{:lectures:lta:2011_abstracts:xdivac01_xuteka01_abstract.pdf|Abstract}} * Görig Jan, Ocelík Tomáš: Basic block scheduling & global code scheduling II {{:lectures:lta:2011_abstracts:xgorig01_xoceli00_abstract.pdf|Abstract}} * Moltaš Jaroslav, Podhorský Jiří: Interprocedural Analysis: Basic concepts {{:lectures:lta:2011_abstracts:xmolta00_xpodho02_abstract.pdf|Abstract}} * Randa Jakub, Šišák Ivan: Logical representation of data flow & simple pointer-analysis algorithm {{:lectures:lta:2011_abstracts:xranda00_xsisak02_abstract.pdf|Abstract}} * Hamada Ondřej, Hložánka Marek: Context-insensitive interprocedural analysis & context-sensitive pointer analysis {{:lectures:lta:2011_abstracts:xhamad00_xhloza01_abstract.pdf|Abstract}}