Lecturer

		room	consultation hours
VO	Aart Middeldorp	3M07	Wednesday	11:30 – 13:00

Time & Place

VO

Wednesday

13:15 – 15:00

HS 10

Some weeks there will be no lecture. Some other weeks there will be an additional lecture from 8:15 until 10:00 in HS 10. This is in particular the case for the first two lectures on March 7. Please check the actual schedule at the content page.

Language

The course is taught in English.

Registration

Online registration is required until 23:59 on March 31.

Literature

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

• 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

Slides will be made available online.

Language

The course is taught in English.

Grading

There will be a written and closed book exam on June 27, 13:00 – 15:00 in HS 10. Online registration is required before 10 am on June 26. When preparing for the exam, you may find exams of earlier semesters useful (but please be aware that this year's course covered more topics):

• SS 2011
• SS 2010
• SS 2009