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 Steering Committee of EACSL , the European Association for Computer Science Logics. Since 2015.

• 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 chair of LICS 2015 . 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6-10 July 2015.

Frank Valencia:

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

• as general chair 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:

• ICTAC 2016 . 13th International Colloquium on Theoretical Aspects of Computing Taipei, Taiwan, 24-31 October 2016.

• CONCUR 2016 . The 27th International Conference on Concurrency Theory. Québec City, Canada, 23-26 August 2016.

• TASE 2016 . The 10th International Symposium on Theoretical Aspects of Software Engineering. Shanghai, China, 17-19 July 2016.

• FCS 2016 . The Workshop on Foundations of Computer Security. Lisbon, Portugal, 27 June 2016.

• MFPS XXXII . The Thirty-second Conference on the Mathematical Foundations of Programming Semantics. Carnegie Mellon University, Pittsburgh, USA, 23-26 May 2016.

• PhDs in Logic VIII . Darmstadt, Germany, 9-11 May 2016.

• UEOP 2016 . The 1st Workshop on Understanding and Enhancing Online Privacy. San Diego, USA, 21 February 2016.

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

• WPES 2015 . The Workshop on Privacy in the Electronic Society. Denver, Colorado, USA, 12 October 2015.

• QEST 2015 . The 12th International Conference on Quantitative Evaluation of SysTems. Madrid, Spain, 1-3 September 2015.

• LOPSTR 2015 . The 25th International Symposium on Logic-Based Program Synthesis and Transformation. Siena, Italy, 13-15 July 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.

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

• PETS 2016 : The 16th Privacy Enhancing Technologies Symposium

• WWW 2016 : 25th World Wide Web conference

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

• 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

• APVP 2015 : 6è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 2016 . The 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016).

• ICTAC 2016 . The 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016).

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

Reviewer

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

Journal

Member of the editorial board

Catuscia Palamidessi is:

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

• Member of the Editorial Board of Acta Informatica , published by the Springer.

• 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 on Quantitative Information Flow on Mathematical Structures in Computer Science . 2015.

Frank D. Valencia has been:

• Co-editor of the special issue on Mathematical Structures in Computer Science dedicated to the best papers from the 12th International Colloquium on Theoretical Aspects of Computing.

Other Activities

Invited talks

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

• ETAPS 2015 (Unifying speaker). The European Joint Conferences on Theory and Practice of Software. London, UK, 11-18 April 2015.

• QAPL 2015 (Invited speaker). Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems. London, UK, 11-12 April 2015.

• ICTAC 2015 (Keynote speaker). The 12th International Colloquium on Theoretical Aspects of Computing. Cali, Colombia, 29-31 October 2015.

Participation in other committees

Catuscia Palamidessi has been serving in the following committees:

• Member of the Alonzo Church Award Committee. Since 2014. This award is for an outstanding contribution to Logic and Computation within the past 25 years.

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

• 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. April 2010 - December 2015.

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

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

• Member of the comité de selection for two full professor positions at l'Université de Paris VII (Paris Diderot). Spring 2015.

• Member of the comité de selection for a position for Maitre de Conferences à l'Université de Lorraine.

Frank Valencia served as:

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