Logical Reasoning for Program Verification and Synthesis

Rayna Dimitrova

Timetable

Date Overview Show Calendar
Event Category
Deadline
Title
Deadine for submission of draft summary for feedback
Location
 
Details
 
Starttime
14.03.2025 23:59
Endtime
14.03.2025 23:59
the whole day
No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.