AiML 2026

Call for Papers

About

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the
conferences.

AiML 2026 is organized by the Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam (UvA). The conference will take place on 29 June - 3 July 2026.

Topics

We invite submissions on all aspects of modal and related logic, including (but not limited to):

  • Semantics and model theory
  • Proof theory, also including automated deduction
  • Applications of modal logic 
  • Co-algebraic aspects 
  • History of modal logic
  • Philosophy of modal logic
  • Computational or theoretical aspects
  • Specific instances and variations of modal logic (e.g., description logics, dynamic logics, epistemic and deontic logics, modal logics for agent-based systems, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics)

Paper submissions

There will be two types of submissions for AiML 2026:

(1) Full papers for publication in the proceedings and presentation at the conference. The proceedings will be published open access via Electronic Proceedings in Theoretical Computer Science (EPTCS). 

(2) Short presentations intended for presentation at the conference but not for the published proceedings.

Both types of papers should be submitted electronically using the EasyChair submission page: https://easychair.org/conferences/?conf=aiml2026

Full papers

Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere.

The submissions should be at most 12 pages (references excluded), with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions do not need to be anonymised. The submissions must be typeset in LaTeX, using the style files and template available here (please check the readme for instructions!). 

Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper.

Short presentations

Submissions of extended abstracts of up to 3 pages (including bibliography) are also welcome, and will be subject to light reviewing. The extended abstracts should be prepared using the style files provided for full papers. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations on them.

At least one author of each accepted full paper or short presentation must register for and attend the conference.

Important dates

  • Abstract long papers submission: 20 February 2026
  • Full papers submission: 27 February 2026
  • Full papers acceptance notification: 24 April 2026
  • Short presentation submission: 5 May 2026
  • Camera-ready version full papers: 15 May 2026
  • Short presentations acceptance notification: 20 May 2026
  • Registration deadline: t.b.a.
  • Camera-ready version short presentations: 29 May 2026
  • Conference: 29 June – 3 July 2026

Program committee chairs

  • Marta Bílková (The Czech Academy of Sciences)
  • Yanjing Wang (Peking University)

Program committee

  • Natasha Alechina (Open Universiteit)
  • Philippe Balbiani (Institut de Recherche en Informatique de Toulouse)
  • Lev Beklemishev (Steklov Institute of Mathematics)
  • Nick Bezhanishvili (University of Amsterdam)
  • Adam Bjorndahl (Carnegie Mellon University)
  • Marta Bílková (The Czech Academy of Sciences) (co-chair)
  • Torben Braüner (Roskilde University)
  • Balder ten Cate (University of Amsterdam)
  • Agata Ciabattoni (TU Wien)
  • Ivano Ciardelli (Università di Padova)
  • Willem Conradie (University of the Witwatersrand)
  • Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
  • David Fernández-Duque (University of Barcelona)
  • Tim French (The University of Western Australia)
  • Peter Fritz (University College London)
  • David Gabelaia (TSU Razmadze Mathematical Institute)
  • Valentin Goranko (Stockholm University)
  • Silvio Ghilardi (Università degli Studi di Milano)
  • Sujata Ghosh (Indian Statistical Institute)
  • Nina Gierasimczuk (Technical University of Denmark)
  • Helle Hvid Hansen (University of Groningen)
  • Wesley Holliday (University of California, Berkeley)
  • Louwe Kuijer (University of Liverpool)
  • Clemens Kupke (University of Strathclyde)
  • Agi Kurucz (King's College London)
  • Alexander Kurz (Chapman University)
  • Roman Kuznets (Czech Academy of Sciences)
  • Tommaso Moraschini (Universitat de Barcelona)
  • Larry Moss (Indiana University Bloomington)
  • Eugenio Orlandelli (University of Bologna)
  • Alessandra Palmigiano (VU Amsterdam)
  • Vít Punčochář (Czech Academy of Sciences)
  • R Ramanujam (Azim Premji University)
  • Olivier Roy (Universität Bayreuth)
  • Katsuhiko Sano (Hokkaido University)
  • Igor Sedlár (Czech Academy of Sciences)
  • Sara Uckelman (Durham University)
  • Yde Venema (University of Amsterdam)
  • Rineke Verbrugge (University of Groningen)
  • Yanjing Wang (Peking University) (co-chair)
  • Xuefeng Wen (Sun Yat-sen University)
  • Frank Wolter (University of Liverpool)
  • Fan Yang (Utrecht University)

Local organizing committee

  • Rodrigo Almeida
  • Malvin Gattinger
  • Iris van der Giessen (co-chair)
  • Marianna Girlando (co-chair)
  • Lide Grotenhuis
  • Søren Brink Knudstrop
  • Daniël Otten
  • Mina Young Pedersen
  • Yde Venema

Steering committee

  • Marta Bílková (The Czech Academy of Sciences)
  • Agata Ciabattoni (TU Wien)
  • David Fernández-Duque (University of Barcelona)
  • David Gabelaia (TSU Razmadze Mathematical Institute)
  • Iris van der Giessen (University of Amsterdam)
  • Marianna Girlando (University of Amsterdam)
  • Nicola Olivetti (Aix-Marseille Université)
  • Alessandra Palmigiano (VU Amsterdam)
  • Rineke Verbrugge (University of Groningen)
  • Yanjing Wang (Peking University)

Contact

To get in touch with the organizers please write to: aiml2026-illc@uva.nl