university
search
contact
legal notice
University of Stuttgart
Division
|
Staff
|
Teachings
|
Research
|
Publications
|
Service
|
Institute
|
Computer Science
|
Faculty
Institute of Formal Methods in Computer Science
Workshops
Workshop on Formal Languages, Automata and Petri-Nets
(16.-17. January 1998)
Meeting on Rewriting Systems
(23. June 1997)
32. Workshop on Complexity Theory, Data Structures and Efficient Algorithms
(17. June 1997)
Colloquium on Computability, Complexity and Logic
(5.-6. Dezember 1996)
Pictures
(von H. Petersen)