Some of my recent talks
2023
| Invited tutorial at CIRM research school | The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs  |
Marseille (France), January 2023 |
2022
| Regular talk at FSTTCS'22 | Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games | Chennai (India), December 2022 |
| Invited talk at FSTTCS'22 | The true colors of memory: A tour of chromatic-memory strategies in zero-sum games on graphs | Chennai (India), December 2022 |
| Invited talk at the 20th anniversary of FORMATS | Zone-based verification of timed automata: Extrapolations, simulations and what next? | Warsaw (Poland), September 2022 |
| Invited talk at FoIKS'22 | Memory complexity for winning games on graphs | Helsinki (Finland), June 2022 |
2021
| Invited talk at RV'21 | On the (Approximate) Analysis of Stochastic Real-Time Systems |
Online, October 2021 |
| Invited talk at CONCUR'21 | Parameterized
concurrent games
|
Online, August 2021 |
| Invited talk at GDR GPL (blog post) | De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques | Online, June 2021 |
2020
| Invited talk at Spotlight on Games | On finite-memory determinacy of games on graphs | Online, October 2020 |
| Invited talk at RP'20 | When are Finite Games Finite-Memory Determined? | Online, October 2020 |
2019
| ATVA'19 | Game Theory and Verification: Tutorial and Talk | Taipei (Taiwan), October 2019 |
| TIME'19 | Verification and Game Theory | Malaga (Spain), October 2019 |
2018
| Seminar at LIS (Marseille) | Nash equilibria in games on graphs with a public signal monitoring | Marseille (France), May 2018 |
| FoSSaCS'18 | Nash equilibria in games on graphs with a public signal monitoring | Thessaloniki (Greece), April 2018 |
2017
| Seminar at IRIF | Nash equilibria in games on graphs with a public signal monitoring | Paris (France), December 2017 |
| Workshop "Resource-aware Strategic Reasoning in Multi-agent Systems: Logic & Games" | Nash equilibria in games on graphs with a public signal monitoring | Evry (France), November 2017 |
| JPO LSV | Let's play! | Cachan, September 2017 |
| KiMfest | Average-energy games | Aalborg (Denmark), August 2017 |
| Logic Colloquium 2017 | On the verification of timed systems... and beyond | Stockholm (Sweden), August 2017 |
| OPCT'17 | Stochastic timed automata and beyond | Vienna (Austria), June 2017 |
| Dagstuhl seminar | Average-energy games and beyond | Dagstuhl Schloß (Germany), March 2017 |
2016
| MFCS'16 | On the optimal reachability problem in weighted timed automata and games | Krakow (Poland), August 2016 |
| Digicosme school | Timed automata and beyond: On the quantitative analysis of timed systems | Palaiseau (France), May 2016 |
2015
| TRENDS'15 | Stochastic timed automata | Madrid (Spain), September 2015 |
| NCMA'15 | On the optimal reachability problem in weighted timed automata and games | Porto (Portugal), August 2015 |
| AutoMathA'15 | On the optimal reachability problem in weighted timed games | Leipzig (Germany), May 2015 |
| CFV Seminar | On the optimal reachability problem in weighted timed games | Brussels (Belgium), March 2015 |
| Workshop ERC | On the value problem in weighted timed games | Vienna (Austria), March 2015 |
| Dagstuhl seminar | Approximation of the value in a weighted timed game | Dagstuhl Schloß (Germany), February 2015 |
| QuantLA Seminar | On the optimal reachability problem in weighted timed games | Dresden (Germany), January 2015 |
2014
| CONCUR'14 | Averaging in LTL | Roma (Italy), September 2014 |
| EATCS Summer School | Robustness in Timed Systems | Telč (Czech Republic), July 2014 |
| MOVEP'14 | An introduction to timed automata | Nantes (France), July 2014 |
| GT Games of GDR IM | Robustness in Timed Automata: A Game-Based Approach | Paris (France), January 2014 |
2013
| RP'13 | Robustness in timed automata | Uppsala (Sweden), September 2013 |
| LCCC Workshop on Formal Verification of Embedded Control Systems | Robust control of timed systems | Lund (Sweden), April 2013 |
2011
| IFIP WG 2.2 meeting | Quantitative models for verification -- A timed-automata-based perspective | Paris (France), September 2011 |
| Presburger Award at ICALP'11 | A travelling story with timed automata | Zürich (Switzerland), July 2011 |
| Journées du GDR IM | Nash equilibria in timed games | Paris (France), January 2011 |
2010
| WATA'10 | Energy management in timed systems | Leipzig (Germany), May 2010 |
| HSCC'10 | Timed automata with observers under energy constraints | Stockholm (Sweden), April 2010 |
| AVACS Spring School | From timed automata to complex systems - Stochastic timed games | Oldenburg (Germany), March 2010 |
| QMC PhD school | Real-time model-checking:
| Copenhagen (Denmark), March 2010 |
| Dahstuhl seminar | Managing resources in timed systems | Dagstuhl Schloß (Germany), January 2010 |
2009
| MSR'09 | Modelling, analyzing, and managing resources in timed systems | Nantes (France), November 2009 |
| Autumn School VTSA'09 | On the verification and control of timed systems | Nancy (France), October 2009 |
| QUANTLOG'09 | On the Model Checking of Timed and Weighted Temporal Logics | Rhodes (Greece), July 2009 |
| Quasimodo meeting | When are Timed Automata Determinizable? | Nijmegen (The Netherlands), June 2009 |
| ACTS'09 | Quantitative Timed Games | Chennai (India), January 2009 |
| Habilitation defense | From Qualitative to Quantitative Analysis of Timed Systems | Cachan (France), January 2009 |
2008
| Farman seminar | Energy consumption in timed systems | Cachan (France), November 2008 |
| GAMES'08 | Quantitative timed games | Warsaw (Poland), September 2008 |
| Automata and verification workshop | Probabilities in Timed Automata | Mons (Belgium), August 2008 |
| ICALP'08 | On Expressiveness and Complexity in Real-time Model Checking | Reykjavík (Iceland), July 2008 |
| LICS'08 | Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata | Pittsburgh (PA, USA), June 2008 |
| Dagstuhl seminar | An Introduction to Timed Systems | Dagstuhl Schloss (Germany), April 2008 |
| Seminar | Weighted Timed Automata: Optimization Problems | Paris Dauphine (France), March 2008 |
| Seminar | Probabilities in Timed Automata | Bordeaux (France), March 2008 |
| Workshop TFIT'08 | Model Checking Timed Temporal Logics | Taipei (Taiwan), March 2008 |
| Quasimodo kick-off meeting | A probabilistic semantics for timed automata | Aalborg (Denmark), January 2008 |
2007
| M4M-5 | Model-checking timed temporal logics | Cachan (France), November 2007 |
| 10 years of LSV | On the reduction of energy consumption | Cachan (France), November 2007 |
| FORMATS'07 | Symbolic Reachability Analysis of Lazy Linear Hybrid Automata | Salzburg (Austria), October 2007 |
| Seminar | The Cost of Punctuality | Uppsala (Sweden), May 2007 |
| FoSSaCS'07 | Model-Checking One-Clock Priced Timed Automata | Braga (Portugal), March 2007 |
| Seminar | A Probabilistic Semantics for Timed Automata | Oxford (UK), March 2007 |
| Seminar | The Cost of Punctuality | Paris (France), March 2007 |
2006
| CORTOS'06 | Weighted Timed Automata: Model-Checking and Games | Bonn (Germany), August 2006 |
| MFPS XXII | Weighted Timed Automata: Model-Checking and Games | Genova (Italy), May 2006 |
| LATIN'06 | Robust Model-Checking of Linear-Time Properties in Timed Automata | Valdivia (Chile), March 2006 |
2005
| PaRISTIC's days | CORTOS Project | Bordeaux (France), November 2005 |
| MSR'05 | Observation partielle des systèmes temporisés | Autrans (France), October 2005 |
| Summer school ARTIST2 | Foundations of Timed Systems | Nässlingen (Sweden), October 2005 |
| Summer school ETR'05 | Vérification de systèmes temporisés et hybrides | Nancy (France), September 2005 |
| AVoCS'05 | Optimal Timed Games | Warwick (UK), September 2005 |
| INFINITY'05 | Optimal Reachability Timed Games | San Francisco (USA), August 2005 |
| GDV'05 | Partial Observation of Timed Systems | Edinburgh (UK), July 2005 |
| Spring school GAMES | Synthesis of Timed Systems | Bonn (Germany), March 2005 |
| JSI'05 | Automates temporisés et extensions : frontières de la décidabilité | Cachan (France), March 2005 |
2004
| FSTTCS'04 | Optimal Strategies in Priced Timed Game Automata | Chennai (India), December 2004 |
| Winter school MOVEP'04 | Real-Time and Hybrid Systems | Brussels (Belgium), December 2004 |
| Tutorial at QEST'04 | Timed Automata - From Theory to Implementation | Twente (The Netherlands), September 2004 |
| Spring school EPIT32 | Timed Models for Concurrent System | Luminy (France), April 2004 |
| HSCC'04 | Staying Alive as Cheaply as Possible | Philadelphia (USA), March 2004 |
| Intro to verification | Introduction à la modélisation et à la vérification Application aux systèmes temporisés | Cachan (France), September 2004 |
2003
| CAV'03 | Timed Control with Partial Observability | Denver (CO, USA), July 2003 |
| ACL'03 | Timed Automata - From Theory to Implementation | Chennai (India), January 2003 |