Logical Reasoning for Program Verification and Synthesis

Rayna Dimitrova

Timetable

Date Overview Show Calendar
Event Category
Meetings
Title
Meeting
Location
E9.1 (CISPA Building C0), Lecture Hall 0.05  
Details
 
Starttime
06.12.2024 16:15
Endtime
06.12.2024 17:45
the whole day
No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.