Decision Procedures (WM 5)

master program

VO2 + VO1 + PS2  SS 2016  703620 + 703621 + 703622

Lecturers

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

Time & Place

VO Monday08:15 – 10:00 HS 11 Aart Middeldorp
Monday10:15 – 11:00 HS 11 Cezary Kaliszyk
PS Friday08: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: Many pointers to relevant literature will be given in the slides.