max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning II (2+2) 6LP" (WS 2012/2013), course number: tba

Lecturers

Start

Block-Lecture in February/March 2013

When and Where

4 March - 8 March 2013: 10 - 12 and 13 - 15
13 March - 19 March 2013: 10 - 12 and 13 - 15

Prerequisites

Automated Reasoning I

Literature

The script and other literature used in this course can be found here.

Registration

Register here for this course. Registration will be open until December 31, 2012.
The preliminary discussion will be on Thursday, 10 January 2013, 14 - 16, Room 633, Building E1 5.

Don't forget to register with HISPOS since we are unable to do this automatically.

Examinations

Exam Sheets:

Previous Automated Reasoning Courses

Further information: see