Institut für Angewandte Informatik und Formale Beschreibungsverfahren
Kaiserstr. 89, Kollegiengebäude am Kronenplatz (Building 05.20)
76133 Karlsruhe, Germany