en | de

Interactive Theorem Proving

master program

VO2 + PS3  SS 2019  703640 + 703641

Lecturers

room consultation hours
VO Vincent van Oostrom by arrangement
PS Christian Sternagel 3M03 by arrangement

Time & Place

VO Thursday13:15 – 15:00 HS 10 Vincent van Oostrom
PS Wednesday14:15 – 16:30 RR 22 Christian Sternagel

The proseminar (PS) starts on March 6, the lecture (VO) on March 7.

Registration

Online registration is required until 23:59 on June 30 for the lecture (VO), and until 23:59 on February 21 for the proseminar (PS).