Project-Comète:Contribution to scientific events and activities

Section: Dissemination

Note: In this section we include only the activities of the permanent internal members of Comète.

Catuscia Palamidessi is member of the Editorial Board of the journal on Mathematical Structures in Computer Science, published by the Cambridge University Press.
Catuscia Palamidessi is member of the Editorial Board of the journal on Theory and Practice of Logic Programming, published by the Cambridge University Press.
Catuscia Palamidessi is member of the Editorial Board of the Electronic Notes of Theoretical Computer Science, Elsevier Science.
Frank D. Valencia is area editor (for the area of Concurrency) of the ALP Newsletter.

Catuscia Palamidessi is member of:

The Council of EATCS, the European Association for Theoretical Computer Science. Since 2005
The Steering Committee of ETAPS, the European Joint Conferences on Theory and Practice of Software. Since 2006
The IFIP Technical Committee 1 – Foundations of Computer Science. Since 2007
The IFIP Working Group 2.2 – Formal Description of Programming Concepts. Since 2001

Catuscia Palamidessi has given invited talks at the following conferences and workshops:

Workshop on “Ubiquitous Computing at a Crossroads”. London, UK. January 2009. http://www.nottingham.ac.uk/bridging/ubicomp/workshop.html
BASICS 2009 International Workshop on Computation and Interaction. Shanghai, China. October 2009. http://basics.sjtu.edu.cn/summer_school/basics09/ .
IFIP 1.8 Workshop on Formal Methods for Embedded Systems. Eindhoven, NL. November 2009. http://www.cse.unsw.edu.au/~rvg/FMES/

Catuscia Palamidessi has served as PC chairs of the 2009 edition of the conference on Mathematical Foundations of Programming Semantics (MFCS XXV), http://www.math.tulane.edu/~mfps/mfps25.htm .
Catuscia Palamidessi and Frank Valencia have served as PC chairs of the 2009 edition of the International conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), http://www.ksi.mff.cuni.cz/sofsem09/index.php .

Catuscia Palamidessi has been/is a member of the program committees of the following conferences:

CONCUR 2010. The 21st International Conference on Concurrency Theory. Paris, France, September 2010. http://concur2010.inria.fr/
MFPS XXVI. The 26th Conference on the Mathematical Foundations of Programming Semantics, Ottawa, Canada, May 2010. http://www.math.tulane.edu/~mfps/mfps26/MFPS_XXVI.html
CONCUR 2009. The 20th International Conference on Concurrency Theory. Bologna, Italy, September 2009. http://concur09.cs.unibo.it/
PPDP 2009. The 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Coimbra, Portugal. September 2009. http://www.dcc.fc.up.pt/ppdp09/
FOSSACS 2009. The 12th International Conference on Foundations of Software Science and Computation Structures. (Part of ETAPS 2009.) York, UK. March 2009. http://fossacs09.soe.ucsc.edu/

Catuscia Palamidessi has been/is a member of the program committees of the following workshops:

FCS-PrivMod 2010. Workshop on Foundations of Security and Privacy. Edinburgh, UK, July 2010. http://www.loria.fr/~cortier/FCS-PrivMod10/
LIS 2010. Workshop on Logics in Security. Copenhagen, Denmark, August 2010. http://lis.gforge.uni.lu
PLID 2009. The 5th International Workshop on Programming Language Interference and Dependence. London, UK. March 2009 http://www.dcs.qmul.ac.uk/~pm/plid/
SecCo 09. The 7th International Workshop on Security Issues in Concurrency. Bologna, Italy, September 2009.

Frank D. Valencia has been/is a member of the program committees of the following conferences and workshops:

ICLP 2009. 25th International Conference on Logic Programming. Pasadena, USA, July 2009.

Carlos A. Olarte has been/is a member of the program committees of the following conferences:

SAC 2009. 24th Annual ACM Symposium on Applied Computing. Track on Constraint Satisfaction and Programming. Honolulu, USA, March 2009.

Frank D. Valencia and Carlos Olarte are the organizer of the Comète-Parsifal Seminar. This seminar takes place weekly at LIX, and it is meant as a forum where the members of Comète and Parsifal present their current works and exchange ideas. See http://www.lix.polytechnique.fr/comete/seminar/ .