How undecidable are HyperLTL and HyperCTL*? [pdf]
Presented at Warsaw Automata Seminar, Cambridge Logic and Semantics Seminar, IRIF Automata Seminar (Paris), LIS Modelisation and Verification Seminar (Marseille), and (a shorter version) at MFCS 2021.
Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata. [pdf]
Slides of my PhD defense.
FO=FO3 for Linear Orders with Monotone Binary Relations. [pdf]
Presented at YR-OWLS (Online Worldwide Seminar on Logic and Semantics), and similar to my invited talk at Highlights 2019 and my (shorter) talk at ICALP 2019.
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with “Happened Before” [pdf]
Presented at LaBRI Formal Methods Seminar and IRIF Verification Seminar in October 2019, and (a shorter version) at CONCUR 2018.
Jeu des gendarmes et des voleurs et largeur arborescente. [pdf]
Journée portes ouvertes du LSV, septembre 2017.