Automata, Games, and Verification

Bernd Finkbeiner

Timetable

Title Type Location Serial Start End All Day
Reexam Exam E1 3 HS001 25.03.25 25.03.25 No 
Main Exam Exam E1 3 HS001 18.02.25 18.02.25 No 
Lecture Lecture E1.3 HS003 1 29.10.24 29.10.24 No 
Lecture Lecture E1.3 HS003 1 12.11.24 12.11.24 No 
Lecture Lecture E1.3 HS003 1 05.11.24 05.11.24 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.