Bild mit Unilogo
homeicon university sucheicon search kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Division | Staff | Teachings | Research | Publications | Service | Institute | Computer Science | Faculty
Institute of Formal Methods in Computer Science

Division of Theoretical Computer Science

 englishicon
 

Division of Theoretical Computer Science

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

Head

Prof. Dr. rer. nat. habil. Volker Diekert		  

Office

Heike Photien
Phone+49 711 685-88329
Fax +49 711 685-88310
E-Mail
Room 1.125
  
Phone+49 711 685-88328
Fax +49 711 685-88310
E-Mail
Room 1.117

- General Information How to find us
Staff
Useful Links
Service
Internal
- Teaching Courses
Theoretical Computer Science Visualized
In german only:
Skripte / Übungsblätter / alte Prüfungen (nur innerhalb der Fakultät zugreifbar)
Eine Auswahl von Standardlehrbüchern der Theoretischen Informatik (Postscript)
- Research Research Contacts
Publications
Workshops
 
last change 04/20/2012 ( mailto Pro ) |  © University of Stuttgart | legal notice