Lecturers

		room	consultation hours
VO	Aart Middeldorp	3M07	Wednesday	11:30 – 13:00
VO	Cezary Kaliszyk	3M12	Wednesday	11:15 – 12:45
PS	Vincent van Oostrom		by arrangement

Time & Place

VO		Monday	08:15 – 10:00	HS 11	Aart Middeldorp
		Monday	10:15 – 11:00	HS 11	Cezary Kaliszyk
PS		Friday	08:30 – 10:00	3W03	Vincent van Oostrom

Registration

Online registration for each course is compulsory. The lectures start on March 7, 2016. The proseminar starts on March 11, 2016.

Grading

The lectures will be evaluated by (indiviual) written exams. The proseminar will be evaluated by the performance in the class (50%) and a written test on May 20, 2016 (50%).

Language

All courses are taught in English.

Literature

The following books cover many of the topics discussed in the course 703620:

• Daniel Kroenig and Ofer Strichman, Decision Procedures – An Algorithmic Point of View, Springer, 2008, ISBN 978-3-540-74104-6
• Aaron Bradley and Zohar Manna, The Calculus of Computation, Springer, 2007, ISBN 978-3-540-74112-1

Many pointers to relevant literature will be given in the slides.