Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committee

Catuscia Palamidessi is member of:

• The Scientific Advisory Board of ANSSI, the French National Cybersecurity Agency. Since 2019.

• The Scientific Advisory Board of CISPA, the Helmholtz Center for Information Security. Since 2019.

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

• The Steering Committee of CONCUR, the International Conference in Concurrency Theory. Since 2016.

• 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 Steering Committee of FORTE, the International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Since 2014.

• The IFIP Technical Committee 1 – Foundations of Computer Science. Since 2007.

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

• The IFIP Working Group 1.8 – Concurrency Theory. Since 2005.

Frank D. Valencia is member of:

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

Konstantinos Chatzikokolakis is member of:

• The steering committee of the Privacy Enhancing Technologies Symposium. Since 2018.

Scientific events selection committee

Chair of conference program committee

Konstantinos Chatzikokolakis:

• is serving as PC chair (with Carmela Troncoso as co-chair) of PETS 2020: The 20th Privacy Enhancing Technologies Symposium, July 14 – 18, 2020 Montréal, Canada.

Member of conference program committees

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

• CCS 2020. The ACM Conference on Computer and Communications Security. Orlando, USA, November 9-13 2020.

• CSF 2020. The 33rd IEEE Computer Security Foundations Symposium. Boston, MA, USA, June 22-26, 2020.

• PETS 2020. The 20th Privacy Enhancing Technologies Symposium. Montréal, Canada, July 14 – 18, 2020.

• FORTE 2020. The 40th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems. University of Malta, Valletta, June 15-19, 2020.

• FSTTCS 2019. 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Indian Institute of Technology Bombay, December 11–13, 2019

• FACS 2019. The 16th International Conference on Formal Aspects of Component Software. Amsterdam, The Netherlands, 23-25 October 2019.

• PETS 2019. The 19th Privacy Enhancing Technologies Symposium. Stockholm, Sweden, July 16 – 20, 2019.

• LICS 2019. The Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science. Vancouver, Canada, 24–27 June 2019.

• CSF 2019. The 32nd IEEE Computer Security Foundations Symposium. Hoboken, NJ, USA, June 24-27, 2019.

• SAC 2019 (Security track). The 34th ACM/SIGAPP Symposium On Applied Computing. Limassol, Cyprus, 8-12 April 2019.

• TML 2020. Towards Trustworthy ML: Rethinking Security and Privacy for ML. Addis Ababa, Ethiopia, April 26, 2020.

• EXPRESS/SOS 2020. Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics. Vienna, Austria, August 31, 2020.

• PPAI 2020. The rAAI Workshop on Privacy-Preserving Artificial Intelligence. New York, USA, February 7, 2020.

• PPML 2019. Privacy Preserving Machine Learning (ACM CCS 2019 Workshop). London, UK, November 15, 2019.

• WPES 2019. Workshop on Privacy in the Electronic Society. London, UK, November 11, 2019.

• APVP 2019. Atelier sur la Protection de la Vie Privée. Cap Hornu, France, July 9-11, 2019.

• WIL 2019. 3rd Women in Logic Workshop. Cap Hornu, France, Vancouver, Canada, June 23, 2019.

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

• CP-DP-19: Doctoral Program of the 25th International Conference on Principles and Practice of Constraint Programming. Stamford, CT, USA, Sep 30 - Oct 4, 2019.

• CONCUR 2019: The 30th International Conference on Concurrency Theory. Amsterdam, Netherlands, August 26-31, 2019.

• AAMAS 2019: International Conference on Autonomous Agents and Multiagent Systems. Montreal, Canada, 13th-17th of May 2019.

Journals

Member of the editorial board

Catuscia Palamidessi is:

• (2019-) Member of the Editorial Board of the Journal of Computer Security IOS Press. Since 2019.

• Member of the Editorial Board of the Proceedings on Privacy Enhancing Technologies (PoPETs), published by De Gruyter. Since 2017.

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

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

• Member of the Editorial Board of the Electronic Notes of Theoretical Computer Science, published by Elsevier Science. Since 2000.

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

Konstantinos Chatzikokolakis is:

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

Reviewing

The members of the team regularly review papers for international journals, conferences and workshops.

Other Editorial Activities

Catuscia Palamidessi is/has been:

• Co-editor (with Anca Muscholl and Anuj Dawar) of the special issue of Logical Methods in Computer Science dedicated to selected papers of ICALP 2017.

• Co-editor (with Alexandra Silva and Natarajan Shankar) of the special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016.

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.

Participation in other committees

Catuscia Palamidessi has been serving in the following committees:

• External Member of the committee for the promotion to full professor of Prof. Kévin Huguenin. HEC Lausanne, Switzerland.

• Member of the committee for associate professor positions in the Datalogi Dept., Aalborg Univ., Denmark. 2019.

• Member of the panel for the Research Evaluation for Development 2019 (RED19) of the Department of Computer Science and Engineering at the University of Gothenburg, Sweden.

• Chair of the Nominating Committee for the 2019 renewal of the office holders of SIGLOG, the ACM Special Interest Group on Logic and Computation.

• Member of the committee for the Alonzo Church Award for Outstanding Contributions to Logic and Computation. From 2015. In 2018 Palamidessi is the president of this committee.

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

• Member of the EAPLS PhD Award Committee. From 2010.

Invited talks

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

• Journées Nationales du GDR Sécurité Informatique. Paris, France, June 2019.

• MFPS XXXV, special session on Probabilistic Programming. London, UK, June 2019.

• AI & Society: From principles to practice. CIFAR-UKRI-CNRS workshop. London, UK, June 2019.

• 5th France-Japan Cybersecurity workshop}. Kyoto, Japan, April 2019.

Frank Valencia has given the following invited talk:

• EXPRESS/SOS 2019. Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. Amsterdam, Netherlands, August 26, 2019.

Service

Catuscia Palamidessi has served as:

• Member of the committee for the assignment of the Inria International Chairs. From 2017.

• Member of the Commission Scientifique du Centre de Recherche Inria Saclay. From 2018.

• Member of the hiring committee for Maitre de Conference, Ecole Polytechnique, 2019.

Frank Valencia has served as:

• Directeur adjoint de l'UMR 7161, le Laboratoire d'Informatique de l'Ecole Polytechnique (LIX). May 2016 - Nov 2019.