Sorry, this page is not available in English.
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
Forschungspraktikum zu
Formale Systeme II: Theorie
Praktikum (P) Nach Vereinbarung Siehe Vorlesung
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) t.b.a. t.b.a.
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik
Seminar (S) t.b.a. t.b.a.
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
Wintersemester 2022/23
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
Fachdidaktik 2 Vorlesung (V) Raum -143, Geb. 50.34 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 301, Geb. 50.34 26.10.2022, 11.30 - 13.15 Uhr
Anwendung Formaler Verifikation Seminar (S) Raum 236, Geb. 50.34 Nach Vereinbarung
Forschungspraktikum zu
Formale Systeme
Praktikum (P) Nach Vereinbarung Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 50.34 07.11.2022, 14.00 - 15.00 Uhr
07.11.2022, 15.00 - 16.00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 131, Geb. 50.34 26.10.2022, 17.30 - 19.00 Uhr
Sommersemester 2022
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
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 -108, Geb. 50.34 Dienstag, 13.00 - 15.45 Uhr
Mittwoch, 13.00 - 16.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -102, Geb. 50.34 20.04.2022, 11.30 - 13.15 Uhr
Anwendung Formaler Verifikation Seminar (S) Nach Vereinbarung Nach Vereinbarung
E-Voting Seminar (S) Raum 3A-11.1, Geb. 05.20 20.04.2022, 15.45 - 17.30 Uhr
Forschungspraktikum zu
Formale Systeme II: Theorie
Praktikum (P) Nach Vereinbarung Siehe Vorlesung

Frühere Semester / Archiv

Abschlussarbeiten

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