en | de

Interactive Theorem Proving

master program

VO2 + PS3  SS 2015  703640 + 703641

Lecturer

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

Time and Place

VO Tuesday10:15 – 12:00 3W04 (ICT building, 2nd floor) Cezary Kaliszyk
PS Monday08: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.