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
Henning Fernau
Last modified: Mon Sep 19 11:57:37 CEST 2005