[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
8th Workshop on Intuitionistic Modal Logic and Applications (IMLA)
24–25 July 2026, Lisbon, Portugal
Affiliated with the Federated Logic Conference (FLoC 26)
https://urldefense.com/v3/__https://sonia-marin.github.io/imla26/__;!!IBzWLUs!SXhjQbFr8M6sB8mE2rUBbZg1V3lYC3Jmsi96yAyPF5A0FZ5NBDODDsRegKP9aJrkp7LKX9ObWXEUBX5SO_sREi_Ottkjtkeq7g$
************************************************************
Early registration deadline: June 1st
Registration web site:
https://urldefense.com/v3/__https://www.floc26.org/registration__;!!IBzWLUs!SXhjQbFr8M6sB8mE2rUBbZg1V3lYC3Jmsi96yAyPF5A0FZ5NBDODDsRegKP9aJrkp7LKX9ObWXEUBX5SO_sREi_OttkxKSYlgQ$
***********************************************************+
The workshop aims to explore theoretical and methodological issues at the
intersection of constructive proof theory and modal semantics, and their
connections with type theory and computation.
**Invited speakers**
- Danel Ahman, University of Tartu, Estonia
- Ranald Clouston, Australian National University, Australia
- Liron Cohen, Ben-Gurion University, Israel
- Brigitte Pientka, McGill University, Canada
**List of contributed talks**
See
https://urldefense.com/v3/__https://sonia-marin.github.io/imla26/__;!!IBzWLUs!SXhjQbFr8M6sB8mE2rUBbZg1V3lYC3Jmsi96yAyPF5A0FZ5NBDODDsRegKP9aJrkp7LKX9ObWXEUBX5SO_sREi_Ottkjtkeq7g$
**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
