Timetable

Title Type Location Serial Start End All Day
Office Hour Office Hour 5 20.04.21 20.04.21 No 
Office Hour Office Hour Zoom 4 19.04.21 19.04.21 No 
Lecture Lecture Zoom 2 16.04.21 16.04.21 No 
Coq WarmUp Tutorial 15.04.21 15.04.21 No 
Lecture Lecture Zoom 1 14.04.21 14.04.21 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.