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 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 31.01.25 31.01.25 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 17.01.25 17.01.25 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 10.01.25 10.01.25 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 20.12.24 20.12.24 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 13.12.24 13.12.24 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 29.11.24 29.11.24 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 22.11.24 22.11.24 No 
Meeting Meetings E9.1 (CISPA Building C0), meeting room 0.07 1 15.11.24 15.11.24 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.