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

• Ranald Clouston, ANU, Canberra, Australia
• Brigitte Pientka McGill University, Montreal, Canada
• More to be confirmed.

Program

To be announced.

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
• Notification: 23 May 2026
• Final versions: To be announced.
• 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