From Program Verification to Synthesis

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski

Timetable

Date Overview Show Calendar
Event Category
Background
Title
Background - Infinite Games
Location
Room 1.06 in E1 1 and online  
Details
 
Starttime
11.05.2022 10:15
Endtime
11.05.2022 11:45
the whole day
No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.