Timetable

Title Type Location Serial Start End All Day
Tutorial Tutorial 9 15.07.21 15.07.21 No 
Tutorial Tutorial 9 22.07.21 22.07.21 No 
Coq WarmUp Tutorial 15.04.21 15.04.21 No 
Office Hour Office Hour 5 20.07.21 20.07.21 No 
Endterm Exam Exam 12.08.21 N/A Yes 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.