Studium und Lehre

Semesterübergreifend

Titel	Typ	Ort	Zeit
Research Seminar	Institutsseminar	Raum 301/236 (W/S), Geb. 50.34	Donnerstag, 15.45 - 17.15 Uhr

Gruppenübergreifende Veranstaltungen zu Formalen Methoden

Titel	Typ	Ort	Zeit
Sommersemester	Überblick	Siehe Webseite	Siehe Webseite
Wintersemester	Überblick	Siehe Webseite	Siehe Webseite

Sommersemester 2025

Titel	Typ	Ort	Zeit
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
LLMs in Formaler Verifikation	Seminar (S)	Raum 010, Geb. 50.34	30.04.2025, 09.00 - 10.00 Uhr
E-Voting	Seminar (S)	Raum 3A-11.1, Geb. 05.20	30.04.2025, 12.45 - 13.45 Uhr
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

Titel	Typ	Ort	Zeit
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

Frühere Semester / Archiv

Abschlussarbeiten

Eine Übersicht der Themen bzw. Themengebiete, in denen wir Abschlussarbeiten und Projekte anbieten, findet sich unter Abschlussarbeiten.