en | de

Interactive Theorem Proving

master program

VO2 + PS3  SS 2015  703640 + 703641


room consultation hours
VO+PS Cezary Kaliszyk 3M12 Wednesday12:15 – 13: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 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.