Accueil

Advances in Modal Logic
Rennes, 22-25 août 2022

Avancées en logique modale 2022
Rennes, du 22 au 25 août

Advances in Modal Logic est une initiative visant à présenter l’état de l’art de la logique modale et de ses applications. Cette initiative prend la forme d’une série de conférences et d’une série de volumes associée.

Vous pouvez trouver plus d’informations sur les éditions précédentes de AiML sur http://www.aiml.net.

AiML 2022 est co-organisé avec le Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022) à l’IRISA.

Comité d’organisation

Sophie Pinchinat (chair), Université de Rennes 1, IRISA
Sophie Maupile, IRISA
Dylan Bellier, Université de Rennes 1, IRISA
Pierre Le Scornet, Université de Rennes 1, IRISA
Alexandre Terefenko, Université de Rennes 1, IRISA / Université de Mons

Présidence du comité de programme

David Fernández Duque, University of Ghent
Alessandra Palmigiano, Vrije Universiteit Amsterdam

Comité de programme

Erman Acar, VU Amsterdam
Bahareh Afshari, University of Amsterdam
Natasha Alechina, University of Utrecht
Steve Awodey, Carnegie Mellon
Philippe Balbiani, CNRS, Toulouse University
Marta Bilkova, Academy of Sciences of the Czech Republic
Xavier Caicedo, University of los Andes
Walter Carnielli, State University of Campinas
Agata Ciabattoni, TU Wien
Ivano Ciardelli, University of Munich
Willem Conradie, University of the Witwatersrand
Laurent De Rudder, University of Liege
Tommaso Flaminio, Spanish National Research Council
Sabine Frittella, INSA Centre Val de Loire
Nick Galatos, University of Denver
Sam van Gool, IRIF, Université de Paris
Giuseppe Greco, VU Amsterdam
Thomas Icard, Stanford University
Ramon Jansana University of Barcelona
Peter Jipsen, Chapman University
Joost Joosten, University of Barcelona
Stanislav Kikot, Sber Automotive Technologies
Philip Kremer, University of Toronto
Alexander Kurz, Chapman University
Roman Kuznets, TU Wien
Fei Liang, University of Shandong
Minghui Ma, Sun Yat-Sen University, Guangzhou
Morteza Moniri, Shahid Beheshti University
Tommaso Moraschini, University of Barcelona
Drew Moshier, Chapman University, Orange CA
Eric Pacuit, University of Maryland
Fedor Pakhomov, Ghent University
Sophie Pinchinat, IRISA, University of Rennes I
Daniele Porello, University of Genova
Vit Puncochar, Academy of Sciences of the Czech Republic
Revantha Ramanayake, University of Groningen
Christian Retoré, University of Montpellier
Umberto Rivieccio, Universidade Federal do Rio Grande do Norte
Claudette Robinson, University of Johannesburg
Gabriel Sandu, University of Helsinki
Igor Sedlar, Academy of Sciences of the Czech Republic
Ilya Shapirovsky, Institute for the Information Transmission Problems
Apostolos Tzimoulis, VU Amsterdam
Sara Uckelman, Durham University
Jouko Väänänen, University of Helsinki
Heinrich Wansing, University of Bochum
Frank Wolter, University of Liverpool

Dates à retenir

  • Date limite de soumission des abstracts des articles complets : 7 mars 2022
  • Date limite de soumission des articles complets : 14 mars 2022
  • Notification d’acceptation des articles complets : 13 mai 2022
  • Date limite de soumission des articles succints : 23 mai 2022
  • Notification d’acceptation des articles succints : 6 juin 2022
  • Date limite d’envoi des versions finales des articles complets et succints : 13 juin 2022
  • Conférence : 22 août — 25 août 2022

Orateurs invités

I obtained my PhD in Philosophy from the University of Florence, Italy and the University of Paris 1 Panthéon-Sorbonne, France. Before joining the IHPST UMR 8590, CNRS, where I have been a permanent member since 2015, I have held research and teaching positions at the VUB, Belgium and Aix-Marseille University. I have been actively working on the proof theory for modal logic for almost ten years. More recently I have moved my interests to more philosophical notions such as grounding or explanations; I use the techniques of proof theory to attempt to provide a rigorous account of these concepts.

