Logical Reasoning for Program Verification and Synthesis

Rayna Dimitrova

Timetable

You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.

Upcoming Events

Meeting 07.02.2025 16:15 - 17:45
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.