CSL 2021 (PC) 29th International Conference on Computer Science Logic January 11-14, 2021, Athens, Greece
AiML 2020 (PC) 13th Conference on Advances in Modal Logic. 17-21 August 2020, University of Helsinki.
AAMAS 2020 (PC) Int. Conf. on Autonomous Agents and Multiagent Systems May 9-13,2020, Auckland, NZ.
AAAI 2020 (PC) 34th AAAI Conference on Artificial Intelligence. February 7-12, 2020, Hilton New York, USA.
TIME 2019 (co-Chair) 26th Int. Symp. on Temporal Representation and Reasoning. Oct. 16-19, 2019, Malaga.
SR 2019 (co-Chair) 7th Int. Workshop on Strategic Reasoning. August 11-12, 2019
Macao, Satellite of IJCAI.
RADICAL 2019 (PC) Workshop on Recent Advances in Concurrency and Logic. August 26, 2019.
JIAF 2019 (PC) 13èmes Journées d'Intelligence Artificielle Fondamentale. July 1-3, 2019, Toulouse.
IJCAI 2019 (PC) 28th International Joint Conference on Artificial Intelligence. August 10-16, 2019, Macao.
GraMSec 2019 (PC) 6th Int. Workshop on Graphical Models for Security Hoboken. 24 June 2019.
LICS 2019 (PC) 34th Annual ACM/IEEE Symp. on Logic in Computer Science. 24–27 June 2019, Vancouver.
Journées annuelles du GT-VERIF 17-19 juin 2019, LS2N / École Centrale - Nantes.
FMAI 2019 (co-Chair) Second Workshop on Formal Methods and AI. 2-3 May, 2019, Rennes, France.