IMLA @FLoC26

General Information

Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction.

The workshop continues a series of previous workshops which were held as part of FLoC1999, Trento, Italy and FLoC2002, Copenhagen, Denmark, as part of LiCS2005, Chicago, USA and LiCS2008, Pittsburgh, USA, as part of the 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, France, 25 July, 2011 and associated with UNILOG 2013, Rio de Janeiro, Brazil and with ESSLLI2017, Toulouse, France.

The programme will include invited and contributed talks.

Invited Speakers

• Danel Ahman, University of Tartu, Estonia
  Temporal resource management via graded effects and graded modal types
• Ranald Clouston, Australian National University, Australia
  Semantics for Intuitionistic Modal Logics: Up From Constructive K
• Liron Cohen, Ben-Gurion University, Israel
  Controlling Computational Effects with Modalities
• Brigitte Pientka, McGill University, Canada
  A Type-safe Foundation For Cross-Language Interoperability Based on Adjoint Modalities

List of accepted talks

• Cut-free Proof Theory for Intuitionistic PDL
  Bahareh Afshari (University of Gothenburg) and Paaras Padhiar (University of Birmingham)
• Polytopological Semantics for Intuitionistic Modal Logics
  Juan Aguilera (TU Wien), David Fernández-Duque (Universitat de Barcelona) and Leonardo Pacheco (Institute of Science Tokyo)
• Higher-order Kripke models for intuitionistic and other non-classical modal logics
  Victor Barroso-Nascimento (University College London)
• Second-order Intuitionistic Tense Logic
  Justus Becker (University of Birmingham), Anupam Das (University of Birmingham), Sonia Marin (University of Birmingham) and Paaras Padhiar (University of Birmingham)
• Towards a labelled natural deduction for Constructive Modal Logics
  Yll Buzoku (University College London)
• Weak constructive modal logics systematised
  Tiziano Dalmonte (Free University of Bozen-Bolzano)
• Towards a logical characterization of Effectful Contextual Modal Type Theory
  Andrea De Domenico (IMDEA Software Institute, Madrid)
• An Unfinished Story: Decidability of IS4
  Marianna Girlando (University of Amsterdam, University of Southern Denmark), Roman Kuznets (Czech Academy of Sciences), Sonia Marin (University of Birmingham) and Lutz Strassburger (INIRIA, LIX Ecole Polytechnique)
• Gödel coding on fibrations and geminal categories
  Yuto Ikeda (The University of Tokyo)
• A Value Trick for Modal Type Systems
  Anton Lorenzen (University of Edinburgh), Wenhao Tang (University of Edinburgh) and Sam Lindley (University of Edinburgh)
• Coderivative intuitionistic logics of topological and bimetric spaces
  Yoàv Montacute (National Institute of Informatics) and Leonardo Pacheco (Institute of Science Tokyo)
• The Complexity of the Constructive Master Modality
  Sofía Santiago-Fernández (Universitat de Barcelona), David Fernández-Duque (Universitat de Barcelona) and Joost J. Joosten (Universitat de Barcelona)
• On the proof theory of constructive µ-calculus
  Luca Sauter (University of Gothenburg)
• Cover Semantics for Fitch-Style Modal Natural Deduction
  Ian Shillito (University of Birmingham) and Nachiappan Valliappan (University of Edinburgh)
• Equality of proofs in substructural intuitionistic modal logics
  Michel Smykalla (Tallinn University of Technology), Tarmo Uustalu (Reykjavik University and Tallinn University of Technology), Niccolò Veltri (Tallinn University of Technology) and Cheng-Syuan Wan (Tallinn University of Technology)
• KE-style tableaux for a family of intuitionistic modal logics
  Martin Sztajn (Departamento de Ciencias de la Computación, UBA), Alejandro Javier Solares Rojas (Instituto de Ciencias de la Computación, CONICET-UBA) and Ricardo Oscar Rodriguez (Departamento de Ciencias de la Computación, UBA)
• Proof-relevant Kripke semantics of µML via fixpoints of containers
  Sean Watters (University of Strathclyde; Coherence Research Ltd) and Ezra Schoen (University of Strathclyde)
• Contextual Modal MetaML: Syntax and Full Abstraction
  Haoxuan Yin (University of Oxford), Andrzej Murawski (University of Oxford) and Luke Ong (Nanyang Technological University)

Program

Submissions

We invite abstracts for contributed talks of up to 2 pages (excluding bibliography). These can be on published or unpublished work, as well as work in progress. We especially encourage students and early-career researchers to present their work.

There are no formal published proceedings, but accepted abstracts will be made available for the meeting. Please submit your abstracts via the submission page: https://submissions.floc26.org/imla/

We will explore the possibility of publishing post-proceedings for the workshop and will welcome feedback from speakers and participants.

Important Dates

• Abstract deadline: 23 April 2026 30 April 2026 AoE (extended)
• Notification: 23 May 2026
• Final versions: 19 June 2026
• Early registration deadline: 1st June 2026
• Workshop: 24-25 July 2026

Registration

The registration form for FLoC26 will list the names of all workshops. Participants will be required to register for a specific workshop, which will allow the organisers to properly allocate rooms and manage logistics.

Program Committee

Marianna Girlando, University of Amsterdam, Netherlands
Lourdes González-Huesca, UNAM, Mexico
Jim de Groot, University of Bern, Switzerland
Sonia Marin, University of Birmingham, UK (co-chair)
Leonardo Pacheco, Institue of Science Tokyo, Japan
Valeria de Paiva, Topos Institute, USA (co-chair)
Ian Shillito, University of Birmingham, UK
Nachi Valliappan, University of Edinburgh, UK