Section: Overall Objectives

Highlights

• Josh Hodas and Dale Miller won the 2011 LICS Test of Time Award for their 1991 paper titled “Logic programming in a fragment of intuitionistic linear logic.”

• Dale Miller's proposal titled “ProofCert: Broad Spectrum Proof Certificates” submitted to the ERC Advanced Investigator Grant in 2011 was accepted and will be funded for 2012-1016.