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

The exact dates will be discussed at the first meeting.

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

TBD

Examinations

TBD