Past Events I liked or was involved into
Dynamics of MultiAgent Systems December 17-21, 2018, Lorentz Center, Leiden, NL.
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