Automata, Games, and Verification

Bernd Finkbeiner

Timetable

Title Type Location Serial Start End All Day
Office Hour Office Hour E9.1 (CISPA building) in 1.07 2 05.02.25 05.02.25 No 
Reexam Exam E1 3 HS001 25.03.25 25.03.25 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.