Timetable

Title Type Location Serial Start End All Day
Tutorial Tutorial 9 10.06.21 10.06.21 No 
Tutorial Tutorial 9 17.06.21 17.06.21 No 
Tutorial Tutorial 9 24.06.21 24.06.21 No 
Tutorial Tutorial 9 01.07.21 01.07.21 No 
Tutorial Tutorial 9 08.07.21 08.07.21 No 
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 
Endterm Exam Exam 13.08.21 N/A Yes 
Final Exam Exam 16.09.21 N/A Yes 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.