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 27.04.2023, ab 15.45 Uhr
Sommersemester Überblick Siehe Webseite Siehe Webseite
Wintersemester Überblick Siehe Webseite Siehe Webseite
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
Anwendung Formaler Verifikation Seminar (S) n.V. n.V.
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) n.V. 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 Methoden Seminar (S) Raum 236, Geb. 50.34 Nach Vereinbarung
Forschungspraktikum zu
Formale Systeme
Praktikum (P) n.V. 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) n.V. n.V.
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) n.V. Siehe Vorlesung

Frühere Semester / Archiv

Abschlussarbeiten

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