Mathematic Park, Institut Henri Poincaré, Paris, February 29, 2020.
Centre Fédéré en Verification Formelle, May 5, 2019, Bruxelles, Belgium.
Inria SecDays 2019, Januray 9-10, 2019, Rennes, France.
1st Workshop on Formal Methods in Artificial Intelligence FMAI 2019, 2-3 May, 2019, Rennes, France.
Journées sur les aspects Multi-Agents, Flexible, Temporel, Epistémique et Contingent de la planification MAFTEC 2018, December 5-7, 2018, Rennes, France.
Dynamics of MultiAgent Systems, December 17-21, 2018, Lorentz Center.
1st Workshop on Formal Methods in Artificial Intelligence FMAI 2017, February 22-24, 2017, Naples, Italy
Workshop "Logics for Rational Agents", Februray 10, 2017 Evry, France.
Game Theory in AI, Logic, and Algorithms, Dagstuhl seminar 1711, March 12-17 , 2017.
To Be Announced! Synthesis of Epistemic Protocols, Lorentz Center, Leiden
The Netherlands, August 2015
French Symposium on Games, Paris, May 2015
18th
International Conference on Foundations of Software Science and
Computation Structures (FoSSaCS), London, April 2015
GT ALGA - Annual Meeting 2015 LIAFA (Université Paris Diderot -
Paris 7), 30-31 March 2015
GImInAL workshop on Games of Imperfect Information via Automata and Logic, Chennai, December 2013
Journée IPR 2013, ENS Rennes, September 2013
GT FORWAL, LIP6, July 2013
GT Verif, ENS Cachan, June 2013
GT FORWAL, LIP6, May 2012
LSV, ENS Cachan, November 2011 and IMSc, Chennai, December 2011
Advances in Modal Logic 2010 Moscow, Russia, August 2010
Formal theories of Communication. Lorentz Center, Leiden, NL, February 2010
Logic, Automata, and
Games (video)
Institute of Mathematical Sciences (IMSc), Chennai, India, January 2009
Réunion annuelle du GT Jeux, GDR IM, Bordeaux Juin 2008
Meeting ANR DOTS-AVERISS Bordeaux 2008
Wodes Conference, Göteborg, Sweden, May 2008
ATVA 2007, Tokyo, Japan
OMEGA 2007, Tokyo, Japan
University of Western Australia, Perth 2007
Dagstuhl Seminar 06411 on
Specification, Verification and Test of Open Systems. V. Goranko , R. Grosu, S. Merz, H. Schlingloff 2006
Conference on Decision and Control 2005
On the Architectures in Decentralized Control
Dagstuhl Seminar 05241 on Synthesis and Planning, H. Kautz,
W. Thomas, M. Y. Vardi (Eds.) 2005
Talks at the Center for Intelligent Machines, Mc Gill University, Montréal (2004)
7th IFAC Workshop on Discrete Event System 2004
BIRS Workshop on Decentralized Discrete Event Systems: Architecture, Communication, and Control.
May 2004
Habilitation à Diriger les Recherche 2003