Catégorie : news

Stay at JFLI in 2017-18

Deadline: November 10,  2016 If you are interested in working at JFLI for a long period (from 6 months till 12 months) in 2016-17, and are working in a CNRS laboratory with a permanent position (chercheur CR/DR or enseignant-chercheur MdC/PR),…

Postdoc Position at JFLI

Deadline: October 1st,  2016 URL: http://www.cnrs.fr/derci/spip.php?article727 If you are interested in a JSPS/CNRS postdoctoral position starting between April 1st and September 30th, 2017, please visit the URL above. To apply, you must be a French researcher, or a foreign researcher who…

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,…

NII Shonan meeting on “Implicit Computational Complexity and applications: Resource control, security, real-number computation”

Implicit Computational Complexity and applications: Resource control, security, real-number computation   NII Shonan Meeting: @ Shonan Village Center, November 4-7, 2013   Organizers Akitoshi Kawamura, The University of Tokyo, Japan Jean-Yves Marion, Lorraine University, France David Nowak, JFLI, CNRS & The University of Tokyo,…