Seminar: Aktuelle Themen aus der Theorie der Programmierung
Seminar im Sommersemester 2025 an der Universität Münster
Veranstalter: Prof. Dr. Markus Müller-Olm, Roman Lakenbrink
Eintrag für diese Veranstaltung im HIS/LSF
Hinweise
Die Vorbesprechung für dieses Seminar findet am Mittwoch, dem 22. Januar 2025, um 16:15 Uhr im LH 7 (Lichthof im 7. Stock), Einsteinstr. 62 statt.
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 Concurrency, Model Checking, Parameterized Systems, Petri-Nets and Similar Models.
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.