en | de

Interactive Theorem Proving

master program

VO2 + PS3  WS 2016/2017  703640 + 703641


room consultation hours
VO Cezary Kaliszyk 3M12 Wednesday12:15 – 13:45

Time and Place

VO Friday12:15 – 14:00 HSB9 Cezary Kaliszyk
PS Tuesday15:15 – 18:00 3W03 Vincent van Oostrom


Registration for the Lecture and the Proseminar is necessary.


There will be a written and closed book exam at the end of the course, online registration will be required in advance.