Seminar: Aktuelle Themen aus dem Gebiet der Verifikation

Seminar im Wintersemester 2026/27 an der Universität Münster

Veranstalter: Prof. Dr. Markus Müller-Olm, Jens Gutsfeld, Roman Lakenbrink

Eintrag für diese Veranstaltung im HIS/LSF

Hinweise

Die Vorbesprechung für dieses Seminar findet am Montag, dem 13. Juli 2026, um 14:15 Uhr im SR1C, Einsteinstr. 62 statt.
Im Seminar sind noch Plätze frei. Bei Interesse melden Sie sich bitte bei Roman Lakenbrink (roman.lakenbrink@uni-muenster.de).

Thema und Zielgruppe

Anhand von Originalartikeln werden aktuelle Themen zur Verifikation von Soft- und Hardwaresystemen von den Teilnehmern erarbeitet und vorgestellt. Mögliche Themen kommen aus den Gebieten Rekursive Systeme, Hyperproperties und Zyklische Beweissysteme.

Das Seminar richtet sich an Masterstudierende im Fach Informatik oder im Fach Mathematik mit Nebenfach Informatik. In den M.Sc. Studiengängen kann es für das Modul „Informatikseminar“ angerechnet werden, im M.Sc. Informatik auch für das Modul "Seminar Formale Methoden". Im M.Ed. kann es für eines der Seminarmodule im Fach Informatik gewählt werden.

Ort und Zeit

Die Vorträge finden im Semester montags 14:15-15:45 Uhr statt.

Der Ort und die genauen Termine der einzelnen Vorträge werden zu gegebener Zeit bekannt gegeben.