Logic List Mailing Archive

CfR: IMLA 2026 – 8th Workshop on Intuitionistic Modal Logic and Applications, 24–25 July 2026, Lisbon (Portugal)

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/

************************************************************
Early registration deadline: June 1st
Registration web site: https://www.floc26.org/registration
***********************************************************+

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://sonia-marin.github.io/imla26/

**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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php