Programm FORMAT-Workshop Frühjahr 1999

ab 17.00	Anreise
ab 18.30	Abendessen mit anschließendem Beisammensein im Schloßkeller

ab 7.30	Frühstück
8.55	Begrüßung
9.00	Martin Kappes (Uni Frankfurt): Multi-Bracketed Contextual Rewriting Grammars
9.30	Julia Stoll (Uni Darmstadt): LL(k)-Grammatiken in GNF
10.00	Martin Kutrib (Uni Gießen): Alternierende Realzeit-Zellularautomaten
10.30	Kaffeepause
11.00	Thomas Worsch (Uni Karlsruhe): Zellulare Gitter mit dynamisch rekonfigurierbaren Bussen
11.30	Maria Huber (Uni Kassel): Testmengen für den universellen Abschluß regulärer Baumsprachen
12.00	Gundula Niemann (Uni Kassel): Restart-Automaten, Church-Rosser Sprachen und Darstellungen rekursiv aufzählbarer Sprachen
12.30	Mittagessen
14.00	Jörn Tümmler (Uni Würzburg): Optimierungsstrategien zur Elektronikbestückung von Paralleltestern
14.30	Peter Ochsenschläger (GMD Darmstadt): Ein formales Modell für verbindliche Telekooperation
15.00	Markus Nebel (Uni Frankfurt): Die Stackgröße von Tries
15.30	Kaffeepause
16.00	Frank Katritzke (Uni Siegen): Gewichtete endliche Automaten und einige Möglichkeiten zu ihrer Erzeugung
16.30	Ralph Jansen (Uni Siegen): Routing-Protokolle in drahtlosen ad hoc Netzwerken
17.00	Thomas Feuring (Uni Siegen): Supervisory Fuzzy Controller
ab 17.30	Abreise