Logical Reasoning for Program Verification and Synthesis

Rayna Dimitrova

Timetable

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