en | de

Automated Reasoning

master program

VU3  SS 2024  703358


The course provides an introduction to automated reasoning.

The course is open to master students, but in exceptional cases bachelor students can take part.

The following topics will be discussed:


The course will include several longer slots in order to end before the end of the semester.
VU Thursday11:15 – 13:30 3W04 (ICT building, 2nd floor)


room consultation hours
VU Cezary Kaliszyk 3M12 Wednesday11:15 – 12:45


The students are expected to have completed the courses on functional programming, logic, and term rewriting before attending this course.


The course will be evaluated by means of assignments, presentations, and a final test, all contributing equally to the final grade.