Section: Partnerships and Cooperations

National Initiatives

Matthieu Sozeau is member of the ANR Typex project (Types and certification for XML) and is coordinator of one of the tasks of the project on formalization and certification of XML tools. The project will kick-off on January 8th, 2012 and is a joint project with LRI, PPS and INRIA Grenoble.

Matthieu Sozeau, Hugo Herbelin and Yann Régis-Gianas are members of the ANR Paral-ITP started November 2011. Paral-ITP is about preparing the Coq and Isabelle interactive theorem provers to a new generation of user interfaces thanks to massive parallelism and incremental type-checking.

Hugo Herbelin is the coordinator of the PPS site for the ANR Récré accepted in 2011 and starting January 2012. Pierre Letouzey is member of the ANR Récré. Récré is about realisability and rewriting, with applications to proving with side-effects and concurrency.