Automated Reasoning II (2+2), 6LP - Summer 2017
When: Tuesday, April 4, 2017 - 14:00 s.t.
Where: Building E1 5, Room 630
When & Where
Lecture: Tuesdays, 14:15 - 15:45
Tutorial: Tuesdays, 16:00 - 17:00
Room 630 (Building E1 5)
First Lecture: April 18, 2017 - 14:15h
On June 20, 2017 the lecture will take place in HS001 (Building E1 3)
Automated Reasoning I
Register here for this course.
Don't forget to register with HISPOS since we are unable to do this automatically.
If you have any questions, please contact Jennifer Müller.
Oral Examinations will take place on August 17, 2017.