Saarland University Computer Science


Introduction to Computational Logic Gert Smolka


Export as .ics-file
Items per page:

Type Title Location Serial Start End All Day
Tutorial Tutorial 21.04.20 21.04.20 No 
Office Hour Office Hour 21.04.20 21.04.20 No 
Tutorial Tutorial 22.04.20 22.04.20 No 
Office Hour Office Hour 23.04.20 23.04.20 No 
Tutorial Tutorial 28.04.20 28.04.20 No 
Office Hour Office Hour 28.04.20 28.04.20 No 
Tutorial Tutorial 29.04.20 29.04.20 No 
Office Hour Office Hour 30.04.20 30.04.20 No 
Lecture Lecture Zoom 1 05.05.20 05.05.20 No 
Office Hour Office Hour Slack 05.05.20 05.05.20 No 
Lecture Lecture Zoom 2 06.05.20 06.05.20 No 
Office Hour Office Hour Slack 3 11.05.20 11.05.20 No 
Lecture Lecture Zoom 1 12.05.20 12.05.20 No 
Tutorial Tutorial Zoom 4 12.05.20 12.05.20 No 
Tutorial Tutorial Zoom 5 12.05.20 12.05.20 No 
Lecture Lecture Zoom 2 13.05.20 13.05.20 No 
Office Hour Office Hour Slack 15.05.20 15.05.20 No 
Office Hour Office Hour Slack 3 18.05.20 18.05.20 No 
Lecture Lecture Zoom 1 19.05.20 19.05.20 No 
Tutorial Tutorial Zoom 4 19.05.20 19.05.20 No 
Tutorial Tutorial Zoom 5 19.05.20 19.05.20 No 
Lecture Lecture Zoom 2 20.05.20 20.05.20 No 
Office Hour Coq Session Zoom 6 22.05.20 22.05.20 No 
Office Hour Office Hour Slack 3 25.05.20 25.05.20 No 
Exam Testing Window 7 25.05.20 25.05.20 No 
Lecture Lecture Zoom 1 26.05.20 26.05.20 No 
Tutorial Tutorial Zoom 4 26.05.20 26.05.20 No 
Tutorial Tutorial Zoom 5 26.05.20 26.05.20 No 
Lecture Lecture Zoom 2 27.05.20 27.05.20 No 
Office Hour Coq Session Zoom 6 29.05.20 29.05.20 No 
Exam Testing Window 7 01.06.20 01.06.20 No 
Lecture Lecture Zoom 1 02.06.20 02.06.20 No 
Tutorial Tutorial Zoom 4 02.06.20 02.06.20 No 
Tutorial Tutorial Zoom 5 02.06.20 02.06.20 No 
Lecture Lecture Zoom 2 03.06.20 03.06.20 No 
Office Hour Coq Session Zoom 6 05.06.20 05.06.20 No 
Office Hour Office Hour Slack 3 08.06.20 08.06.20 No 
Exam Testing Window 7 08.06.20 08.06.20 No 
Lecture Lecture Zoom 1 09.06.20 09.06.20 No 
Tutorial Tutorial Zoom 4 09.06.20 09.06.20 No 
Tutorial Tutorial Zoom 5 09.06.20 09.06.20 No 
Lecture Lecture Zoom 2 10.06.20 10.06.20 No 
Office Hour Coq Session Zoom 6 12.06.20 12.06.20 No 
Office Hour Office Hour Slack 3 15.06.20 15.06.20 No 
Exam Testing Window 7 15.06.20 15.06.20 No 
Lecture Lecture Zoom 1 16.06.20 16.06.20 No 
Tutorial Tutorial Zoom 4 16.06.20 16.06.20 No 
Tutorial Tutorial Zoom 5 16.06.20 16.06.20 No 
Lecture Lecture Zoom 2 17.06.20 17.06.20 No 
Office Hour Coq Session Zoom 6 19.06.20 19.06.20 No 
Items per page: