en | de

Interactive Theorem Proving

master program

VO2 + PS3  WS 2016/2017  703640 + 703641

Lecturer

room consultation hours
VO Cezary Kaliszyk 3M12 Wednesday11:15 – 12:45

Time and Place

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

Registration

Registration for the Lecture and the Proseminar is necessary.

Grading

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