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/ ****** Deadline Extension ****** 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** - Danel Ahman (University of Tartu, Estonia) - 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 (possibly online). **Important Dates** * Abstract submission deadline: 30 April 2026 (extended!) * 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 You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>