uni
suche
kontakt
impressum
Universität Stuttgart
Abteilung
|
Mitarbeiter
|
Lehre
|
Forschung
|
Publikationen
|
Service
|
Institut
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
Abteilung Theoretische Informatik
Abteilung Theoretische Informatik
Universität Stuttgart
Institut für Formale Methoden der Informatik (FMI)
Universitätsstraße 38
D-70569 Stuttgart
Diese Webseite ist veraltet!
Den neuen Webauftritt der Abteilung TI finden Sie
hier
.
Leiter
Prof. Dr. rer. nat. habil. Volker Diekert
Sekretariat
Heike Photien
Telefon
+49 711 685-88329
Fax
+49 711 685-88310
E-Mail
Raum
1.125
Telefon
+49 711 685-88328
Fax
+49 711 685-88310
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