Das Institut besteht aus zwei Abteilungen:

Das Institut für Formale Methoden der Informatik (FMI) gehört dem Institutsverbund Informatik (IvI) (nur intern) an und wurde am 27.11.2002 aus dem bis dahin bestehenden Institut für Informatik (IFI) ausgegliedert.

Es beteiligt sich an der Lehre in allen Studiengängen des Fachbereichs Informatik.

In der Forschung sind seine Abteilungen in Bereichen der theoretischen Informatik und der Algorithmik aktiv.

Inhalte vor WS 2011/12 sowie zu den ehemaligen Abteilungen FK, SZS und BS finden sich auf der alten Webseite.

Institutsleiter

Volker Diekert 

Sekretariat

Petra van Schayck 

Universitätsstraße 38
70569 Stuttgart
Deutschland
Tel. ++49 (0)711/685-88328
Fax ++49 (0)711/685-88310