Semesterübergreifend

Titel	Typ	Ort	Zeit
Research Seminar	Institutsseminar	Raum 301, Gebäude 50.34	Donnerstag, 15:45 - 17:15 Uhr

Wintersemester 2020/21

Titel	Typ	Ort	Zeit
Formale Systeme	Vorlesung (V)
Fachdidaktik 2	Vorlesung (V)
Praxis der Forschung (PdF)	Projektgruppe (Pg)
Anwendung Formaler Methoden	Seminar (S)
Praxis der Softwareentwicklung (PSE)	Praktikum (P)
Teamprojekt Lehramt	Praktikum (P)

Sommersemester 2020

Titel	Typ	Ort	Zeit
Formale Systeme II: Theorie	Vorlesung (V)	Online (s. Webseite)	Dienstag, 11:30 - 13:00 Uhr Freitag, 11:30 - 13:00 Uhr
Fachdidaktik 1	Vorlesung (V)	Online (s. Webseite)	Mittwoch, 17:30 - 19:00 Uhr Donnerstag, 17:30 - 19:00 Uhr
Fachdidaktik 3	Vorlesung (V)	Online (s. Webseite)	Dienstag, 13:00 - 16:00 Uhr Mittwoch, 13:00 - 16:00 Uhr (Blockseminare)
Praxis der Forschung (PdF)	Projektgruppe (Pg)	Online (s. Webseite)	21.04.2020, 13:15 - 13:45 Uhr
Anwendung Formaler Methoden	Seminar (S)	Online (s. Webseite)	27.04.2020, 14:00 - 15:30 Uhr
E-Voting	Seminar (S)	Online (s. Webseite)	29.04.2020, 12:30 - 14:00 Uhr
Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik	Seminar (S)	Online (s. Webseite)	20.04.2020, 14:00 - 15:30 Uhr
Praxis der Softwareentwicklung (PSE)	Praktikum (P)	Online (s. Webseite)	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

Wintersemester 2018/19

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
Praxis der Forschung (PdF)	Projektgruppe (Pg)	Raum 236, Gebäude 50.34	16.10.2018, 13:15 - 13:45 Uhr
Anwendung Formaler Verifikation	Seminar (S)	Raum 211, Gebäude 50.34	18.10.2018, 13:00 - 14:00 Uhr
Teamprojekt Lehramt	Praktikum (P)	Raum 236, Gebäude 50.34	Mittwoch, 15:45 - 17:15 Uhr

Frühere Semester / Archiv

Abschlussarbeiten

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