Section: Overall Objectives

Highlights of the Year

• Stefan Hetzl received his Habilitation 5 November 2012 from the Technical University of Vienna.

• Kaustuv Chaudhuri and Stefan Hetzl organized "Collegium Logicum 2012: Structural Proof Theory" at Inria-Saclay.

• Dale Miller and Gopalan Nadathur (Professor at the University of Minnesota) published a book title "Programming with higher-order logic" (June 2012, Cambridge University Press).