Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Theoretische Informatik

englishicon
 

Abteilung Theoretische Informatik

Universität Stuttgart
Institut für Formale Methoden der Informatik (FMI)
Universitätsstraße 38
D-70569 Stuttgart

Leiter

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

Sekretariat

Heike Photien
Telefon+49 711 7816-329
Fax +49 711 7816-310
E-Mail
Raum 1.125
 
Telefon+49 711 7816-328
Fax +49 711 7816-310
E-Mail
Raum 1.117

- Allgemeines Anschrift & Wegbeschreibung
Mitarbeiter
Nützliche Links
Service
Intern
- Lehre Aktuelle Lehrveranstaltungen
Veranschaulichung von Konzepten der TI
Skripte / Übungsblätter / alte Prüfungen (nur innerhalb der Fakultät zugreifbar)
Eine Auswahl von Standardlehrbüchern der Theoretischen Informatik (Postscript)
- Forschung Forschungskontakte
Publikationen
Workshops