Section: Partnerships and Cooperations

National Initiatives

ANR Fost :

Formal prOofs about Scientific compuTations, with EPI Proval (Inria Saclay - Île-de-France), Laboratoire de Recherche en Informatique (University of Paris 11), and Laboratoire d'Informatique de l'Université Paris-Nord (University of Paris 13). Until May 31st.

ANR MANIF :

Problèmes mathématiques et numériques en simulation moléculaire ab initio, with CERMICS (Ecole Nationale des Ponts et Chaussées), and LJLL (Université Pierre et Marie Curie).

ARC Geofrac :

Action de Recherche coopérative Inria “Large-scale computation of flow in complex 3D geological fractured porous media” rassemblant les équipes Inria Sage, Gamma3 et Pomdapi. From 2011.