EN FR
EN FR




Section: Dissemination

Animation of the scientific community

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

Editorial activity

Catuscia Palamidessi is:

  • Member of the Editorial Board of the journal on Mathematical Structures in Computer Science, published by the Cambridge University Press.

  • Member of the Editorial Board of the journal on Theory and Practice of Logic Programming, published by the Cambridge University Press.

  • Member of the Editorial Board of the Electronic Notes of Theoretical Computer Science, Elsevier Science.

  • Co-editor (with Frank Pfenning) of the special issue of Logical Methods in Computer Science dedicated to selected papers of FoSSaCS 2013.

  • Co-editor (with Samson Abramsky and Michael Mislove) of the special issue of Theoretical Computer Science dedicated to selected papers of MFPS XXV .

  • Co-editor (with Geoffrey Smith) of the special issue of Mathematical Structures in Computer Science dedicated to Quantitative Information Flow.

Frank D. Valencia is:

Konstantinos Chatzikokolakis and Catuscia Palamidessi are:

Steering Committees

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.

  • The IFIP Working Group 1.7 – Theoretical Foundations of Security Analysis and Design. Since 2010.

Invited Talks

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

Organization of workshops and conferences

  • Catuscia Palamidessi has served as PC co-chair of QEST 2011 . 8th International Conference on Quantitative Evaluation of SysTems. Aachen, Germany, August 2011.

  • Catuscia Palamidessi has served as PC co-chairs of the first edition of TOSCA (Theory Of SeCurity and Applications). Associated with the ETAPS conferences, http://www.etaps.org/ .

  • Catuscia Palamidessi is serving as PC co-chair of TGC 2012. 7th International Symposium on Trustworthy Global Computing. Newcastle, UK, 7-8 September 2012.

  • Frank Valencia has co-chaired EXPRESS 2011, the workshop on Expressiveness in Concurrency Theory (http://www.lix.polytechnique.fr/comete/EXPRESS11/ . Affiliated to CONCUR 2011, the 22nd International Conference in Concurrency Theory (http://concur2010.inria.fr/ ). Aachen, Germany, 2011.

  • Konstantino Chatzikokolakis has co-chaired SecCo 2011, the 9th International Workshop on Security Issues in Concurrency (http://www.lix.polytechnique.fr/~kostas/SecCo2011/ . Affiliated to CONCUR 2011, the 22nd International Conference in Concurrency Theory (http://concur2010.inria.fr/ ). Aachen, Germany, 2011.

Participation in program committees

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

  • FOSSACS 2013. 16th Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS 2013.) Rome, Italy, March 2013.

  • QEST 2012 . International Conference on Quantitative Evaluation of SysTems. London, UK, September 2012.

  • PPDP 2012. International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Leuven, Belgium, September 2012.

  • CONCUR 2012 . 21st International Conference on Concurrency Theory. Newcastle, UK, September 2012.

  • CSF 2012 . The 25th IEEE Computer Security Foundations Symposium. Cambridge MA, USA, June 2012.

  • POST 2012 . First Conference on Principles of Security and Trust. Tallin, Estonia, March 2012.

  • CALCO 2011 . Fourth International Conference on Algebra and Coalgebra in Computer Science. Winchester, UK, August 2011.

  • CSF 2011 . The 24th IEEE Computer Security Foundations Symposium. Domaine de l'Abbaye des Vaux de Cernay, France, June 2011.

  • 27th Int.l Conference on Mathematical Foundations of Programming Semantics. CMU, Pittsburgh, USA, May 2011.

Konstantinos Chatzikokolakis has been/is a member of the program committees of the following conferences and workshops:

  • ESOP 2012: 21th European Symposium on Programming.

  • ISPEC 2012: 8th International Conference on Information Security Practice and Experience.

  • QAPL 2012: 10th Workshop on Quantitative Aspects of Programming Languages .

  • TGC 2011: 6th International Symposium on Trustworthy Global Computing.

  • QAPL 2011: 9th Workshop on Quantitative Aspects of Programming Languages.

  • FAST 2011: The 8th International Workshop on Formal Aspects of Security & Trust.

Participation in other committees

Catuscia Palamidessi has served in the following committees:

Organization of seminars

  • Frank D. Valencia and Andrés Aristizábal 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/ .