Section: Partnerships and Cooperations

National Initiatives

ANR project PANDA: “Analyse du Parallélisme et de la Distribution”

This project is financed by the ANR, for the years 2009-2011. The partners involved are:

• EPIs Comète and Parsifal at INRIA Saclay. Responsible: Catuscia Palamidessi

• CEA Saclay. Responsible: Emmanuel Haucourt

• Pôle Parisien. Responsible: Damiano Mazza

• Pôle Méditerranéen. Responsible: Emmanuel Godard

• Airbus. Responsible: Jean Souyris.

ANR project CPP: Confidence, Proofs and Probabilities

This project is financed by the ANR, for the years 2009-2011. The partners involved are:

• LSV. Responsible: Jean Goubault-Larrecq

• EPIs Comète and Parsifal at INRIA Saclay. Responsible: Catuscia Palamidessi

• CEA LIST. Responsible: Olivier Bouissou

• Supelec SSE. Responsible: Gilles Fleury

• Supelec L2S. Responsible: Michel Kieffer