Logic List Mailing Archive
CfP: ITRS 2024: Eleventh Workshop on Intersection Types and Related Systems, 9 July 2024, Tallinn (Estonia)
ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems
9 July 2024
Affiliated with FSCD<https://cs.ioc.ee/fscd24/>, 10-13 July 2024, Tallinn, Estonia
Web page: https://itrs2024.di.unito.it/
Aims and Scope
Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry’s type assignment system and to provide a characterization of the strongly normalizing terms of the λ-calculus. Intersection types have been one of the first examples of behavioural type theory: they provide an abstract specification of computational properties, by expressing a finer and more precise input/output relation than standard, commonly used, type systems can do.
Although intersection types were initially intended for use in analysing and/or synthesizing λ-models as well as in analysing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions. Nowadays there is a wide interest in a quantitative (and then finer) version of the original idempotent understanding of intersection, leading to a new wave of research. Type systems based on intersection type theory have been extensively studied for practical purposes, such as program analysis and synthesis. The dual notion of union types turned out to be quite useful for programming languages. Finally, the behavioural approach to types, which can give a static specification of computational properties, has become central in the most recent research on type theory.
The ITRS 2024 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. 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 λ-calculus, π-calculus and similar systems.
• Applications for programming languages, program analysis, and program verification.
• Related approaches using behavioural/intensional types and/or denotational semantics.
• Quantitative refinements of intersection types.
ITRS workshops have been held almost every two years. Information about the previous events is available on the ITRS home page: https://itrs.di.unito.it/
Invited Speaker(s)
• TBD
Submissions
Submission should be between 3 and 5 pages, excluding bibliography. We welcome original results or surveys about ongoing research, short versions of recently published articles, papers submitted elsewhere, and surveys of ongoing work. Communications should be written in English, using LaTeX, and will appear on the workshop website.
The submission Web page for ITRS24 is on Easychair: https://easychair.org/conferences/?conf=itrs24
Important Dates
• Paper submission: 6 May 2024
• Author notification: 10 June 2024
• Final version: 28 June 2024
• Workshop: 9 July 2024
Program Committee
• Delia Kesner (Université Paris Cité) - Chair
• Pawel Parys (University of Warsaw)
• Paola Giannini (Università del Piemonte Orientale)
• Silvia Ghilezan (University of Novi Sad)
• Kim Nguyen (Université Paris Saclay)
• Pablo Barenbaum (Universidad Buenos Aires)
• Ugo de Liguoro (Università di Torino)
Organizers:
Ugo de' Liguoro, Università di Torino, Italy
Riccardo Treglia, King’s College London, UK
Steering Committee
• Mariangiola Dezani-Ciancaglini, Università di Torino, Italy
• Jakob Rehof, TU University of Dortmund, Germany
• Joe Wells, Heriot-Watt University, Scotland
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php