Useful Links

Permanent Events

Past Events I liked and/or was involved into

  • (PC) Highlights 2024 September 16 to September 20 at the University of Bordeaux, France, in LaBRI.
  • (Invited talk) Workshop "Logic at the Interface: Modal Logic and AI" 11 au 12 juillet 2024,Montpellier, France.
  • Dagstuhl Seminar 24251 Teaching Support Systems for Formal Foundations of Computer Science, Jun 16–21, 2024.
  • (PC) JFIA 2024 Journées d’Intelligence Artificielle Fondamentale, 1er au 3 juillet 2024, La Rochelle, France.
  • RADICAL (PC) Third International Workshop on Recent Advances in Concurrency and Logic, 18 September 2023, Antwerp, Belgium. Co-located with CONFEST 2023.
  • GandALF 2023 (invited talk) Games, Automata, Logics, and Formal Verification 18–20 September 2023, Udine, Italy.
  • MFCS 2023 (PC) Mathematical Foundations of Computer Science, Bordeaux, France, August 28-31, 2023.
  • WoLLIC 2023 (PC) 29th Workshop on Logic, Language, Information and Computation, Dalhousie University in Halifax, Canada, July 11-14, 2023.
  • JFIA-JFPDA (PC) Journées d’Intelligence Artificielle Fondamentale et Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes 06-07 Juillet 2023, Strasbourg, France.
  • Journées annuelles du GDR RIADIA (invited talk) 2-3 juillet 2023, Strasbourg, France.
  • World Logic Day 2023 in Rennes, see also World Logic Day proclaimed by UNESCO to support the development of logic through teaching and research, as well as to public dissemination of the discipline.
  • FSTTCS 2022 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, IIT Madras, India, December 18-20, 2022.
  • GandALF 2022 The 13th International Symposium on Games, Automata, Logics, and Formal Verification. September 21-23, 2022, Madrid, Spain.
  • AiML 2022 (PC & Organizer). Advances in Modal Logic August 22-25, 2022, Rennes, France. Co-located with LAMAS&SR.
  • LAMAS&SR 2022 (PC & Organizer). International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning. August 25-26, 2022, Rennes, France. Co-located with AiML 2022.
  • FLoC2022. The Eighth Federated Logic Conference (FLoC 2022), July 31 - August 12, 2022, Haifa, Israel.
  • IJCAI-ECAI-2022 (Board-PC). The 31st International Joint Conference on Artificial Intelligence. July 23-29, 2022, Vienna, Austria.
  • LANMR 2022 (Invited talk).Fourteenth Latin American Workshop on New Methods of Reasoning.
  • CNIA 2022 (Invited talk). Conférence Nationale en Intelligence Artificielle. 27 Juin - 29 juin 2022, Saint-Étienne, France. Co-located with PFIA 2022.
  • Logic4peace:: fundraising online Logic event for Peace. Abstracts and Slides
  • AAAI 2022 (PC). The 12th AAAI Symposium on Educational Advances in Artificial Intelligence February 26-27, 2022 at the Vancouver Convention Centre, Vancouver, British Columbia, Canada.
  • World Logic Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), Januray 14, 2022.
  • Moshe Vardi World Logic Day Webinar, From Aristotle to the iPhone
  • R Ramanujam has been awarded The Indira Gandhi Prize for popularization of science for 2020
  • HIGHLIGHTS 2021, 9th conference on Highlights of Logic, Games and Automata, 15–17 September 2021.
  • DLT2021 25th International Conference on Developments in Language Theory, Porto, Portugal, August 16-20, 2021.
  • WAS 2021 (PC and invited talk) Workshop on Automated Synthesis, July 29 and July 30 2021, co-located with ESSLLI 2021.
  • ESSLLI 2021 32nd European Summer School in Logic, Language and Information (ESSLLI), July 26 - August 13, 2021.
  • IJCAI-2021 (SPC) 30th International Joint Conference on Artificial Intelligence. August 2021, Montreal, Canada.
  • ICALP-2021 (Track B) (PC) The 48th International Colloquium on Automata Languages and Programming. Glasgow, UK on 12-16 July 2021.
  • Urgence(s) écologique(s) : quelle(s) urgence(s) pour le droit ? Organisé par Nathalie Hervé-Fournereau et Alexandra Langlais, le colloque annuel de la Société française pour le droit de l’environnement se déroulera en distanciel du 9 au 11 juin 2021 (in French)
  • 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