Recent & Upcoming Talks

2022

On Pareto-Optimality for Verification and Synthesis in Games Played on Graphs (in French)
Sep 29, 2022 12:00 AM Mons, Belgium
Slides
Pareto-Rational Verification
Sep 16, 2022 12:00 AM Warsaw, Poland (online)
Slides
Pareto-Rational Verification
Jun 29, 2022 12:00 AM Paris, France
Slides

2021

Stackelberg-Pareto Synthesis
Nov 17, 2021 12:00 AM Gif-sur-Yvette, France
Slides
Stackelberg-Pareto Synthesis
Sep 15, 2021 12:00 AM Aachen, Germany (online)
Slides
Stackelberg-Pareto Synthesis
Aug 26, 2021 12:00 AM Paris, France (online)
Slides Video
Stackelberg-Pareto Synthesis
Mar 24, 2021 12:00 AM Brussels, Belgium
Slides Video

2020

Formal Verification Using Game Theory (in French)
Mar 5, 2020 12:00 AM Mons, Belgium
Slides

2019

Partial Solvers for Generalized Parity Games
Sep 18, 2019 12:00 AM Warsaw, Poland
Slides
Partial Solvers for Generalized Parity Games
Sep 11, 2019 12:00 AM Brussels, Belgium
Slides
Partial Solvers for Generalized Parity Games
Jun 22, 2019 12:00 AM Vancouver, Canada
Your Turn to Play! (Popular Science talk on Game Theory)
Mar 29, 2019 12:00 AM Mons, Belgium