Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Abteilung | Mitarbeiter | Lehre | Forschung | Publikationen | Service | Institut | Informatik | Fakultät
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
- STACS 2005
- GI Fachbereich Grundlagen der Informatik (GInf)
- Informatikjahr 22. Algorithmus der Woche: Partnerschaftsvermittlung
- Links Hilbert Bernays Project
 
Letzte Änderung 25.02.2008 ( mailto Pro ) |  © Universität Stuttgart | Impressum