Time and Venue:
Lecture and Tutorial: Tue 12-14, Wed 16-18, Bldg E1.4 (MPI), Room 021
Lecturer:
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Topics:
Advanced topics in automated reasoning:
Prerequisites:
Automated Reasoning I
(in particular CDCL, ordered resolution, term rewriting).
Examinations:
Oral exam at the end of the lecture.
(Exam dates can be chosen flexibly.)