Section: Dissemination

Scientific Animation

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

Editorial activity

Catuscia Palamidessi is/has been:

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

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

• Co-editor (with Franck van Breughel, Elham Kashefi and Jan Rutten) of a festschrift dedicated to Prakash Panagaden. Special issue of Lecture Notes in Computer Science .

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

• Co-editor (with Mark Ryan) of the proceedings of TGC 2012, Trustworthy Global Computing. [27]

Frank D. Valencia has been:

• Co-editor of the special issue of Mathematical Structures in Computer Science dedicated to the 18th International Workshop on Expressiveness in Concurrency.

• Co-editor of the special issue of Mathematical Structures in Computer Science dedicated to the 17th International Workshop on Expressiveness in Concurrency.

Konstantinos Chatzikokolakis and Catuscia Palamidessi have been:

• Co-editors (with Sebastian Mödersheim and Jun Pang) of the special issue of the Journal of Computer Security dedicated to selected papers of TOSCA 2011 and SecCo 2011 .

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.

Frank D. Valencia member of:

• The steering committee of the International Workshop in Concurrency EXPRESS. Since 2010.

Invited Talks

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

• Workshop on Logic, Language, Information and Computation . TU Darmstadt, Germany. August 2013.

• Forum des jeunes mathématiciennes . ENS Lyon. Novembre 2013.

Organization of workshops and conferences

• Catuscia Palamidessi is serving as PC co-chair (together with Erika Ábrahám) of FORTE 2014 : the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems. Berlin, Germany, 3-6 June 2014. Co-located with DisCoTec 2014 .

Participation in program committees

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

• QEST 2014 . The 11th International Conference on Quantitative Evaluation of Systems. Florence, Italy, 8-12 September 2014.

• POST 2014 . The 3rd Conference on Principles of Security and Trust. Grenoble, 5-13 April 2014.

• TGC 2013 . The 8th International Symposium on Trustworthy Global Computing. Buenos Aires, Argentina, 30-31 August 2013.

• ICALP 2013 Track B. The 40th International Colloquium on Automata, Languages and Programming. Riga, Latvia, 8-12 July 2013.

• CSF 2013 . The 26th IEEE Computer Security Foundations Symposium. Tulane University, New Orleans, Louisiana, USA, 26-28 June 2013.

• LICS 2013 . The Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science. Tulane University, New Orleans, Louisiana, USA, 25-28 June 2013.

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

• SOFSEM 2013 . 39th International Conference on Current Trends in Theory and Practice of Computer Science. Špindlerův Mlýn, Czech Republic, January 26–31, 2013.

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

• CONCUR 2013 . The 24th International Conference on Concurrency Theory. Buenos Aires, Argentina, 27-30 August 2013.

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

• ICFEM 2014 : The 6th International Conference on Formal Engineering Methods.

• PETS 2014 : The 14th Privacy Enhancing Technologies Symposium.

• HotPETs 2014 : 7th Workshop on Hot Topics in Privacy Enhancing Technologies.

• QAPL 2014 : 12th Workshop on Quantitative Aspects of Programming Languages.

• ISPEC 2013 : 9th International Conference on Information Security Practice and Experience.

• QAPL 2013 : 11th Workshop on Quantitative Aspects of Programming Languages.

• HotPETs 2013 : 6th Workshop on Hot Topics in Privacy Enhancing Technologies.

Participation in other committees

Catuscia Palamidessi has been serving in the following committees:

• Member of the Swedish Research Council Committee for Computer Science, 2013. The main duty of this committee is to evaluate and select the grant applications.

• Member of the committee for the ACM SIGSAC 2014 Doctoral Dissertation Award for Outstanding PhD Thesis in Computer and Information Security.

• Member of the committee for the Ackermann Award 2013 : The EACSL outstanding dissertation award for logic in Computer Science.

• President of the selection committee for the EATCS Best Paper Award at the ETAPS conferences. Since 2006.

• Member of the EAPLS PhD Award committee. Since 2010.

Organization of seminars

• Frank D. Valencia, Luis Fernando Pino Duque, and Nicolás Bordenabe 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.

Service

Catuscia Palamidessi serves as:

• Member of the Comité d'Orientation Scientifique et Technique, Groupe de travail Relation Internationales (COST-GTRI). Since November 2007.

• Directrice adjointe du LIX, le Laboratoire d'Informatique de l'Ecole Polytechnique. Since April 2010.

• Member of the Comité de These for Mathematics and Computer Science at the École Polytechnique. Since October 2007.

• Reviewer for the projects proposal for the program PRIN, sponsored by the Italian MIUR (“Ministero dell'Istruzione, dell'Università e della Ricerca”). Since 2004.