Rineke Verbrugge is a pioneer in building bridges between logic and cognitive science. She holds the chair of Logic and Cognition at the University of Groningen’s Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence. Verbrugge’s research spans an area covering provability logic, teamwork in multi-agent environments, and social cognition. Since her PhD on logic and the foundations of mathematics at the University of Amsterdam in 1993, Verbrugge has published more than 170 peer-reviewed international publications and a monograph, Teamwork in Multi-Agent Systems, with Barbara Dunin-Kęplicz. Verbrugge has led the NWO Vici-project “Cognitive systems in interaction: Logical and computational models of higher-order social cognition”. She is one of the six principal investigators of the Gravitation project “Hybrid Intelligence: Augmenting Human Intellect” that runs in the Netherlands in 2020-2030. Verbrugge is associate editor of the Journal of Logic, Language and Information and has been program (co-)chair of several workshops and conferences, including AiML 2020 and TARK 2023, as well as chair of the Dutch Association for Logic. Since 2021, Verbrugge is an elected member of the Royal Netherlands Academy of Sciences (KNAW).

Wesley H. Holliday is Professor of Philosophy and Chair of the Group in Logic and the Methodology of Science at the University of California, Berkeley. He earned his PhD from Stanford University in 2012, working under the supervision of Johan van Benthem and Krista Lawlor. His dissertation on epistemic logic won the E. W. Beth Dissertation Prize in 2013. At Berkeley he has worked mainly on modal and nonclassical logic, logic and natural language, logic and probability, and logic and social choice theory. Some of his papers on modal logic have appeared in AiML 2010, 2012, 2014, 2016, 2018, and 2020.

Willem Conradie is a professor in the School of Mathematics at the
University of the Witwatersrand (WITS), South Africa, where is also Assistant Dean for Teaching and Learning in the Faculty of Science. Previously he was an associate professor and head of department at the University of Johannesburg. After completing the Master of Logic programme at the ILLC in 2002, he received a PhD in Mathematics from WITS in 2007 under the supervision of Valentin Goranko. His main research interests are in non-classical logics and their applications, on which he publishes regularly, with some recent contributions addressing the correspondence theory for non-distributive modal logics, new polarity and graph-based semantic for non-distributive modal logics suitable for interpretations of these formalisms as logics of categorisation systems or as hyper-constructivists logics of informational entropy and evidential reasoning, as well as new algebraic semantics for hybrid logics. Conradie has co-authored the book “Logic and Discrete Mathematics: A Concise Introduction” published by Wiley UK. He serves on the council of the South African Mathematical Society, the council of the Association for Symbolic Logic and on the South African Mathematics Olympiad committee.

Appel à contributions

Sujets

Nous vous invitons à soumettre des articles sur tous les aspects de la logique modale, dont :

  • history of modal logic 
  • philosophy of modal logic 
  • applications of modal logic 
  • computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) 
  • theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) 
  • specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics)

Des articles sur des sujets connexes pourront aussi être considérés.

Soumission d’articles

Il y aura deux types de soumissions pour AiML 2022 :

  1. Des articles complets publiés dans le compte-rendu et présentés pendant la conférence.
  2. Des articles succints présentés dans la conférence mais non publiés dans le compte-rendu.

Ces deux types d’articles doivent être soumis électroniquement par la page de soumission EasyChair, qui sera disponible en temps voulu. Les auteurs doivent utiliser les fichiers de style Latex disponibles ici.

Au moins un auteur de chaque article (complet ou succinct) devra s’inscrire et être présent à la conférence.

Articles complets

Les auteurs sont invités à soumettre des papiers complet présentant des recherches originales et non publiées ailleurs, pour une présentation à la conférence et dans son compte-rendu.

Ces soumissions doivent comporter au maximum 15 pages (références exclues), avec une annexe technique facultative de 5 pages maximum, ainsi qu’un abstract de 100-200 mots de texte brut. Les soumissions doivent être générées en LaTeX, en utilisant les fichiers de style et le modèle fournis ci-dessus.

Les auteurs doivent soumettre un résumé en texte brut via EasyChair avant la date limite de soumission du résumé, qui est avant la soumission complète de leur article.

Les articles complets acceptés seront présentés en 30 minutes à la conférence.

Articles succints

Des soumissions d’abstracts étendus, dans la limite de 5 pages, seront aussi acceptées après un examen allégé. Elles devront aussi suivre être écrits avec les styles LaTeX fournis ci-dessus. Les soumissions acceptées seront disponibles à la conférence, et leurs auteurs pourront les présenter pendant 15 minutes à la conférence.

Inscription

Programme

Informations locales

Afficher une carte plus grande

Contactez-nous

Les demandes d’informations doivent être envoyées à la présidence du PC :

Les commentaires sont clos.