Conferences & Workshops 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
PC Member
- Journées Francophones des Langages Applicatifs — JFLA (2026)
- International Symposium on Theoretical Aspects of Software Engineering — TASE (2025)
Subreviewer
- International Conference on Interactive Theorem Proving — ITP (2025)
- International Conference on Automated Deduction — CADE (2025)
- International Symposium on Formal Methods — FM (2024)
- Formal Methods in Computer-Aided Design — FMCAD (2024)
- International Conference on Verification, Model Checking, and Abstract Interpretation — VMCAI (2024)
- Certified Programs and Proofs — CPP (2023, 2024)
- International Joint Conference on Automated Reasoning — IJCAR (2022, 2024)
Artifact Reviewer
- International Conference on Verification, Model Checking, and Abstract Interpretation — VMCAI (2025)
- International Symposium on Formal Methods — FM (2024)
Volunteer Student
- The 11th International Colloquium on Graph Theory and combinatorics — ICGT2022
- The 20th International Conference on Software & Systems Reuse – ICSR2022
Science Popularization & Other Events (mostly in French)
- Rendez-vous de l’informatique : Plan National de Formation et journée NSI-SNT
- World Logic Day
- MATh.en.JEANS (slides)
- Chiche: 1 scientifique, 1 classe
- Les cigognes
- 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