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 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 Informatik I Vorlesung (V) Online Mittwoch, 18.00 - 19.30 Uhr
Donnerstag, 18.00 - 19.30 Uhr
(Blockseminare)
Fachdidaktik Informatik III 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) – Interaktiver Theorembeweiser für SMT Praktikum (P) Online 28.04.2021, 15.00 - 16.00 Uhr
Wintersemester 2020/21
Titel Typ Ort Zeit
Formale Systeme Vorlesung (V) Online Donnerstag, 14.00 - 15.30 Uhr
Freitag, 12.00 - 13.30 Uhr
Fachdidaktik 2 Vorlesung (V) Online Mittwoch, 18.00 - 19.30 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Online / Präsenz 03.11.2020, 12.00 - 13.45 Uhr
Anwendung Formaler Methoden Seminar (S) Online Nach Vereinbarung
Forschungspraktikum zu Formale Systeme Praktikum (P) Online Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Online 05.11.2019, 16.00 - 17.30 Uhr
Teamprojekt Lehramt Praktikum (P) Online 04.11.2020, 17.00 - 18.00 Uhr
Sommersemester 2020
Titel Typ Ort Zeit
Formale Systeme II: Theorie Vorlesung (V) Online Dienstag, 11.30 - 13.00 Uhr
Freitag, 11.30 - 13.00 Uhr
Fachdidaktik 1 Vorlesung (V) Online Mittwoch, 17.30 - 19.00 Uhr
Donnerstag, 17.30 - 19.00 Uhr
Fachdidaktik 3 Vorlesung (V) Online Dienstag, 13.00 - 16.00 Uhr
Mittwoch, 13.00 - 16.00 Uhr
(Blockseminare)
Praxis der Forschung (PdF) Projektgruppe (Pg) Online 21.04.2020, 13.15 - 13.45 Uhr
Anwendung Formaler Methoden Seminar (S) Online 27.04.2020, 14.00 - 15.30 Uhr
E-Voting Seminar (S) Online 29.04.2020, 12.30 - 14.00 Uhr
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik
Seminar (S) Online 20.04.2020, 14.00 - 15.30 Uhr
Forschungspraktikum zu Formale Systeme II: Theorie Praktikum (P) Online Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Online 05.05.2020, 13.00 - 14.00 Uhr
Wintersemester 2019/20
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äude 50.34 Mittwoch, 17.30 - 19.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 236, Gebäude 50.34 16.10.2019, 13:15 - 13:45 Uhr
Anwendung Formaler Methoden Seminar (S) Raum 211, Gebäude 50.34 23.10.2019, 14.00 - 15.30 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Gebäude 50.34 04.11.2019, 13.00 - 14.00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 211, Gebäude 50.34 16.10.2019, 13.00 - 14.00 Uhr
Sommersemester 2019
Titel Typ Ort Zeit
Formale Systeme II: Anwendung 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 -143, Gebäude 50.34 Mittwoch, 17.30 - 19.00 Uhr
Fachdidaktik 3 Vorlesung (V) Raum 211, Gebäude 50.34 Mittwoch, 14.00 - 19.00 Uhr
(Blockseminare)
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 131, Gebäude 50.34 24.04.2019, 13.15 - 13.45 Uhr
Formale Methoden und Maschinelles Lernen Proseminar (PS) Raum 236, Gebäude 50.34 25.04.2019, 13.00 - 14.00 Uhr
Anwendung Formaler Methoden Seminar (S) Raum 236, Gebäude 50.34 23.04.2019, 13.00 - 14.00 Uhr
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik
Seminar (S) Raum 110, Gebäude 30.91 24.04.2019, 11.30 - 13.00 Uhr
Praxis der Softwareentwicklung (PSE) – DAQ Praktikum (P) Raum 211, Gebäude 50.34 Dienstag, 08.20 - 09.40 Uhr
Praxis der Softwareentwicklung (PSE) – SQL Praktikum (P) Raum 201, Gebäude 50.34 Freitag, 08.20 - 09.40 Uhr

Frühere Semester / Archiv

Abschlussarbeiten

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