IMLA is back! ---------- Forwarded message --------- From: Sonia Marin <[email protected]> Date: Thu, Feb 26, 2026 at 1:34 PM Subject: [WiL] Call for Abstracts: IMLA Workshop, Lisbon, 24-25 July To: [email protected] <[email protected] >
8th Workshop on Intuitionistic Modal Logic and Applications (IMLA) 24–25 July 2026, Lisbon, Portugal Affiliated with the Federated Logic Conference (FLoC 26) https://sonia-marin.github.io/imla26/ 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. **Invited speakers** - Brigitte Pientka (McGill University, Montreal, Canada) - Ranald Clouston (ANU, Canberra, Australia) - More to be confirmed. **Submissions** We invite abstracts for contributed talks of up to *2 pages* (excluding bibliography). They may describe published work, unpublished work, or work in progress. We especially encourage submissions from students and early-career researchers. Abstracts should be submitted via the workshop’s submission page: https://submissions.floc26.org/imla/ Accepted abstracts will be made available for the workshop; there are no formal published proceedings at this time, but the organisers will explore options for post-workshop proceedings. At least one author of each accepted submission is expected to register and attend the workshop at FLoC 26. **Important Dates** * Abstract submission deadline: 23 April 2026 * Notification of acceptance: 23 May 2026 * Final versions: To be announced * Early registration deadline: 1 June 2026 * Workshop dates: 24–25 July 2026 **Program Committee** - Marianna Girlando - Lourdes González-Huesca - Jim de Groot - Sonia Marin (co-chair) - Leonardo Pacheco - Valeria de Paiva (co-chair) - Ian Shillito - Nachi Valliappan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv4xhqbaUdm-B%2B0ctrXYgxaGzF486sz1sgfzSM2r7RW2w%40mail.gmail.com.
