| Title | Type | Semester | Place |
|---|---|---|---|
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 23/24 | |
| Proseminar: Moral Autonomous Agents | Proseminar (PS) | WS 23/24 |
| Title | Type | Semester | Place |
|---|---|---|---|
| Seminar: Applications and Extensions of Timed Systems | Seminar (S) | WS 23/24 | |
| Proseminar: Moral Autonomous Agents | Proseminar (PS) | WS 23/24 |