uni
suche
kontakt
impressum
Universität Stuttgart
Abteilung
|
Mitarbeiter
|
Lehre
|
Forschung
|
Publikationen
|
Service
|
Institut
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
Workshops
Workshop on Formal Languages, Automata and Petri-Nets
(16.-17. Januar 1998)
Arbeitstreffen über Ersetzungssysteme
(23. Juni 1997)
32. Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen
(17. Juni 1997)
Colloquium on Computability, Complexity and Logic
(5.-6. Dezember 1996)
Bilder
(von H. Petersen)
Pro
) |
© Universität Stuttgart |
Impressum