Sorry, this page is not available in English
Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Gebäude 50.34, Raum 301 Donnerstag, 15:45 - 17:15 Uhr
Sommersemester 2017
Titel Typ Ort Zeit
Formale Systeme II: Anwendung Vorlesung (V) Gebäude 50.34, Raum 236 Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Deduktive Software-Verifikation –
Von der Theorie zur Anwendung
Seminar (S) Gebäude 50.34, Raum 236 02.05.2017, 13.00 - 14.00 Uhr
Deduktive Software-Verifikation – Das KeY-Buch Proseminar (PS) Gebäude 50.34, Raum 236 02.05.2017, 13.00 - 14.00 Uhr
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Wintersemester 2016/17
Titel Typ Ort Zeit
Formale Systeme Vorlesung (V) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14:00 - 15:30 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Praxis der Softwareentwicklung Praktikum (P) Gebäude 50.34, Räume 201 u. 211 Mittwoch, 11:30 - 13:00 Uhr
Sommersemester 2016
Titel Typ Ort Zeit
Formale Systeme II: Theorie Vorlesung (V) Gebäude 50.34, Raum 236 Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Desaster in der Software-Sicherheit:
Können formale Methoden helfen?
Proseminar (PS) Gebäude 50.34, Raum 131 20.04.2016, 13.00 - 14.00 Uhr
Wintersemester 2015/16
Titel Typ Ort Zeit
Formale Systeme Vorlesung (V) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14:00 - 15:30 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Desaster in der Software-Sicherheit Proseminar (PS) Gebäude 50.34, Raum 236 21.10.2015, 13.00 - 14.00 Uhr
Sommersemester 2015
Titel Typ Ort Zeit
Anwendung Formaler Verifikation Vorlesung (V) Gebäude 50.34, Raum 236 Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Desaster in der Software-Sicherheit Proseminar (PS) Gebäude 50.34, Raum 131 15.04.2015, 13.00 - 14.00 Uhr
Wintersemester 2014/15
Titel Typ Ort Zeit
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Formale Systeme Vorlesung (V) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14:00 - 15:30 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Softwareentwicklung Praktikum (P) Gebäude 50.34, Raum 211 n.V.
Desaster in der Software-Sicherheit Proseminar (PS) Gebäude 50.34, Raum 236 22.10.14, 13:00 - 14:00 Uhr

Frühere Semester

Abschlussarbeiten

Eine Übersicht der Themen in denen wir Abschlussarbeiten anbieten findet sich unter Abschlussarbeiten.