Sorry, this page is not available in English.
Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Online Donnerstag, 15.45 - 17.15 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
Anwendung Formaler Verifikation Seminar (S) n.V. n.V.
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik
Seminar (S) t.b.a. t.b.a.
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
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. 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. 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.