Talks

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.

Interpolants and Explicit Definitions in Horn Description Logics. [pdf]
Presented at DL 2021.

Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata. [pdf]
Slides of my PhD defense.

FO=FO³ 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.

Communicating Finite-State Machines and Two-Variable Logic. [pdf]
Presented at STACS 2018.

Jeu des gendarmes et des voleurs et largeur arborescente. [pdf]
Journée portes ouvertes du LSV, septembre 2017.

On Parameterized Verification of Asynchronous Shared-Memory Pushdown Systems. [pdf]
Presented at Highlights 2016.

Verification of Parameterized Communicating Automata via Split-width. [pdf]
Presented at FoSSaCS 2016.