Section: Dissemination

Promoting Scientific Activities

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

Scientific events organisation

Member of the organizing committee

Catuscia Palamidessi is member of:

• The Executive Committee of SIGLOG , the ACM Special Interest Group on Logic and Computation. Since 2014.

• The Organizing Committee of LICS , the ACM/IEEE Symposium on Logic in Computer Science. Since 2010.

• 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 is member of:

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

Scientific events selection

Chair of conference program committee

Catuscia Palamidessi:

• has served 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 .

• is serving as PC chair of LICS 2015 . 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6-10 July 2015.

Frank Valencia:

• is serving as PC chair (with Camilo Rueda and Martin Leucker as co-chairs) of ICTAC 2015 : The 12th International Colloquium on Theoretical Aspects of Computing. Cali, Colombia Oct 29-31 2015. Co-located with 11th International Workshop on Developments in Computational Models DCM 2015 .

• is serving as chair of the organising committee (with Camilo Rueda and Martin Leucker as co-chairs) of ICTAC 2015 : The 12th International Colloquium on Theoretical Aspects of Computing. Cali, Colombia Oct 29-31 2015.

Member of the conference program committee

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

• ATVA 2015 . The 13th International Symposium on Automated Technology for Verification and Analysis. Shanghai, China, 12-15 October 2015.

• FORTE 2015 . The 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems. Inria Grenoble, France, 2-4 June 2015.

• TPDP 2015 . Theory and Practice of Differential Privacy London, UK, 18 April 2015.

• 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.

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

• PETS 2015 : The 15th Privacy Enhancing Technologies Symposium

• FCS 2015 : Workshop on Foundations of Computer Security

• TPDP 2015 : 1st workshop on the Theory and Practice of Differential Privacy

• QAPL 2015 : 13th Workshop on Quantitative Aspects of Programming Languages

• ICISSP 2015 : 1st International Conference on Information Systems Security and Privacy

• 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

• APVP 2014 : 5ème Atelier sur la Protection de la Vie Privée

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

• PPDP 2014 . The 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014). Canterbury, UK, September 8-10, 2014.

• ICLP DC 2014 . Tenth ICLP Doctoral Consortium. Vienna, Austria, July 20, 2014?,

• PPDP 2015 . The 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014). Siena, Italy, July 14-16, 2015.

• ICLP DC 2015 . 11th ICLP Doctoral Consortium. Cork, Ireland, 31 August 2015.

Reviewer

The members of the team reviewed several papers for international conferences and workshops.

Journal

Member of the editorial board

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.

• Member of the Editorial Board of LIPIcs: Leibniz International Proceedings in Informatics , Schloss Dagstuhl –Leibniz Center for Informatics.

Konstantinos Chatzikokolakis is:

• Editorial board member of the newly established Proceedings on Privacy Enhancing Technologies (PoPETs), a scholarly journal for timely research papers on privacy.

Reviewer

The members of the team reviewed several papers for international journals.

Other Editorial Activities

Catuscia Palamidessi is/has been:

• Co-editor of the special issue of Logical Methods in Computer Science dedicated to selected papers of DisCoTec 2014 .

• Co-editor (with Franck van Breughel, Elham Kashefi and Jan Rutten) of Horizons of the Mind. A Tribute to Prakash Panangaden. LNCS 8464 Springer, 499 pages, 2014.

• Co-editor (with Erika Ábrahám) of the proceedings of FORTE 2014 . LNCS 8461 Springer, 301 pages, 2014.

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. Published on 12 December 2014.

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

Other Activities

Invited talks

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

• CONCUR 2014 and TGC 2014 (Joint keynote speaker) The 25th Conference on Concurrency Theory and the 9th International Symposium on Trustworthy Global Computing. Rome, Italy, September 2014.

• NWPT 2014 . The 26th Nordic Workshop on Programming Theory. Halmstad, Sweden October 2014.

Participation in other committees

Catuscia Palamidessi has been serving in the following committees:

• Member of the Swedish Research Council Committee for Computer Science, 2014. 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 WWTF jury – selection committee for a tenure-track position at the Faculty of Informatics at the Vienna University of Technology. Fall 2014.

• 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.

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.

Frank Valencia served as:

• President of the Selection Committee for the LIX Postdoctoral Fellowship. May - July 2014.