No.041 NII Shonan School on Coq

• Yves Bertot,^* INRIA, France
• Sandrine Blazy, University of Rennes 1, France
• Pierre Castéran,^* LaBRI, France
• Assia Mahboubi, INRIA, France

^*2013 ACM Software System Award?Laureate