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
Show Calendar
Export as .ics-file
Export as .ics-file with prefix
Export a category ...
Deadline
Meetings
Export a category with prefix ...
Deadline
Meetings
Title
Type
Location
Serial
Start
End
All Day
Meeting
Meetings
E9.1 (CISPA Building C0), Lecture Hall 0.05
1
06.12.24
06.12.24
No
Deadline for registration in LSF
Deadline
25.11.24
N/A
Yes
«
1
2
»
(11 - 12 of 12)
Items per page:
All
5
10
25
50
100
Privacy Policy
|
Legal Notice
If you encounter technical problems, please contact
the administrators
.
