Studium und Lehre

Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Raum 236, Geb. 50.34 + Virtuell Donnerstag, 15.45 - 17.15 Uhr
Gruppenübergreifende Veranstaltungen zu Formalen Methoden
Titel Typ Ort Zeit
Meet 'n' Prove Veranstaltung Raum 236, Geb. 50.34 18.04.2024, ab 15.45 Uhr
Sommersemester Überblick Siehe Webseite Siehe Webseite
Wintersemester Überblick Siehe Webseite Siehe Webseite
Sommersemester 2024
Titel Typ Ort Zeit
Formale Systeme II: Theorie 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) t.b.a. t.b.a.
Formal System Engineering Proseminar (PS) t.b.a. t.b.a.
Anwendung Formaler Verifikation Seminar (S) Nach Vereinbarung Nach Vereinbarung
E-Voting Seminar (S) Raum 3A-11.1, Geb. 05.20 26.04.2024, 14.00 - 15.30 Uhr
Forschungspraktikum zu
Formale Systeme II: Theorie
Praktikum (P) Nach Vereinbarung Siehe Vorlesung
Wintersemester 2023/24
Titel Typ Ort Zeit
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
Fachdidaktik 2 Vorlesung (V) Raum 1, Geb. 50.28 Mittwoch, 17.30 - 19.00 Uhr
Einführung ins Quantencomputing (IQC) Vorlesung (V) Raum -102, Geb. 50.34 Montag, 17.30 - 19.00 Uhr
Grundbegriffe der Informatik Vorlesung / Übung (VÜ) Audimax-Hörsaal (Geb. 30.95)
Raum -101, Geb. 50.34
Raum -102, Geb. 50.34 (mi.)
Mittwoch, 09.45 - 11.15 Uhr
Freitag, 09.45 - 11.15 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 010, Geb. 50.34 25.10.2023, 11.30 - 13.15 Uhr
Formal System Engineering Proseminar (PS) Raum 236, Geb. 50.34 27.10.2023, 13:00 - 14:00 Uhr
Didaktik der Informatik Proseminar (PS) Raum 348, Geb. 50.34 25.10.2023, 13.00 - 14.00 Uhr
Anwendung Formaler Verifikation Seminar (S) Nach Vereinbarung Nach Vereinbarung
Forschungspraktikum zu
Formale Systeme
Praktikum (P) Nach Vereinbarung Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 1.1.24, FZI 08.11.2023, 14.00 - 15.00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 1, Geb. 50.28 25.10.2023, 17.30 - 19.00 Uhr
Sommersemester 2023
Titel Typ Ort Zeit
Formale Systeme II: Anwendung Vorlesung (V) Raum 236, Geb. 50.34 Dienstag, 11.30 - 13.00 Uhr
Freitag, 11.30 - 13.00 Uhr
Fachdidaktik 1 Vorlesung (V) Raum -142, Geb. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Donnerstag, 17.30 - 19.00 Uhr
(Blockseminare)
Fachdidaktik 3 Vorlesung (V) Raum 211, Geb. 50.34 Donnerstag, 14:30 - 18:00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 301, Geb. 50.34 20.04.2023, 14.00 - 15.30 Uhr
Differentiable Programming Proseminar (PS) Raum 301, Geb. 50.34 18.04.2023, 15.45 - 17.15 Uhr
Anwendung Formaler Verifikation Seminar (S) Nach Vereinbarung Nach Vereinbarung
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik
Seminar (S) Raum 010, Geb. 50.34 27.04.2023, 11.30 - 13.00 Uhr
Forschungspraktikum zu
Formale Systeme II: Anwendung
Praktikum (P) Nach Vereinbarung Siehe Vorlesung

Frühere Semester / Archiv

Abschlussarbeiten

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