Recent past events:
ETAPS 2023, Paris
Workshop@CAV'23 dedicated to Tom Henzinger for his 60th birthday, Paris
LICS 2022, Haifa
CSR 2022, online
LICS 2021, Rome
CSR 2021, Sochi
STACS 2020, Montpellier
LICS 2019, Vancouver
RP 2017, London
Journées communes du GT Vérif et du GT ALGA, May 2017, Créteil
GandALF 2016, Catania
GandALF 2015, Genoa
French Symposium on Games 2015, Paris
CSL-LICS 2014, Vienna (Vienna Summer of Logic)
Reachability Problems 2014, Oxford
WATA 2014, Leipzig
STACS 2014, Lyon
FSTTCS 2013, Guwahati
GT Jeux, September 2012
Seminar on Theory of Software Verification, March 2012
GAMES, September 2011
PAVAS, Pushdown Automata and Vector Addition Systems, January 2011