[TYPES/announce] [CfP, deadline extension] Intersection Types and Related Systems (ITRS 2026)

[Andrej Dudenhefner]

                  CALL FOR PAPERS
                  12th Workshop on
Intersection Types and Related Systems (ITRS 2026)
          18th July 2026, Lisbon, Portugal

https://urldefense.com/v3/__https://itrs2026.tu-dortmund.de/__;!!IBzWLUs!Vu48PhDwz5UN1_FXwiF3y_oDrV-g3-KoyDAS4gY1UzaimbLIKvdqN_jQbD0tmqqY-8XJpd4Qbx0WCGJXwYhwadbC-93bSxPHpGC28DSyLO_rFpjdlCI$ 

IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE).

Paper submission: May, 22nd
Author notification: May, 29th
Final version: June, 28th
Workshop: July, 18th

OVERVIEW
--------
ITRS 2026 is affiliated with the 11th International Conference on
Formal Structures for Computation and Deduction (FSCD 2026) and
is part of the 9th Federated Logic Conference (FLoC 2026).

The ITRS workshop aims to bring together researchers working on both
the theory and practical applications of systems based on intersection
types and related systems.
We welcome original results or surveys about ongoing research,
short versions of recently published articles or papers submitted elsewhere,
and surveys of ongoing work.

Possible topics for submitted papers include, but are not limited to:
- Formal properties of systems with intersection types.
- Results for related systems, such as union types, refinement types, or 
singleton types.
- Applications to lambda calculus and similar systems.
- Applications to pi-calculus and similar systems.
- Applications to programming languages and program verification.
- Applications to other areas, such as database query languages and 
program extraction from proofs.
- Related approaches using behavioral/intensional types to characterize 
computational properties.
- Quantitative refinements of intersection types.

SUBMISSION AND PUBLICATION
--------------------------
Authors are invited to submit an extended abstract
(between 3 and 5 pages, excluding bibliography) in PDF format
through FLoC26 submissions: https://urldefense.com/v3/__https://submissions.floc26.org/itrs/__;!!IBzWLUs!Vu48PhDwz5UN1_FXwiF3y_oDrV-g3-KoyDAS4gY1UzaimbLIKvdqN_jQbD0tmqqY-8XJpd4Qbx0WCGJXwYhwadbC-93bSxPHpGC28DSyLO_rbJhP-FE$ 
Extended abstracts should be written in English using LaTeX.

Accepted papers will be presented at the workshop and will appear
on the workshop website as workshop proceedings.

INVITED SPEAKERS
----------------
- Federico Olimpieri, Aix Marseille University, France
- Ugo Dal Lago, University of Bologna, Italy (joint with TLLA 2026)
- Simon Forest, Aix Marseille University, France (joint with GaLoP 2026)

PROGRAM COMMITTEE
-----------------
Andrej Dudenhefner (TU Dortmund University), chair
Aleksy Schubert (University of Warsaw)
Miguel Ramos (Universidade do Porto)
Daniele Pautasso (University of Turin)
Giulio Guerrieri (University of Sussex)
Silvia Ghilezan (University of Novi Sad)
Ugo de'Liguoro (University of Turin)

STEERING COMMITTEE
------------------
Mariangiola Dezani-Ciancaglini (University of Turin, Italy)
Jakob Rehof (TU Dortmund University, Germany)
Joe Wells (Heriot-Watt University, Scotland)

INFORMATION
-----------
For further information, please contact Andrej Dudenhefner
Email: andrej DOT dudenhefner AT cs DOT tu-dortmund DOT de