Talks:
Click on the titles for slides.
- 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.