Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Teaching

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
Wintersemester 2025/26
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
Forschungspraktikum zu
Formale Systeme		 Praktikum (P) Nach Vereinbarung Siehe Vorlesung
Theorem Prover Lab Praktikum (P)
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
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
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.