Past Events I liked
- Dagstuhl Seminar 17111, on Game Theory in AI, Logic, and Algorithms. March 12-17, 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.
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.
- 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