Mois : mars 2014

NII Shonan School on Coq

sponsors

Dates School: 25 – 29 August 2014 Deadline: Friday, May 2nd, 2014 Organizers Pierre Castéran,* LaBRI, France Jacques Garrigue, Nagoya University, Japan David Nowak, CNRS & Lille 1 University, France Lecturers Yves Bertot,* INRIA, France Sandrine Blazy, University of Rennes 1,…