Arbeitsgruppe Zuverlässige Systeme

Antrittsvorlesung

05.06.2012

Am Montag, den 11.06.2012 um 17:15 Uhr, hält Herr Prof. Dr. Dirk Nowotka, Institut für Informatik, seine Antrittsvorlesung mit dem Titel: Formale Methoden für zuverlässigere Systeme. Veranstaltungsort ist der Vortragsraum der Technischen Fakultät („Aquarium“) im Gebäude D, Kaiserstraße 2, Kiel. Interessenten sind herzlich willkommen.