Past Events I liked and/or was involved into
FMAI 2021/2020(PC) 3rd International Workshop on Formal Methods in AI, April 15-16 2021.
AAAI-2021 (PC) The 35th AAAI Conference on Artificial Intelligence. Virtual conference February 2-9, 2021.
CSL 2021 (PC) 29th International Conference on Computer Science Logic January 25-28, 2021, Athens, Greece
IJCAI-PRICAI 2020 29th International Joint Conference on Artificial Intelligence. January 7-15 2021, Yokohama, Japan.
HIGHLIGHTS 2020: 8th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA Virtual conference, 15-18 September 2020.
ECAI 2020 European Conference on Artificial Intelligence. August 31-September 2 2020, Santiago de Compostela.
AiML 2020 (PC) 13th Conference on Advances in Modal Logic. 17-21 August 2020, University of Helsinki.
EPIP@ICAPS 2020 Workshop on Epistemic Planning (EpiP 2020). June 14-15 2020, Nancy, France.
JIAF 2020 (PC) Journées d’Intelligence Artificielle Fondamentale, 2-5 juin 2020, Université Côte d’Azur, Nice, France.
AAMAS 2020 (PC) Int. Conf. on Autonomous Agents and Multiagent Systems May 9-13,2020, Auckland, NZ
+ satellite event LAMAS 2020 (PC) 10th International Workshop on Logical Aspects of Multi-Agent Systems.
FMAI 2020 (PC) International Workshop on Formal Methods in AI. March 26-27, 2020, London, UK.
AAAI 2020 (PC) 34th AAAI Conference on Artificial Intelligence. February 7-12, 2020, Hilton New York, USA.
Congrès annuel de la Société Informatique de France, Lyon 4 et 5 février 2020
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) 2nd Workshop on Recent Advances in Concurrency and Logic. August 26, 2019, Amsterdam (The Netherlands).
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.
AAMAS 2019 18th International Conference on Autonomous Agents and Multiagent Systems. (PC)
Sec Days 2019 IRISA/Inria Rennes, January 9-10, 2019.
Dynamics of MultiAgent Systems December 17-21, 2018, Lorentz Center, Leiden, NL. (invited talk)
MAFTEC 2018 5èmes journées du groupe de travail du GDR IA sur la planification MultiAgent, Flexible, Temporelle, Epistémique et Contingente (MAFTEC), Rennes, 5-7 décembre 2018.
GraMSec 2018 5th International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018.
The Logic, Uncertainty and Games School Lake Como School of Advanced Studies - July 9-13, 2018.
CSF 2018 31st IEEE Computer Security Foundations Symposium , Co-located with FLOC 2018, July 9-12, 2018, Oxford, UK.
WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018, Bogota, Colombia.
IJCAI-ECAI 2018 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, July 13-19, 2018, Stockholm, Sweden.
AAMAS 2018 17th International Conference on Autonomous Agents and Multiagent Systems, July 10-15, in Stockholm, Sweden.
Journées Nationales 2018 Pré-GDR Sécurité Informatique, 30 mai-1 juin 2018, Paris.
WODES 2018 14th Workshop on Discrete Event Systems, May 30 - June 1, 2018, Sorrento Coast, Italy.
Computer Science Logic 2017, August 20-24, 2017, Stockholm University, Sweden.
19th European Agent Systems Summer School, 7-11 August, 2017, University of Gdansk, Gdansk, Poland.
Robolog 2017, June 28-30, 2017, IRISA, Rennes, France.
French-American Doctoral Exchange Seminar (FADEx) 2017: Cybersecurity, 14-15 June 2017, Rennes, France.
Dagstuhl Seminar 17231, on Epistemic Planning. June 5 â 9 , 2017.
Workshop on the 20th Anniversary of LSV, May 11-12, 2017 - Cachan.
Int. Workshop on Distributed Computing in the honor of Michel Raynal, May 5 2017, IRISA - Inria Rennes, Rennes France.
JournÃ©es nationales 2017 GDR Informatique MathÃ©matique, 14-16 mars 2017, LIRMM, Montpellier, France.
Dagstuhl Seminar 17111, on Game Theory in AI, Logic, and Algorithms. March 12-17, 2017.
FMAI 2017, 1st Workshop on Formal Methods in AI, 22-24 February 2017, University "Federico II" Naples, Italy.
Master Internship Subject for 2016-2017
FSTTCS 2016 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai Mathematical Institute, Chennai. December 13-15, 2016.
CSL 2016 25th EACSL Annual Conference on Computer Science Logic, Marseille, France
August 29 - September 1
SR 2016 4th International Workshop on Strategic Reasoning
Satellite Workshop of LICS 2016, July 9-10, 2016, New York City, USA
GraMSec 2016 3rd International Workshop on
Graphical Models for Security Lisbon, Portugal - June 27, 2016, Co-located with CSF 2016
French-American Doctoral Exchange Seminar (FADEx) 2016: SystÃšmes Cyber-Physiques 6-8 July 2016, Rennes, France
The Logic Summer School ANU College of Engineering & Computer Science. 30 November to 11 December 2015
MFCS 2015 40th International Symposium on Mathematical Foundations of Computer Science August 24-28, 2015 Milano (Italy).
To Be Announced! Synthesis of Epistemic Protocols 2nd
International Workshop 17-21 Aug 2015 Lorentz Center
International Center for Workshops in the Sciences.
International Workshop on Graphical Models for Security, Verona,
(Italy), 13 July 2015. Affiliated workshop of the Computer Security Foundations Symposium 2015.
4th International Congress on Tools for Teaching Logic, Rennes (France), 9-12 June 2015.
TARK 2015 15th conference on
Theoretical Aspects of Rationality and Knowledge, Pittsburgh (USA), 4-6 June 2015.
French Symposium on Game Theory and Applications 2015
UniversitÃ© Paris Diderot (France), 26-30 May 2015
Leipzig University (Germany), May 6 - 9, 2015.
8th Workshop on Logical Aspects of Multi-Agent Systems. Istanbul (Turkey), May 4-8, 2015.
JournÃ©es annuelles du GT ALGA
, UniversitÃ© Paris Diderot (France), March 23 - 24 , 2015.
Non-Zero-Sum-Games and Control
, Dagstuhl Seminar 15061, February 1 - 6 , 2015.
2014, 5th International Symposium on Games, Automata, Logics
and Formal Verification, Verona (Italy), 10-12 September 2014.
Games of Imperfect Information via Automata and Logic, December 7 and
December 10, 2013 Alladi Ramakrishnan Hall, IMSc
IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer
IIT Guwahati, India, December 12-14 2013.
SystÃšmes RÃ©actifs, INRIA Rennes - Bretagne Atlantique, France,
du 13 au 15 novembre 2013
Formation IPR 2013 "La thÃ©orie des jeux"
Highlights of Logic, Games and automata 2013
Verification and Testing of Multi-Agent Systems 2013 Dagstuhl Seminar 13181
GIPSy Workshop 2011 in Rennes, France