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

University of 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 7816-329
Fax +49 711 7816-310
E-Mail
Room 1.125
  
Phone+49 711 7816-328
Fax +49 711 7816-310
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
- STACS 2005
- GI Fachbereich Grundlagen der Informatik (GInf)
- Informatikjahr 22. Algorithmus der Woche: Partnerschaftsvermittlung
- Links Hilbert Bernays Project
 
last change 02/25/2008 ( mailto Pro ) |  © University of Stuttgart | legal notice