Automated Reasoning II (2+2), 6LP - Summer 2017

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

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.

Literature

25.04.2017: Slides

Exercises

Sheet 1 (April 25) Sheet

Examinations

TBD