Talks

  • 2022:
    • Half-Positional Objectives Recognized by Deterministic Büchi Automata, Highlights 2022 of Logic, Games and Automata, 29/06, Paris, France. [slides]
    • Existence of memoryless optimal strategies through universal graphs [based on a LICS'22 paper], UMONS Formal Methods Reading Group, 02/06, Mons, Belgique.
    • Jeux pour l'informatique et complexité des stratégies, Séminaire Jeunes de l'UMONS, 21/04, Mons, Belgium. [slides]
    • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, Current Trends in Graph and Stochastic Games (GAMENET Workshop), 06/04, Maastricht, The Netherlands. [poster]
    • À vous de jouer ! (Popular science talk on game theory), Journées Math-Sciences, 24/03, Mons.
    • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, STACS 2022: 39th International Symposium on Theoretical Aspects of Computer Science, 17/03, Online. [slides]
    • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, LaBRI seminar, 03/03, Bordeaux, France. [slides]
  • 2021:
    • Characterizing Omega-Regularity Through Strategy Complexity of Games on Infinite Graphs [Ongoing Work], UMONS Formal Methods Reading Group, 23/09, Mons, Belgique. [slides]
    • Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs, Journées du GT Vérif, 17/11, ENS Paris-Saclay, Gif-sur-Yvette, France. [slides]
    • Arena-Independent Finite-Memory Determinacy, Highlights 2021 of Logic, Games and Automata, 15/09, Online. [slides]
    • Arena-Independent Finite-Memory Determinacy in Stochastic Games, CONCUR 2021: The 32nd International Conference on Concurrency Theory, 26/08, Online. [slides] [video]
    • Arena-Independent Finite-Memory Strategies, GT ALGA - Journées annuelles 2021, 17/06, Online. [slides]
    • Arena-Independent Finite-Memory Strategies, GT Model-Checking and Synthesis, LMF, Université Paris-Saclay, 23/04, Online. [slides]
  • 2020:
    • Understanding Finite-Memory Determinacy, LMF Research Days, 09/12, Online. [slides] [poster]
    • Decisiveness of Stochastic Systems and its Application to Hybrid Models, Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), 22/09, Online. [slides] [video]
    • Games Where You Can Play Optimally with Arena-Independent Finite Memory, CONCUR 2020: The 31st International Conference on Concurrency Theory, 02/09, Online. [slides] [video]
    • Games Where You Can Play Optimally with Arena-Independent Finite Memory, MOVEP 2020: 14th Summer School on Modelling and Verification of Parallel Processes, 22/06, Online. [slides]
  • 2019:
    • Reachability in Stochastic Hybrid Systems, Highlights 2019 of Logic, Games and Automata, 19/09, Warsaw, Poland. [slides]
    • Reachability in Stochastic Hybrid Systems, 13th International Conference on Reachability Problems (RP'19), 12/09, Brussels, Belgium. [slides]
    • Reachability in Infinite Markov Chains, Mardi des Chercheurs 2019, 05/03, Université de Mons, Mons, Belgium. [poster]
[Back to main page]