Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Report Feedback Deadline | Optional Deadline | 03.08.25 | 03.08.25 | No | |||
| Seminar Session | Meeting | Room 0.07 CISPA building C0 (E9.1) | 1 | 16.06.25 | 16.06.25 | No |
Verification of Distributed Systems
Swen Jacobs