Title | Type | Semester | Place |
---|---|---|---|
Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 23/24 | |
Timed Systems | Vorlesung (V) | SS 2023 |
Title | Type | Semester | Place |
---|---|---|---|
Proseminar Self-Explanatory Software Systems: AI meets Theoretical Computer Science | Proseminar (PS) | SS 2023 | |
Proseminar: Moral Autonomous Agents | Proseminar (PS) | WS 23/24 |