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) 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) Gebäude 50.34, Raum 211 02.11.2017, 13:00 - 14.00 Uhr
Teamprojekt Lehramt Praktikum (P) Gebäude 50.34, Raum 211 03.11.2017, 11:30 - 13.00 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
Praxis der Forschung (PdF) 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 (PSE) 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 (PdF) Projektgruppe (Pg) n.V. n.V.
Praxis der Softwareentwicklung (PSE) 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 (PdF) 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 / Archiv

Abschlussarbeiten

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