Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation
Sorry, this page is not available in English.
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.