GT LVP
Together with Julien Signoles, I am co-head of GT LVP (Languages and Program Verification — Langages et Vérification de Programmes) of GDR GPL (Programming and Software Engineering — Génie de la Programmation et du Logiciel).
ProoVer
Together with Simon Guilloud, we organize the ProoVer Competition. Inspired by the CADE ATP System Competition (CASC), ProoVer aims to benchmark the correctness and robustness of proof checkers within the TPTP ecosystem.
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)
- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science — FSTTCS (2025)
- Formal Methods in Computer-Aided Design (Student Forum) — FMCAD Student Forum (2025)
- International Symposium on Theoretical Aspects of Software Engineering — TASE (2025)
Journal Reviewer
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, 2025)
- 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
- La fête de la science
- 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
- LIRMM’s open days 2022