Conferences Organization
- 31st International Symposium on Model Checking Software — SPIN 2025 — AE Chair
- 24th Conference in Formal Methods in Computer-Aided Design 2024 — FMCAD 2024 — Web Chair
- 11th Workshop on Horn Clauses for Verification and Synthesis — HCVS 2024 — PC Chair
- The 11th International Colloquium on Graph Theory and combinatorics — ICGT2022 — Volunteer Student
- The 20th International Conference on Software & Systems Reuse – ICSR2022 — Volunteer Student
PC Member, Subreviewer & Artifact Reviewer
- Theoretical Aspects of Software Engineering Conference — TASE (2025)
- Formal Methods in Computer-Aided Design — FMCAD (2024)
- International Symposium on Formal Methods — FM (2024)
- International Conference on Verification, Model Checking, and Abstract Interpretation — VMCAI (2024, 2025)
- Certified Programs and Proofs — CPP (2023, 2024)
- International Joint Conference on Automated Reasoning — IJCAR (2022, 2024)
Science Popularization & Other Events
- GDR GPL 2024 and recruitment preparation workshop
- MT180 — Regional Final East Occitanie 2023
- 5 Minutes to convince — University of Montpellier
- Math C2+
- Filles et Maths
- SeminDoc — LIRMM PhD seminar (2020-2023)
- 30th anniversary of LIRMM
- Science Festival 2022
- LIRMM’s open days 2022