Lecture "Automated Reasoning II" (SS 2026)

Time and Venue:
Lecture and Tutorial: Tue 10-12, Wed 15-17, Bldg E1.5 (MPI), Room 622.

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

Note changed time and venue!

Topics:
Advanced topics in automated reasoning:

• termination of rewrite systems;
• alternative proof calculi for automated reasoning;
• decision procedures;
• satisfiability modulo theories;
• superposition and beyond.

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

Slides and suggested readings

Exercise sheets

Examinations:
Oral exam at the end of the lecture.
(Exam dates can be chosen flexibly.)

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2026-03-25.
Imprint | Data Protection