Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Gebäude 50.34, Raum 301 Donnerstag, 15:45 - 17:15 Uhr
Wintersemester 2017/18
Titel Typ Ort Zeit
Formale Systeme Vorlesung (V) t.b.a. t.b.a.
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Praxis der Softwareentwicklung Praktikum (P) t.b.a. t.b.a.
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
Praxis der Forschung Projektgruppe (Pg) n.V. n.V.
Deduktive Software-Verifikation – Das KeY-Buch Proseminar (PS) Gebäude 50.34, Raum 236 02.05.2017, 13.00 - 14.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
Computer Science meets Philosophy –
the Future of AI
Seminar (S) Gebäude 50.34, Raum 010
(Blöcke in Raum 252)
27.04.2017, 12.15 - 13.45 Uhr
(Blöcke montags, 9.45 - 13.00)
Praxis der Softwareentwicklung Praktikum (P) Gebäude 50.34, Raum 211 15.05.2017, 13.00 - 14.00 Uhr
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

Frühere Semester

Abschlussarbeiten

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