en | de

Interactive Theorem Proving

master program

VO2 + PS3  SS 2013  703640 + 703641

Lecturer

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

Time and Place

VO Friday12:15 – 14:00 HS 10 Cezary Kaliszyk
PS Thursday08:15 – 11:00 rr 20 Cezary Kaliszyk

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.