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 685-88300
Fax +49 711 685-88310
E-Mail claus@informatik.uni-stuttgart.de
Room 1.132
Phone+49 711 685-88328
Fax +49 711 685-88310
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