CMS
Main Page
Information
Timetable
Team
Registration
Personal Status
Login
Remember me
Login
Registration
Forgot Password?
Enable dark mode
Enable light mode
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), meeting room 0.07
Details
Starttime
22.11.2024 16:15
Endtime
22.11.2024 17:45
the whole day
No
Privacy Policy
|
Legal Notice
If you encounter technical problems, please contact
the administrators
.