Logical Reasoning for Program Verification and Synthesis

Rayna Dimitrova

Timetable

Title Type Location Serial Start End All Day
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 08.11.24 08.11.24 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 07.02.25 07.02.25 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.