Section: Other Grants and Activities

National Cooperations

Groupement Momas (Mathematical Modeling and Numerical Simulation for a Deep Underground Disposal of Nuclear Waste).

Agence Nationale de la Recherche ANR Fost (Formal prOofs about Scientific compuTations), with EPI Proval from INRIA Saclay - Île-de-France, Laboratoire de Recherche en Informatique from University of Paris 11, and Laboratoire d'Informatique de l'Université Paris-Nord from University of Paris 13. From 01/01/2009.

Agence Nationale de la Recherche ANR CerPAN (Certification de Programmes d'Analyse Numérique), with Laboratoire d'Informatique de l'Université Paris-Nord from University of Paris 13, Centre d'Étude et de Recherche en Informatique du CNAM, and Laboratoire de Recherche en Informatique from University of Paris 11. Until 19/06/2009.

Agence Nationale de la Recherche ANR SHPCO2 (Simulation Haute Performance du Stockage Géologique de CO2) with IFP, LAGA laboratory from University Paris 13, École des Mines de St Etienne and BRGM.