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).
Examinations:
oral exam at the beginning of the semester break.