I am or was involved in the organisation of the following events:
| 2025 | 20th International Federated Conference on Distributed Computing Techniques (DisCoTec 2025) | General Chair |
| since 2023 | International Conference on International Conference on Fundamentals of Software Engineering (FSEN 2023, 2025) | PC member |
| since 2018 | International Conference on Formal Methods in Software Engineering (FormaliSE 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025) | PC member PC chair in 2021 (with Laura Semini) SC member since 2022 |
| since 2016 | International Conference on Coordination Models and Languages (Coordination 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024) | PC member PC chair (2020, with Laura Bocchi) SC member (since 2020) |
| since 2016 | International Conference on Formal Aspects of Component Software (FACS 2016, 2017, 2018, 2019, 2021, 2024) | PC member |
| 2021–2025 | GDR GPL working groupe “trustworthY and Optimal Dynamic Adaptation” (Yoda) | Co-organiser (with Hélène Coullon and Rabéa Ameur-Boulifa) |
| 2021 | International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021) | PC member |
| 2020–2021 | International Colloquium on Theoretical Aspects of Computing (ICTAC 2020, 2021) | PC member |
| 2020 | NASA Formal Methods Symposium (NFM 2020) | PC member |
| 2020 | International Conference on Microservices (Microservices 2020) | PC member |
| 2020 | Topics in Theoretical Computer Science (TTCS 2020) | PC member (Track B) |
| 2019–2020 | Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2019, 2020) | PC member |
| 2018–2020 | Embedded Systems and the Internet of Things track at Euromicro Software Engineering and Advanced Applications conference (ES-IoT@SEAA 2018, 2019, 2020) | PC member |
| 2015-2020 | International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2015, 2016, 2017, 2018, 2019, 2020) | PC member PC chair in 2018 (with Faouzi Atig) |
| 2018–2019 | International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018, 2019) | PC chair (with Saddek Bensalem in 2018, Panagiotis Katsaros in 2019) |
| 2017–2019 | International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA 2017, 2018, 2019, |
PC member |
| 2008–2019 | Interaction and Concurrency Experience (ICE) (A link to ICE 2019) |
PC member, PC co-chair (2010–2011), SC member (2012–2019) |
| 2017–2019 | Formal Approaches to Parallel and Distributed Systems (4PAD 2017, 2018, 2019) |
PC member, |
| 2015–2016 | International Conference on the Architecture of Computing Systems (ARCS 2015, 2016) | PC member |
| 2014–2015 | International Workshop on Embedded Multicore Systems (ICPP-EMS 2014, 2015) | PC member |
| 2012–2013 | Nano-Tera/Artist International Summer School — Aix-les-Bains, France | Organiser |
| 2011 | International workshop on Structural Operational Semantics (SOS 2011) | PC member |