Timetable

Title Type Location Serial Start End All Day
Final Report Due Deadline 11.09.23 N/A Yes 
Kickoff meeting Meeting E9.1 (CISPA Building), meeting room 0.01 04.05.23 04.05.23 No 
Lecture: Brief Intro to Formal Methods Meeting E9.1 (CISPA Building), meeting room 3.21 11.05.23 11.05.23 No 
Meeting Meeting E9.1 (CISPA Building), meeting room 3.21 27.07.23 27.07.23 No 
Meeting Meeting E9.1 (CISPA Building), meeting room 3.21 13.07.23 13.07.23 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.