Useful Links

Permanent Events

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.
  • GraMSec'15 2nd International Workshop on Graphical Models for Security, Verona, (Italy), 13 July 2015. Affiliated workshop of the Computer Security Foundations Symposium 2015.
  • TTL 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
  • AutoMathA 2015 Leipzig University (Germany), May 6 - 9, 2015.
  • LAMAS 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.
  • GandALF 2014, 5th International Symposium on Games, Automata, Logics and Formal Verification, Verona (Italy), 10-12 September 2014.
  • GImInAL 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 Science,
    IIT Guwahati, India, December 12-14 2013.
  • Modélisation des 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
  • LOFT10 2012
  • GIPSy Workshop 2011 in Rennes, France
  • Organizations