Lecturers

		room	consultation hours
VO	Aart Middeldorp	3M07	Wednesday	11:30 – 13:00
VO	Harald Zankl	3M12	Thursday	14:30 – 16:00
PS	Cezary Kaliszyk	3M12	Wednesday	11:15 – 12:45

Time & Place

VO		Monday	09:15 – 11:00	HS 10	Aart Middeldorp
		Wednesday	15:00 – 15:45	HS 10	Harald Zankl
PS		Wednesday	13:15 – 15:00	HS 10	Cezary Kaliszyk

Registration

Registration for each course (703620, 703621, 703622) is compulsory.
The lectures start on March 3 and March 5, 2014.
The proseminar starts on March 12, 2014.

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 7, 2014 (50%). Students who missed the test on May 7 can take another test on October 15, 2014.

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.