Useful Links

Permanent Events

Past Events I liked and/or was involved into

  • LAMAS&SR 2021 (SC and PC) International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning. Satellite workshop of AAMAS 2021, London, United Kingdom, May 3 or 4 (TBA), 2021
  • AMAAS-2021 (PC) The 20th International Conference on Autonomous Agents and Multiagent Systems. 3-7 May, London, UK.
  • 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.
  • 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