Despite some differences between presentations, I am only giving one representative set of slides
for each subject.
The complexity of downward closures for indexed grammars
LICS (July 2026) slides
Optimally controlling a random population
ICALP (July 2026) slides
Gathering the herd
EDMI invited talk (April 2026) slides
The Short-Ends Factorisation Theorem and applications
INRIA Lille LINKS seminar (October 2025), IRISA 68nqrt seminar (October 2025) slides
Distributed synthesis, memory for games and well quasi-orders.
Highlights (September 2025) slides
The trichotomy of regular property testing
MPI-SWS Models of Computation seminar (February 2025), LIS MoVe seminar (April 2025), ICALP (July 2025) slides
The sequential flow problem
PaVeDys Meeting (May 2025), SAMSA workshop (June 2026) slides
Verification and synthesis of distributed systems with weak synchronisation
PhD defense (November 2024) slides
Verification and controller synthesis for dynamic systems with locks and variables
Highlights (September 2024), LMF InFormal seminar (October 2024), IRISA 68nqrt seminar (October 2024), Synthesis days (November 2024) slides
Verification of population protocols with unordered data
ICALP (July 2024), AlgoDist seminar at LaBRI (November 2024) slides
Strategy shapes for population games
Dagstuhl on stochastic games (June 2024) slides
Minimisation of (history-)deterministic generalised (co-)Büchi automata
MTV seminar at LaBRI (May 2024), CSL (February 2025) slides
Proving hardness of LTL learning
GT DAAL (April 2024) slides
Simplifying acceptance conditions of omega-automata
ATLAS (April 2024) slides
Parameterized Broadcast Networks with Registers
MTV seminar at LaBRI (June 2023), Highlights (July 2023), YR-CONCUR (September 2023), Seminar at LIS (September 2023) slides
Model-checking lock-sharing systems against regular constraints
GT DAAL (April 2023), CONCUR (September 2023) slides
Distributed controller synthesis for lock-sharing systems
Seminar at LMF (April 2022), Highlights (June 2022), ICALP (July 2022), RP (October 2022), Seminar at IRISA (February 2023) slides
Keyboards
Computer Science department seminar at ENS Paris-Saclay (February 2021), QuantLA seminar at TU Dresden (April 2021), MFCS (August 2021), LX Seminar at LaBRI (September 2021) slides
Responsibility in verification
LICS (June 2021), Highlights (September 2021), ARPE internship defense (September 2021), MTV seminar at LaBRI (October 2021), IRIF seminar (January 2022) slides
Limits of decidability for HyperLTL satisfiabilty
M1 internship defense (September 2019), CSL (January 2020) slides
Killing words
L3 internship defense (September 2018), STACS (March 2019), Verification seminar at IRIF (February 2020) slides