Teaching
Sorry, this page is not available in English.
| Title | Type | Place | Time |
|---|---|---|---|
| Research Seminar | Institutsseminar | Raum 301/236 (W/S), Geb. 50.34 | Donnerstag, 15.45 - 17.15 Uhr |
| Title | Type | Place | Time |
|---|---|---|---|
| Sommersemester | Überblick | Siehe Webseite | Siehe Webseite |
| Wintersemester | Überblick | Siehe Webseite | Siehe Webseite |
| Title | Type | Place | Time |
|---|---|---|---|
| Formale Systeme II: Anwendung | Vorlesung (V) | Raum 236, Geb. 50.34 | Dienstag, 11.30 - 13.00 Uhr Freitag, 11.30 - 13.00 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 131, Geb. 50.34 | 23.04.2025, 11.30 - 13.00 Uhr |
| LLMs in Formaler Verifikation | Seminar (S) | t.b.a. | t.b.a. |
| E-Voting | Seminar (S) | Raum 3A-11.1, Geb. 05.20 | 30.04.2025, 12.45 - 13.45 Uhr |
| Fairness und Diskriminierungsfreiheit aus Sicht von Philosophie und Informatik |
Seminar (S) | Raum 236, Geb. 50.34 | 25.04.2025, 13.15 - 14.00 Uhr |
| Forschungspraktikum zu Formale Systeme II: Anwendung |
Praktikum (P) | Nach Vereinbarung | Siehe Vorlesung |
| Title | Type | Place | Time |
|---|---|---|---|
| Formale Systeme | Vorlesung (V) | Raum -101, Geb. 50.34 (do.) Gaede-Hörsaal (Geb. 30.22) (fr.) |
Donnerstag, 14.00 - 15.30 Uhr Freitag, 11.30 - 13.00 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 252, Geb. 50.34 | 23.10.2024, 11.30 - 13.00 Uhr |
| Neuronale Netze in Formaler Verifikation | Seminar (S) | Raum 201, Geb. 50.34 | 23.10.2024, 13.00 - 14.00 Uhr |
| Forschungspraktikum zu Formale Systeme |
Praktikum (P) | Nach Vereinbarung | Siehe Vorlesung |
Previous Semesters / Courses Archive
Theses
An overview of the topics and topic areas in which we offer theses and projects can be found under Theses.