Lecturer

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

Time & Place

VU		Tuesday	09:15 – 12:00	no room (virtual teaching)
		Thursday	13:15 – 16:00	no room (virtual teaching)

This course is part of the elective module Automated Reasoning of the master program in Computer Science. The other course in this module is Computational Logic. Computational Logic is taught in the first half of the semester, Automated Theorem Proving in the second half.

Grading

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