[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]CALL FOR PAPERS 12th Workshop on Intersection Types and Related Systems (ITRS 2026) 18th July 2026, Lisbon, Portugalhttps://urldefense.com/v3/__https://itrs2026.tu-dortmund.de/__;!!IBzWLUs!QCoB6Q6kL2D-hpePs4DGsIToNzPhGV2kAAWFCbqpKkUeZVFLGl4-U5hUd6ebNXjPw5CC9IqIwTLfGhXSg1WewxkWXENUMnfFK4PYBZAYwfY7lwaw__M$
IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE). Paper submission: May, 15th Author notification: June, 1st 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 formatthrough FLoC26 submissions: https://urldefense.com/v3/__https://submissions.floc26.org/itrs/__;!!IBzWLUs!QCoB6Q6kL2D-hpePs4DGsIToNzPhGV2kAAWFCbqpKkUeZVFLGl4-U5hUd6ebNXjPw5CC9IqIwTLfGhXSg1WewxkWXENUMnfFK4PYBZAYwfY7IeAOBPo$ 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 ---------------- - to be announced 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
