Teilnehmerliste für den 5. Theorietag

Folgende Personen haben am 5. Theorietag der GI Fachgruppe 0.1.5 auf Schloß Rauischholzhausen bei Gießen teilgenommen.

Oliver Boldt

Fakultät für Informatik - IRB

Otto-von-Guericke-Universität Magdeburg

Henning Bordihn

Fakultät für Informatik

Otto-von-Guericke-Universität Magdeburg

Thema: Akzeptierende programmierte Grammatiken ohne Nichtterminale

Thomas Buchholz

Justus-Liebig-Universität Gießen

AG Informatik

Thema: Konstruierbarkeit von Funktionen in zellularen Automaten

Gerhard Buntrock

Institut für Informatik

Universität Würzburg

Thema: Einige Bemerkungen zum Pumpen

David Damanik

FB Mathematik

Johann-Wolfgang-Goethe-Universität Frankfurt

Thema: Endliche Automaten mit eingeschränkter 2-Wege-Bewegung

Kai Differt

Offenbach

Manfred Droste

Institut für Algebra

Technische Universität Dresden

Thema: Erkennbare, aperiodische und logisch definierbare Sprachen in Nebenläufigkeitsmonoiden

Henning Fernau

Eberhard-Karls-Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Thema: Programmierte Grammatiken mit unbedingtem Übergang und verwandte Mechanismen

Rudolf Freund

Technische Universität Wien

Thema: Contextual Array Grammars

H. Peter Gumm

Philipps Universität Marburg

FB Mathematik

Norbert Gutleben

Theoretische Informatik

BTU Cottbus

Thema: Minimierung von Muller-Automaten

Markus Holzer

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Thema: On the Complexities of Deterministic Indexed Grammars

Martin Hühne

Fachbereich Informatik, Lehrstuhl II

Universität Dortmund

Thema: Effiziente Speicherstrukturen für Turingmaschinen mit einem Kopf

Klaus P. Jantke

Hochschule für Technik, Wirtschaft und Kultur Leipzig

Fachbereich IMN

Thema: Introducing a Two-Level Grammar Concept for Design

Matthias Jantzen

Universität Hamburg

Fachbereich Informatik, AB TGI

Daniel Kirsten

Bad Dürrenberg

Thema: Properties of formal Languages of Therapy Plans created by Graph Grammars

Henner Kröger

Justus-Liebig-Universität Gießen

AG Informatik

Armin Kühnemann

TU Dresden

Institut für Softwaretechnik I

Fakultät Informatik

Thema: A Pumping Lemma for Output Languages of Attributed Tree Transducers

Martin Kutrib

Justus-Liebig-Universität Gießen

AG Informatik

Thema: On language families of interacting automata

Klaus-Jörn Lange

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Thema: Automaten mit der Datenstruktur Menge

Friedrich Otto

Fachbereich Mathematik/Informatik

Universität-GH Kassel

Bernd Reichel

Fakultät für Informatik

Otto-von-Guericke-Universität Magdeburg

Klaus Reinhardt

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Rüdiger Reischuk (eingeladener Vortrag)

Universität Lübeck

Institut für Theoretische Informatik

Thema: Turing-Maschinen mit sublogarithmischen Platzschranken

Jörg Richstein

Justus-Liebig-Universität Gießen

AG Informatik

Arnd Rußmann

FB Informatik

Johann-Wolfgang-Goethe-Universität Frankfurt

Andreas Schrader

Universität-Gesamthochschule Siegen

FB 12 - Elektrotechnik und Informatik

Thema: Bildkompression mit endlichen Automaten

Helmut Seidl

Universität Trier

FB IV - Abteilung Informatik

Thema: A Modal Mu-Calculus for Durational Transition Systems

Ludwig Staiger

Martin-Luther-Universität Halle-Wittenberg

Institut für Informatik

Thema: Uniformly optimal prediction of infinite words

Ralf Stiebe

Fakultät für Informatik - IRB

Otto-von-Guericke-Universität Magdeburg

Wolfgang Thomas

Universität Kiel

Institut für Informatik und Praktische Mathematik

Klaus Wich

Maintal-Bischhofsheim

Renate Winter

Martin-Luther-Universität Halle

Institut für Informatik

Thomas Worsch

Universität Karlsruhe

Lehrstuhl Informatik für Ingenieure und Naturwissenschaftler

Thema: Automaten mit ein bißchen Parallelität

<webmaster@www.informatik.uni-giessen.de>

Tue Feb 24 11:50 MET 1998