Programmm des Theorietags und der Workshops

Ablauf / Schematics

• 25.9. Anreise / Welcome TAGI
• 26.9. Contributed papers TAGI
• 27.9. Überblicksvorträge / Tutorials: "Lernen von Automaten und Grammatiken" / "Learning automata and grammars" Folgende Vortragende konnten gewonnen werden / The following people agreed to give a talk on the subject:
  • Colin de la Higuera
  • Hans-Ulrich Krieger
  • Joachim Niehren
• 28.9.-29.9. Kern-GI-Theorietag "Formalen Sprachen"
• 29.9. Abreise

Details TAGI

• 9:25 Opening TAGI
• 9:30 Learning DFA from corrections
• 10:10 Stochastic languages and rational series
• 10:50 Break
• 11:20 Algorithms for learning regular expressions
• 12:00 Lunchtime
• 14:00 Learning analysis by reduction from positive data
• 14:40 Inductive inference of E-pattern languages: a progress report
• 15:20 Break
• 16:00 Open Discussion: What are my favorite (unsolved) problems in Grammar Induction? More generally: what are the main challenges?
• 18:30 Dinner

Details Tutorial Day / Überblicksvorträge

• 8:30 Breakfast
• 9:15 Opening Tutorial Day
• 9:20 Colin de la Higuera
• 11:00 Break
• 11:30 LearnLib: Eine Bibliothek zur experimentellen Analyse von Automatenlernalgorithmen
• 12:10 Lunchtime
• 13:45 Joachim Niehren
• 15:25 Break / Pause: Es besteht Gelegenheit zur Anmeldung Theorietag
• 16:20 Hans-Ulrich Krieger
• 18:00 Interface Session: Open Problems for Formal Language Theorists
• 18:30 Dinner
• 19:30 Sprachverarbeitung bei IBM
• 20:45 zur freien Gestaltung

Theorietag: Einzelheiten Tag 1

• 8:20 Breakfast / Frühstück
• 9:10 Eröffnung Theorietag
• 9:15 On the Descriptional Complexity of Restarting Automata
• 9:45 Parametrized syntactic analysis by freely rewriting Restarting Automata
• 10:15 Einige Bemerkungen zu Forgetting Automata
• 10:45 Pause
• 11:15 Path languages of rpc tree grammars
• 11:45 Äquivalenz von Bildsprachen synchroner, deterministischer Ketten-Code-Bild-Systeme
• 12:15 Mittagspause
• 13:30 Reachability in Petri nets with inhibitor arcs, priority multicounter automata and first order logic with monotone transitive closure
• 14:00 Optimal nonterminal complexity of graph-controlled grammars
• 14:30 Formal language characterizations of P, NP, and PSPACE
• 15:00 Pause
• 15:30 On Parikh images of higher-order pushdown automata
• 16:00 Finite turns and the regular closure of linear context-free languages
• 16:30 Context-dependent nondeterminism for pushdown automata
• 17:00 Kleine Pause
• 17:15 Sitzung der Fachgruppe 0.1.5 "Automaten und Formale Sprachen" der Gesellschaft für Informatik
• 18:30 Abendessen
• 19:30 Open Problem Session: Was sind meine Lieblingsprobleme, allgemeiner die wichtigen Probleme in den Formalen Sprachen?
• 20:45 zur freien Gestaltung

Theorietag: Einzelheiten Tag 2

• 8:00 Frühstück
• 8:50 Membrane systems as a model for distributed computing
• 9:30 Eindeutige Homomorphismen in freien Monoiden
• 10:00 Endliche Automaten und verallgemeinerte disjunktive Sequenzen
• 10:30 Pause
• 11:00 Revolving-input finite automata
• 11:30 A note on the number of transitions of nondeterministic finite automata
• 12:00 Fast substring matching
• 12:30 Mittagessen
• 14:00 Ende Theorietag