TeilnehmerIn | Vortragstitel |
---|---|
Oliver Boldt (Magdeburg) | |
Henning Bordihn (Magdeburg) | |
Thomas Buchholz (Giessen) | Ergebnisse zu Komplexitätsklassen und Bemerkungen zur Zeitreduktion in zellularen Raeumen (mit M. Kutrib) |
Jürgen Dassow (Magdeburg) | |
Frank Drewes (Bremen) | Bilderzeugung mit Hilfe von Baumgeneratoren |
Joost Engelfriet (Leiden) | Monadic second-order logic on strings and trees (im Rahmen des Workshops) |
Henning Fernau (Tuebingen) | Linksableitungen bei programmierten Grammatiken |
Rudolf Freund (Wien) | Graphgrammatiken als Basis von Programmsystemen und -entwicklungsumgebungen |
Ursula Goltz (Hildesheim) | Über den modularen hierarchischen Entwurf reaktiver Systeme (im Rahmen des Workshops) |
Annegret Habel (Hildesheim) | Substitutionsbasierte Graphersetzung |
Fritz von Haeseler (Bremen) | Aspekte automatischer Folgen (im Rahmen des Workshops, mit G. Skordev) |
Markus Holzer (Tuebingen) | Complexity of Array Languages |
Daniel Kirsten (Dresden) | |
Renate Klempien-Hinrichs (Bremen) | Elementare Ersetzung in Hypergraphen |
Hans-Jörg Kreowski (Bremen) | Kontextfreie und kontextsensitive Collagen-Grammatiken |
Ralph Kummetz (Dresden) | |
Dietrich Kuske (Dresden) | Acceptance modes for asynchronous cellular automata for pomsets and first order logic |
Martin Kutrib (Giessen) | Ergebnisse zu Komplexitätsklassen und Bemerkungen zur Zeitreduktion in zellularen Raeumen (mit T. Buchholz) |
Klaus-Joern Lange (Tuebingen) | Dichte Vollstaendigkeit |
Markus Lohrey (Dresden) | |
Dirk Nowotka (Warwick) | |
Friedrich Otto (Kassel) | On the class of Church-Rosser languages |
Bernd Reichel (Magdeburg) | |
Kristin Schröder (Dresden) | |
Detlef Seese (Karlsruhe) | Algorithmische Probleme für baumartige Strukturen: Automatisch/automatentheoretisch vom Problem zur Lösung (im Rahmen des Workshops) |
Helmut Seidl (Trier) | Interprozedurale Analyse mithilfe von Kellerautomaten |
Guentcho Skordev (Bremen) | Aspekte automatischer Folgen (im Rahmen des Workshops, mit F. von Haeseler) |
Ludwig Staiger (Halle) | Rich omega-words and monadic second-order arithmetic |
Wolfgang Thomas (Kiel) | |
Heiko Vogler (Dresden) | Theorie der Tree Transducer (im Rahmen des Workshops) |