Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Raum 301, Gebäude 50.34 Donnerstag, 15:45 - 17:15 Uhr
Wintersemester 2017/18
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 (PdF) Projektgruppe (Pg) n.V. n.V.
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Gebäude 50.34 02.11.2017, 13:00 - 14.00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 211, Gebäude 50.34 03.11.2017, 11:30 - 13.00 Uhr
Sommersemester 2017
Titel Typ Ort Zeit
Formale Systeme II: Anwendung Vorlesung (V) Raum 236, Gebäude 50.34 Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) n.V. n.V.
Deduktive Software-Verifikation – Das KeY-Buch Proseminar (PS) Raum 236, Gebäude 50.34 02.05.2017, 13.00 - 14.00 Uhr
Deduktive Software-Verifikation –
Von der Theorie zur Anwendung
Seminar (S) Raum 236, Gebäude 50.34 02.05.2017, 13.00 - 14.00 Uhr
Computer Science meets Philosophy –
the Future of AI
Seminar (S) Raum 010, Gebäude 50.34
(Blöcke in Raum 252)
27.04.2017, 12.15 - 13.45 Uhr
(Blöcke montags, 9.45 - 13.00)
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Gebäude 50.34 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 (PdF) Projektgruppe (Pg) n.V. n.V.
Praxis der Softwareentwicklung (PSE) Praktikum (P) Räume 201 u. 211, Gebäude 50.34 Mittwoch, 11:30 - 13:00 Uhr
Sommersemester 2016
Titel Typ Ort Zeit
Formale Systeme II: Theorie Vorlesung (V) Raum 236, Gebäude 50.34 Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) n.V. n.V.
Desaster in der Software-Sicherheit:
Können formale Methoden helfen?
Proseminar (PS) Raum 131, Gebäude 50.34 20.04.2016, 13.00 - 14.00 Uhr

Frühere Semester / Archiv

Abschlussarbeiten

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