Project-Comète:Highlights of the year

Section: Overall Objectives

Catuscia Palamidessi and Frank Valencia have served as PC chairs of the 2009 edition of the conference SOFSEM (Current Trends in Theory and Practice of Computer Science, http://www.ksi.mff.cuni.cz/sofsem09/index.php ).
Catuscia Palamidessi has served as PC chairs of the 2009 edition of the conference MFPS (Mathematical Foundations of Programming Semantics XXV, http://www.math.tulane.edu/~mfps/mfps25.htm ).
Catuscia Palamidessi has been invited to serve as PC chairs of the 2011 edition of the conference QEST (The International Conference on Quantitative Evaluation of SysTems, http://www.qest.org/ ).
Catuscia Palamidessi has been invited to be a speaker at the 2010 edition of the conference LICS (Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science, http://www2.informatik.hu-berlin.de/lics/lics10/ ).
Acceptance of the ANR project proposal 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: the EPIs Comète and Parsifal at INRIA Saclay, the CEA Saclay, Airbus, and various universities in France.
Acceptance of the ANR project proposal CPP: Mobile and Secure Complex Systems This project is financed by the ANR, for the years 2009-2011. The partners involved are: LSV, the EPIs Comète and Parsifal at INRIA Saclay, the CEA LIST, Supelec SSE and Supelec L2S.