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
Lectures Lecture E 1 3, Lecture Hall 002 5 19.04.16 19.04.16 No 
Office Hours Office Hour E1 3, Room 525 6 19.04.16 19.04.16 No 
Tutorials Repetition Tutorial for Functional Programming U36, E 2 5 20.04.16 20.04.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 21.04.16 21.04.16 No 
Office Hours Office Hour E1 3, Room 525 6 21.04.16 21.04.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 26.04.16 26.04.16 No 
Office Hours Office Hour E1 3, Room 525 6 26.04.16 26.04.16 No 
Tutorials Tutorial 1 U36, E2 5. 7 27.04.16 27.04.16 No 
Tutorials Tutorial 2 U12, E1 1. 8 27.04.16 27.04.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 28.04.16 28.04.16 No 
Office Hours Office Hour E1 3, Room 525 6 28.04.16 28.04.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 03.05.16 03.05.16 No 
Office Hours Office Hour E1 3, Room 525 6 03.05.16 03.05.16 No 
Tutorials Tutorial 1 U36, E2 5. 7 04.05.16 04.05.16 No 
Tutorials Tutorial 2 U12, E1 1. 8 04.05.16 04.05.16 No 
Office Hours Office Hour E1 3, Room 525 6 05.05.16 05.05.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 10.05.16 10.05.16 No 
Office Hours Office Hour E1 3, Room 525 6 10.05.16 10.05.16 No 
Tutorials Tutorial 1 U36, E2 5. 7 11.05.16 11.05.16 No 
Tutorials Tutorial 2 U12, E1 1. 8 11.05.16 11.05.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 12.05.16 12.05.16 No 
Office Hours Office Hour E1 3, Room 525 6 12.05.16 12.05.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 17.05.16 17.05.16 No 
Office Hours Office Hour E1 3, Room 525 6 17.05.16 17.05.16 No 
Tutorials Tutorial 1 U36, E2 5. 7 18.05.16 18.05.16 No 
Tutorials Tutorial 2 U12, E1 1. 8 18.05.16 18.05.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 19.05.16 19.05.16 No 
Office Hours Office Hour E1 3, Room 528 9 23.05.16 23.05.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 24.05.16 24.05.16 No 
Office Hours Office Hour E1 3, Room 525 6 24.05.16 24.05.16 No 
Tutorials Tutorial 1 U36, E2 5. 7 25.05.16 25.05.16 No 
Tutorials Tutorial 2 U12, E1 1. 8 25.05.16 25.05.16 No 
Office Hours Office Hour E1 3, Room 528 9 30.05.16 30.05.16 No 
Exams Midterm E 1 3, Lecture Hall 002 31.05.16 31.05.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 02.06.16 02.06.16 No 
Office Hours Office Hour E1 3, Room 528 9 06.06.16 06.06.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 07.06.16 07.06.16 No 
Office Hours Office Hour E1 3, Room 525 6 07.06.16 07.06.16 No 
Tutorials Tutorial 1 U36, E2 5. 7 08.06.16 08.06.16 No 
Tutorials Tutorial 2 U12, E1 1. 8 08.06.16 08.06.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 09.06.16 09.06.16 No 
Office Hours Office Hour E1 3, Room 528 9 13.06.16 13.06.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 14.06.16 14.06.16 No 
Office Hours Office Hour E1 3, Room 525 6 14.06.16 14.06.16 No 
Tutorials Tutorial 1 U36, E2 5. 7 15.06.16 15.06.16 No 
Tutorials Tutorial 2 U12, E1 1. 8 15.06.16 15.06.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 16.06.16 16.06.16 No 
Office Hours Office Hour E1 3, Room 528 9 20.06.16 20.06.16 No 
Lectures Lecture E 1 3, Lecture Hall 002 5 21.06.16 21.06.16 No 
Office Hours Office Hour E1 3, Room 525 6 21.06.16 21.06.16 No 
Items per page: