Time and place: Aug. 26, 2013 12:15 PM2:00 PM, BL16 152

The PPP project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place August 26 - September 6, with daily meetings 12:15 to 14:00 in BL16 152.