Activities

AAR Newsletter

I am the editor of the AAR newsletter. Please feel free to bring to my attention any information you would like to see featured in the newsletter by writing an email at newsletter[at]aarinc.org. The newsletter is also a good place to post relevant job opportunities, book publications, new software, and open letters to the automated reasoning community.

Next Release:
May 2026

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 SciLog (Software Science — Sciences 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

• GT SCALP Days 2026 — Local organizer
• GT LVP Days 2025 — PC Chair
• 31st International Symposium on Model Checking Software — SPIN 2025 — AE Chair
• 24th Conference in Formal Methods in Computer-Aided Design — FMCAD 2024 — Web Chair
• 11th Workshop on Horn Clauses for Verification and Synthesis — HCVS 2024 — PC Chair

PC Member

• EACSL Annual Conference on Computer Science Logic — CSL (2027)
• International School and Workshop on Proof Theory — Proof Society (2026)
• Congress of Software Science — GDR SciLog (2026)
• 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, 2026)
• International Symposium on Theoretical Aspects of Software Engineering — TASE (2025)

Journal Reviewer

• Science of Computer Programming
• Journal of Logical and Algebraic Methods in Programming
• Journal of Applied Logic

Subreviewer

• International Joint Conference on Automated Reasoning — IJCAR (2022, 2024, 2026)
• 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)

Artifact Reviewer

• International Conference on Computer Aided Verification — CAV (2026)
• 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)

• Nuit de la science
• 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