Service

Steering committees and organisation/programme chair

  • PLF+PLAID 2025 (Workshop on Theory and Practice of Decentralized and Local-First Software; satellite event of ECOOP 2025)
  • CoPLaWS 2024, 2025 (1st and 2nd Copenhagen Programming Languages Workshop)
  • PLAID 2024 (Workshop on Principles, Theory, and Practice for Decentralized Applications; satellite event of ECOOP & ISSTA 2024)
  • ICE Workshop Series (Interaction and Concurrency Experience): Steering Committee member since 2022
  • COORDINATION 2023 AEC (25th Intl. Conference on Coordination Models and Languages — Artefact Evaluation Committee chair)
  • PLACES 2023 (14th Workshop on Prog. Lang. Approaches to Concurrency & Communication-cEntric Software; satellite event of ETAPS 2023)
  • Dagstuhl Seminar: Behavioural Types: Bridging Theory and Practice (Schloss Dagstuhl, Germany, 12–17 September 2021)
  • ICE 2019, 2020, 2021, 2022 (12th–15th Interaction and Concurrency Experience; satellite workshops of DisCoTec 2019–2022)

Editor

Programme committee member

  • ECOOP 2026 (40th European Conference on OO Programming)
  • FORTE 2025, 2026 (45th and 46th Intl. Conference on Formal Techniques for Distributed Objects, Components, and Systems)
  • Express/SOS’25 (32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics)
  • VORTEX 2025 (8th Workshop on Verification and Monitoring at Runtime Execution — satellite event of ECOOP 2025)
  • AMP 2025 (5th Workshop on Agility with Microservices Programming — satellite event of ECSA 2025)
  • NWPT 2021, 2022, 2023, 2024 (32nd–35th Nordic Workshop on Programming Theory)
  • VORTEX 2024 (7th Workshop on Verification and Monitoring at Runtime Execution — satellite event of ECOOP & ISSTA 2024)
  • FORTE 2024 (44th Intl. Conference on Formal Techniques for Distributed Objects, Components, and Systems)
  • SPIN 2024 (30th International Symposium on Model Checking Software)
  • VORTEX 2023 (6th Workshop on Verification and Monitoring at Runtime Execution — satellite event of ECOOP & ISSTA 2023)
  • COORDINATION 2022 AEC (24th Intl. Conference on Coordination Models and Languages — Artefact Evaluation Committee)
  • AMP 2020, 2021, 2022, 2023 (1st–4th Workshop on Agility with Microservices Programming — satellite events of XP 2020–2022)
  • Scala 2021 (12th ACM SIGPLAN Scala Symposium — satellite event of SPLASH 2021)
  • TACAS 2021 AEC (27th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems — Artifact Evaluation Committee)
  • VORTEX 2021 (Intl. Workshop on Verification and mOnitoring at Runtime EXecution — satellite event of ECOOP & ISSTA 2021)
  • ISEC 2019 (12th ISOFT / ACM SIGSOFT Innovations in Software Engineering Conf.)
  • SAC-MiDOS 2019 (34th ACM Symposium on Applied Computing — Microservices, DevOps, and Service-Oriented Arch. track)
  • ECOOP 2017, 2018 AEC (31st and 32nd European Conference on OO Programming — Artifact Evaluation Committee)
  • SAC-SOAP 2017, 2018 (32nd and 33rd ACM Symposium on Applied Computing — Service-Oriented Arch. and Programming track)
  • ICE 2017, 2018 (10th and 11th Interaction and Concurrency Experience — satellite workshops of DisCoTec 2017, 2018)

External reviewer

Journals: ACM Transactions on Programming Languages and Systems, ACM Computing Surveys, Information and Computation, Theoretical Computer Science, Logical Methods in Computer Science, International Journal on Software and Systems Modeling, Journal of Computer and System Sciences, Journal of Logical and Algebraic Methods in Programming, Science of Computer Programming, Formal Aspects of Computing, Service Oriented Computing and Applications, International Journal on Software Tools for Technology Transfer.

Conferences and workshops: OOPSLA’25, FM’23, FASE’22, TACAS’21, MFCS’21, FSCD’21, FSCD’20, ICALP’20, MFCS’20, FORTE’20, CONCUR’20, ESOP’20, POPL’19, ESOP’19, FROM’19, GPCE’18, APLAS’18, COORDINATION’18, POPL’18, CONCUR’17, ECOOP’17, ESOP’17, POPL’17, CONCUR’16, ICFP’16, PLACES’16, HOPE’15, CONCUR’14, PDP’14, ICDCIT’14, WS-FM’13.