Sorry, this page is not available in English.
Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Online Donnerstag, 16.00 - 17.30 Uhr
Sommersemester 2022
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
Fachdidaktik 1 Vorlesung (V) Raum -142, Gebäude 50.34 Mittwoch, 17.30 - 19.00 Uhr
Donnerstag, 17.30 - 19.00 Uhr
(Blockseminare)
Fachdidaktik 3 Vorlesung (V) Raum -108, Gebäude 50.34 Dienstag, 13.00 - 15.45 Uhr
Mittwoch, 13.00 - 16.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -102, Gebäude 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äude 05.20 20.04.2022, 15.45 - 17.30 Uhr
Forschungspraktikum zu
Formale Systeme II: Theorie
Praktikum (P) n.V. Siehe Vorlesung
Wintersemester 2021/22
Titel Typ Ort Zeit
Formale Systeme Vorlesung (V) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14.00 - 15.30 Uhr
Freitag, 12.00 - 13.30 Uhr
Fachdidaktik 2 Vorlesung (V) Raum -143, Gebäude 50.34 Mittwoch, 18.00 - 19.30 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Informatik-Bibliothek, Geb. 50.34 21.10.2021, 12.00 - 13.45 Uhr
Anwendung Formaler Methoden Seminar (S) Raum 201, Geb. 50.34 Nach Vereinbarung
Teamprojekt Lehramt Praktikum (P) Raum -143, Gebäude 50.34 20.10.2021, 18.00 - 19.30 Uhr
Sommersemester 2021
Titel Typ Ort Zeit
Formale Systeme II: Anwendung Vorlesung (V) Online Dienstag, 12.00 - 13.30 Uhr
Freitag, 12.00 - 13.30 Uhr
Fachdidaktik 1 Vorlesung (V) Online Mittwoch, 18.00 - 19.30 Uhr
Donnerstag, 18.00 - 19.30 Uhr
(Blockseminare)
Fachdidaktik 3 Vorlesung (V) Online Donnerstag, 14.00 - 17.00 Uhr
Mittwoch, 14.00 - 17.00 Uhr
(Blockseminare)
Praxis der Forschung (PdF) Projektgruppe (Pg) Online 14.04.2021, 12.00 - 13.45 Uhr
Anwendung Formaler Methoden Seminar (S) Online Nach Vereinbarung
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik
Seminar (S) Online 05.05.2021, 10.00 - 11.30 Uhr
Forschungspraktikum zu
Formale Systeme II: Anwendung
Praktikum (P) Online Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Online 28.04.2021, 15.00 - 16.00 Uhr

Frühere Semester / Archiv

Abschlussarbeiten

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