Teaching

Sorry, this page is not available in English.
Semesterübergreifend
Title Type Place Time
Research Seminar Institutsseminar Raum 301/236 (W/S), Geb. 50.34 Donnerstag, 15.45 - 17.15 Uhr
Gruppenübergreifende Veranstaltungen zu Formalen Methoden
Title Type Place Time
Sommersemester Überblick Siehe Webseite Siehe Webseite
Wintersemester Überblick Siehe Webseite Siehe Webseite
Sommersemester 2025
Title Type Place Time
Formale Systeme II: Anwendung Vorlesung (V) Raum 236, Geb. 50.34 Dienstag, 11.30 - 13.00 Uhr
Freitag, 11.30 - 13.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 131, Geb. 50.34 23.04.2025, 11.30 - 13.00 Uhr
Neuronale Netze in Formaler Verifikation Seminar (S) t.b.a. t.b.a.
E-Voting Seminar (S) t.b.a. t.b.a.
Fairness und Diskriminierungsfreiheit aus
Sicht von Philosophie und Informatik
Seminar (S) Raum 236, Geb. 50.34 25.04.2025, 13.15 - 14.00 Uhr
Forschungspraktikum zu
Formale Systeme II: Anwendung
Praktikum (P) Nach Vereinbarung Siehe Vorlesung
Wintersemester 2024/25
Title Type Place Time
Formale Systeme Vorlesung (V) Raum -101, Geb. 50.34 (do.)
Gaede-Hörsaal (Geb. 30.22) (fr.)
Donnerstag, 14.00 - 15.30 Uhr
Freitag, 11.30 - 13.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 252, Geb. 50.34 23.10.2024, 11.30 - 13.00 Uhr
Neuronale Netze in Formaler Verifikation Seminar (S) Raum 201, Geb. 50.34 23.10.2024, 13.00 - 14.00 Uhr
Forschungspraktikum zu
Formale Systeme
Praktikum (P) Nach Vereinbarung Siehe Vorlesung

Previous Semesters / Courses Archive

Theses

An overview of the topics and topic areas in which we offer theses and projects can be found under Theses.