Lecture "Automated Reasoning II" (WS 2011/2012)

Time and Venue:
Lecture: Wednesdays 14:15-16:00, Bldg E1.4 (MPI), Room 021.
Tutorials: Mondays 14:15-16:00, Bldg E1.7 (MMCI), Room 2.01.

Q&A Session:
Friday, Feb. 17, 14:15-??, Bldg E1.7 (MMCI), Room 2.01.

Lecturer:
Uwe Waldmann <uwe@mpi-inf.mpg.de>

Topics:
Advanced topics in automated reasoning:

Prerequisites:
Automated Reasoning I
(in particular DPLL, ordered resolution, term rewriting).

Exercises

Slides and suggested readings

Examinations:
oral exam at the beginning of the semester break.


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2012-01-27.
Imprint | Data Protection