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	Dienstag, 13.00 - 15.45 Uhr Mittwoch, 13.00 - 16.00 Uhr (Blockseminare)
Praxis der Forschung (PdF)	Projektgruppe (Pg)	Online	14.04.2021, 12.00 - 13.45 Uhr
Anwendung Formaler Methoden	Seminar (S)	Online	t.b.a.
Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik	Seminar (S)	Online	12.04.2021, 14.00 - 15.30 Uhr
Forschungspraktikum zu Formale Systeme II: Anwendung	Praktikum (P)	Online	Siehe Vorlesung

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.