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.

Dale Miller gave a colloquium talk in the School of Computer Science at McGill University on 16 October 2011.

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.''

Lutz Straßburger spoke at the “Unithé ou café ?” on Friday 11 March 2011 at Parc Orsay Université, 13h - 14h. His topic: "C'est quoi, une preuve ?".

Parsifal hosted the workshop Collegium Logicum 2011: Proof Theory at LIX 28 Feb - 1 Mar 2011.