Bild mit Unilogo
homeicon university sucheicon search kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Research Contacts

- Division of Theoretical Computer Science / Formal Languages of the University of Tübingen
- Eötvös Loránd University, Hungary
- Institute for Algebra, University of Dresden
- LIAFA Paris
- ENS Cachan, France
- LaBRI Bordeaux, France
- Laboratory of Mathematical Logic, Steklov Institut, St. Petersburg, Rußland
- Project PROCOPE: Pproject based exchange of people with France