CMS
Main Page
Information
Timetable
Zoom Meeting
Team
Registration
Personal Status
Login
Remember me
Login
Registration
Forgot Password?
Enable dark mode
Enable light mode
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski
Timetable
Date Overview
Show Calendar
Event Category
Practice Talk
Title
Practcice Talks 3 + 4
Location
Room 1.06 in E1 1 and online
Details
Starttime
08.06.2022 10:15
Endtime
08.06.2022 11:45
the whole day
No
Privacy Policy
|
Legal Notice
If you encounter technical problems, please contact
the administrators
.