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

Division of Formal Concepts

englishicon
 

Division of Formal Concepts

University of Stuttgart
Institute of Formal Methods in Computer Science (FMI)
Universitätsstraße 38
D-70569 Stuttgart

Head

Prof. Dr. rer. nat. Volker Claus

Secretariat

Heike Photien
Phone+49 711 7816-300
Fax +49 711 7816-310
E-Mail claus@informatik.uni-stuttgart.de
Room 1.111
Phone+49 711 7816-328
Fax +49 711 7816-310
E-Mail photien@informatik.uni-stuttgart.de
Room 1.117

- General
Information
How to find us
Staff
Service
Internal
- Teachings Courses
Theses
Master's Theses
- Research Areas of research and research projects
Publications
- Informatik und Ausbildung, 1998
- STACS 2005
- Symposium Fachdidaktik, 2005
- Informatikjahr 22. Algorithmus der Woche: Partnerschaftsvermittlung