Section: Partnerships and Cooperations

National Initiatives

ANR

• Participation of Cormac Walsh to the ANR white project FINSLER (Géométrie de Finsler et applications), 2012-2016.

• Projet ANR CAFEIN (Combinaison d'approches formelles pour l'étude d'invariants numériques), responsable P.L. Garoche. Partenaires : ONERA, CEA LIST, ENSTA Paristech, Inria Saclay (Maxplus, Toccata, Parkas), Université de Perpignan, Prover, Rockwell Collins France.

• Projet ANR MALTHY (Méthodes ALgébriques pour la vérification de modèles Temporisés et HYbrides), responsable T. Dang. Partenaires : Verimag, CEA LIST, Inria Rennes, Inria Saclay, VISEO/Object Direct.

• Projet ANR DEMOCRITE ("DEmonstrateur d’un MOteur de Couverture des Risques sur un TErritoire), responsable Emmanuel Lapébie (CEA). Partenaires : CEA-GRAMAT, BSPP, Inria Saclay (Maxplus), Institut PPRIME - UPR3346 (CNRS, Univ. Poitiers, ISAE-ENSMA), IPSIS, SYSTEL, ARMINES-E.M. Alès-ISR, CERDACC (Univ. de Haute-Alsace).

Programme Gaspard Monge pour l'Optimisation

• Projet intitulé “Méthodes tropicales pour l'optimisation”, responsable X. Allamigeon, faisant intervenir M. Akian, V. Boeuf, S. Gaubert, A.Hochart, R. Katz, et M. Skomra.

iCODE (Institut pour le Contrôle et la Décision de l’Idex Paris-Saclay)

• White project “Stabilité et stabilisation des systèmes commutés” (Oct 2014-June 2016), including M. Akian, X. Allamigeon, S. Gaubert, and members of EPI Geco, L2S, LIX, LSV (ENS Cachan), UVSQ.