Talks:
Click on the titles for slides.

13/06/24: Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs at MOVE Team Seminar, Marseille.
14/05/24: History-deterministic and Explorable automata at GREYC Seminar, Caen.
26/04/24: Explorable automata at GT DAAL, Rennes.
24/04/24: Positive and monotone fragments of FO and LTL at ATLAS workshop, Rennes.
11/12/23: SMT Solving and modeling for biology at Plume team seminar, Lyon.
24/11/23: Positive First-Order Logic on Words and Graphs at Birmingham Theory Seminar.
26/07/23: Positive First-Order Logic on Words and Graphs at Highlights of Logic, Games and Automata, Kassel.
28/06/23: Computational content of circular proof systems at Lambda Pros day, Paris.
16/02/23: Explorable Automata at CSL 2023, Warsaw.
30/05/22: Explorable Automata at Delta ANR Meeting, CIRM, Marseille.
10/03/22: Positive first-order logic on words and graphs at Chocola Meeting, ENS Lyon.
04/01/22: Positive first-order logic on words at Delta ANR Meeting, online.
09/11/21: Good-for-Games Automata: State of the art and perspectives at Workshop on Unambiguity in Automata Theory, Dagstuhl.
03/11/21: Positive first-order logic on words at Warwick Seminar, online.
28/09/21: Positive first-order logic on words at LaBRI Seminar, Bordeaux.
16/09/21: Positive first-order logic on words at Highlights 2021, online.
30/04/21: Positive first-order logic on words at IRIF Automata Seminar, online.
16/12/20: Positive first-order logic on words (blackboard talk) at Warsaw automata seminar, online.
06/11/20: Recognizing Good-for-Games Automata: the G2 conjecture at IRIF Automata Seminar, online.
16/09/20: Positive first-order logic on words at Highlights 2020, online, also with Poster Session.
13/05/20: Computational content of circular proof systems at Warsaw Automata Seminar, online.
21/01/20: Computational content of circular proof systems at Formal Method Seminar, Labri, Bordeaux.
07/11/19: Cyclic Proofs and Jumping Automata at MoVe Seminar, LIS, Marseille.
20/09/19: Cyclic Proofs and Jumping Automata at Highlights of Logics, Games and Automata, Warsaw.
11/04/19: Kleene algebra with hypotheses at FoSSaCS, ETAPS, Prague.
07/04/19: Bouncing threads for infinitary and circular proofs at Galop Workshop, ETAPS, Prague.
11/02/19: Bouncing threads for infinitary and circular proofs (blackboard talk) at GdT PLume, Lyon.
30/10/18: Is your automaton good for playing games ? at DIMAP seminar, University of Warwick.
19/09/18: Is your automaton good for playing games ? at Highlights of Logic, Games and Automata, Berlin.
04/07/18: Parity Games and Good-for-Games Automata at Journées SDA2, Saint-Étienne.
13/04/18: Good-for-games automata and Width of Non-deterministic Automata (blackboard talk) at Automata Seminar, IRIF, Paris.
28/06/17: Stamina: Stabilisation Monoids in Automata theory at CIAA 2017, Marne-la-Vallée. Also with Tool demo.
01/02/17: Good-for-Games Automata at University of Oxford.
12/01/17: Soundness in Negotiations at Séminaire 68NQRT, IRISA, Rennes.
08/09/16: Soundness in Negotiations at Highlights of Automata, Bruxelles.
22/08/16: Soundness in Negotiations at Automata, Logic and Games, Singapore.
24/06/16: Directed Minors for Minimal Automata (blackboard talk) at Workshop Topology and Languages, IMT, Toulouse.
12/04/16: Good-for-Games Automata at GT-ALGA, Marseille.
25/02/16: Sensing Cost for Automata and Synthesis at MOVE Seminar, LIF, Marseille.
18/02/16: Varieties of Cost Functions at STACS 2016, Orléans.
18/02/16: Cost Functions Definable by Min/Max Automata at STACS 2016, Orléans.
16/02/16: Sensing Cost for Automata and Synthesis at Formal Method Seminar, Labri, Bordeaux.
24/11/15: Minimizing the sensing cost in monitoring and synthesis at IAS Kick-off Meeting, Munich.
19/11/15: Good-for-Games Automata versus Deterministic Automata at Plume Team Seminar, LIP, Lyon.
04/07/15: On Finite Domains in First-Order Linear Temporal Logic at LCC Workshop, Kyoto.
11/05/15: Theoretical Results around Electrum at Onera, DTIM Seminar, Toulouse.
22/04/15: On Finite Domains in First-Order Linear Temporal Logic at FAC days, Toulouse.
22/04/15: Regular Sensing at FAC days, Toulouse.
12/02/15: Good-for-Games Automata versus Deterministic Automata at LIF seminar, MoVe team, Marseille.
05/01/15: Good-for-Games Automata versus Deterministic Automata at LACL seminar, Créteil.
18/12/14: Cost Functions and Value 1 problem in practice at LABRI, Bordeaux, Séminaire Modélisation et Vérification.
06/10/14: Decidability problems in Automata theory at Onera, DTIM Seminar, Toulouse.
05/09/14: Regular Sensing at Highlights of Games, Logics and Automata, Paris.
07/07/14: On Determinisation of History-Deterministic Automata at YR-ICALP, Copenhagen. Also with Poster session.
22/05/14: Regular cost functions: from finite words to infinite trees at ENS Lyon, Plume Seminar.
30/04/14: Quasi-weak cost functions at the FREC meeting, CIRM, Marseille.
29/01/14: Regular Sensing (blackboard talk) at the Automata Seminar of Warsaw University, Poland.
07/01/14: Nondeterminism in the Presence of Diverse or Unknown Future at the Graph and Logics seminar, LABRI, Bordeaux.
04/12/13: Nondeterminism in the Presence of Diverse or Unknown Future (blackboard talk) at the Automata Seminar of Warsaw University, Poland.
15/05/13: The theory of regular cost functions (blackboard talk) at the Automata Seminar of Warsaw University, Poland.
10/05/13: The theory of regular cost functions at Quantitative Formal Methods Workshop, Jerusalem, Israel
01/05/13: The theory of regular cost functions at the Logic Seminar of Tel-Aviv University, Israel
19/03/13: Regular cost functions, from finite words to infinite trees at LSV seminar, ENS Cachan
05/03/13: Regular cost functions, from finite words to infinite trees at seminar 68NQRT, IRISA/INRIA Rennes
03/12/12: PhD Defense in LIAFA, Paris
23/10/12: La théorie des fonctions de coût régulières, at the Graph and Logics seminar, LABRI, Bordeaux
24/02/12: Expressive Power of Cost Logics over Infinite Words, at the Automata Seminar, LIAFA, Paris
12/12/11: Quasi-weak cost automata: a new variant of weakness at FSTCCS 2011, Mumbai, India
10/05/11: How to count with LTL, at the FREC ANR meeting, Ile de Ré
12/03/11: Linear Temporal Logic for regular cost functions at STACS 2011, Dortmund, Germany
23/02/11: Linear Temporal Logic for Regular Cost Functions, at the PhD Students Seminar, Liafa, Paris
10/07/10: Regular temporal cost functions at ICALP 2010, Bordeaux
17/11/09: The timed fragment of regular cost functions, at Workshop on Distance Automata and Generalisations, Liafa, Paris.
06/11/09: Regular cost functions, à la journée de rentrée du Liafa, Paris.