Automated Reasoning II (2+2), 6LP - Summer 2017
Lecturer
Start
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)
Prerequisites
Automated Reasoning I
Registration
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.
Exercises
Examinations
Oral Examinations will take place on August 17, 2017.