Workshop am Montag, 29.9.97

9.45-10.00 Uhr

Eröffnung (Frank Drewes)

10.00-11.00 Uhr Heiko Vogler (Dresden)

Theorie der Tree Transducer

11.00-11.20 Uhr

Kaffeepause

11.20-12.20 Uhr Joost Engelfriet (Leiden)

Monadic second order logic on strings and trees

12.20-14.00 Uhr

Mittagspause

14.00-15.00 Uhr Ursula Goltz (Hildesheim)

Über den modularen hierarchischen Entwurf reaktiver Systeme

15.00-16.00 Uhr Fritz von Haeseler, Guentcho Skordev (Bremen)

Aspekte automatischer Folgen

16.00-16.30 Uhr

Kaffeepause

16.30-17.30 Uhr Detlef Seese (Karlsruhe)

Algorithmische Probleme für baumartige Strukturen: Automatisch/automatentheoretisch vom Problem zur Lösung

Theorietag

Dienstag, 30.9.97

9.00-9.40 Uhr Thomas Buchholz, Martin Kutrib (Gießen)

Ergebnisse zu Komplexitätsklassen und Bemerkungen zur Zeitreduktion in zellularen Räumen

9.40-10.20 Uhr Renate Klempien-Hinrichs (Bremen)

Elementare Ersetzung in Hypergraphen

10.20-10.50 Uhr

Kaffeepause

10.50-11.30 Uhr Friedrich Otto (Kassel)

On the class of Church-Rosser languages

11.30-12.10 Uhr Henning Fernau (Tübingen)

Linksableitungen bei programmierten Grammatiken

12.10-14.10 Uhr

Mittagspause

14.10-14.50 Uhr Helmut Seidl (Trier)

Interprozedurale Analyse mithilfe von Kellerautomaten

14.50-15.30 Uhr Markus Holzer (Tübingen)

Complexity of array languages

15.30-16.00 Uhr

Kaffeepause

16.00-16.40 Uhr Frank Drewes (Bremen)

Bilderzeugung mit Hilfe von Baumgeneratoren

16.40-17.20 Uhr Ludwig Staiger (Halle)

Rich omega-words and monadic second-order arithmetic

Mittwoch, 1.10.97

9.00-9.40 Uhr Annegret Habel (Hildesheim)

Substitutionsbasierte Graphersetzung

9.40-10.20 Uhr Dietrich Kuske (Dresden)

Acceptance modes for asynchronous cellular automata for pomsets and first order logic

10.20-10.50 Uhr

Kaffeepause

10.50-11.30 Uhr Rudolf Freund (Wien)

Graphgrammatiken als Basis von Programmsystemen und -entwicklungsumgebungen

11.30-12.10 Uhr Frank Drewes (Bremen)

Kontextfreie und kontextsensitive Collagen-Grammatiken