Conferences Organization
- 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
Subreviewer & Artifact Reviewer
- International Symposium on Formal Methods — FM (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)
Science Popularization & Other events
- MT180 — Finale régionale Occitanie Est 2023
- 5 Minutes pour convaincre — Université de Montpellier
- Math C2+
- Filles et Maths
- SeminDoc — LIRMM PhD seminar (2020-2023)
- 30ème anniversaire du LIRMM
- Fête de la science 2022
- Journées portes ouvertes du LIRMM 2022