Developments in Language Theory, DLT 2007

9:00-10:00: Thomas Henzinger; Quantitative Generalizations of Languages
10:00-10:30: Coffee
10:30-11:30: Volker Diekert, Manfred Kufleitner; On First-Order Fragments for Words and Mazurkiewicz Traces
11:30-12:00: Marcella Anselmo, Dora Giammarresi, Maria Madonia; From Determinism to Non-determinism in Recognizable Twodimensional Languages
12:00-13:30: Lunch
13:30-14:00: Jozef Jirásek, Galina Jirásková, Alexander Szabari; Deterministic Blow-ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet
14:00-14:30: Lutz Priese; Finite Automata on Unranked and Unordered DAGs
14:30-15:00: Victor Selivanov; Fine Hierarchy of Regular Aperiodic ω-Languages
17:00-23:00: Excursion to Kavalto Farm. The bus leaves from the ICT building at 5pm.

Thursday Tuesday Wednesday Thursday Friday Program table 9:00-10:00 Thomas Henzinger Quantitative Generalizations of Languages 10:00-10:30 Coffee 10:30-11:30 Volker Diekert, Manfred Kufleitner On First-Order Fragments for Words and Mazurkiewicz Traces 11:30-12:00 Marcella Anselmo, Dora Giammarresi, Maria Madonia From Determinism to Non-determinism in Recognizable Twodimensional Languages 12:00-13:30 Lunch 13:30-14:00 Jozef Jirásek, Galina Jirásková, Alexander Szabari Deterministic Blow-ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet 14:00-14:30 Lutz Priese Finite Automata on Unranked and Unordered DAGs 14:30-15:00 Victor Selivanov Fine Hierarchy of Regular Aperiodic ω-Languages 17:00-23:00 Excursion to Kavalto Farm. The bus leaves from the ICT building at 5pm.