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.