Guest editor of the MSCS Special Issue Differences and Metrics in Program Semantics: Advances in Quantitative Relational Reasoning
ACM SIGPLAN International Conference of Functional Programming (ICFP 2024)
Logic in Computer Science (LICS 2024)
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
International Workshop on Quantitative Logical Methods (Qualog 2023)
Mathematical Foundations of Programming Semantics (MFPS 2023)
Computer Science Logic (CSL 2022)
3rd ItaCa Workshop (ItaCa 2022)
AI for People (AI4P) Special Issue of the AI & Society -- Journal of Culture, Knowledge and Communication (Springer), 2021
8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2020)
Artifact Evaluation Committee of International Conference on Functional Programming 2018 (ICFP 2018)