2019
2019/09/02 A quantitative semantics for Strategy Logic
GandALF'19 (Bordeaux, France)
2019/04/15 Quantitative Temporal Logics for Multi-Agent Systems
SUMO team meeting (Rennes, France)
2018
2018/11/11 Efficient timed diagnosis using automata on timed domains
RV'18 (Limassol, Cyprus)
2018/03/03 Dependences in Strategy Logic
STACS'18 (Caen, France)
2018/02/01 Variations on the semantics of Strategy Logic
68NQRT Seminar (Rennes, France)
2017
2017/08/23 Temporal logics for multi-agent systems
MFCS'17 (Aalborg, Denmark)
2017/06/29 Energy Games
Robolog'17 Workshop (Rennes, France)
2017/01/27 Average-Energy Games
SUMO team meeting (Rennes, France)
2017/01/18 Networks of Register Protocols under Stochastic Schedulers
WG 'parameterized verification' (Rennes, France)
2016
2016/04/28 Optimal strategies in weighted timed games
WATA'16 (Aalborg, Denmark)
2016/01/29 Temporal logics for multi-agent systems
CFV Seminar (Brussels, Belgium)
2015
2015/12/19 Optimal strategies in weighted timed games
Averts'15 (Bangaluru, India)
2015/11/09 ATL with strategy contexts
LACL seminar (Créteil, France)
2015/10/01 Optimal strategies in weighted timed games
68NQRT Seminar (Rennes, France)
2015/09/22 Average-energy games
GandALF'15 (Genova, Italy)
2015/08/10 Temporal logics for multi-agent systems
ESSLLI summer school (Barcelona, Spain)
2015/06/15 Weighted timed automata and games
'WG Verif.' days (Créteil, France)
2014
2014/11/28 Robustness issues in timed models
SASEFOR days (Gif-sur-Yvette, France)
2014/04/12 Robustness issues in timed models
QAPL'14 (Grenoble, France)
2014/04/16 Temporal logics for multi-agent systems
FAC'14 (Toulouse, France)
2014/12/15 Synchronizing words for weighted timed automata
FSTTCS'14 (New Delhi, India)
2013
2013/01/21 Temporal logics for multi-agent systems
GDR IM national days (Lyon, France)
2013/02/08 Robust verification of timed systems
Digicosme Industrial Days (Saclay, France)
2013/10/28 Quantified CTL
NPdC-BE congress of mathematics (Valenciennes, France)
2013/09/22 Satisfiability of ATL with strategy contexts
Highlights'13 (Paris, France)