[TYPES/announce] CfP ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems

[Riccardo Treglia]

ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems

9 July 2024

Affiliated with FSCD <https://urldefense.com/v3/__https://cs.ioc.ee/fscd24/__;!!IBzWLUs!QvWa-08QYWZSHlMcKdMq6iV8vTqrOlZo_te6O7gXXotnViJYD4Pumm5p9sQFbY1AiNMcoAfbm7fLDU6ZbGkGO-gi2650caAhTti0xbaCZ4U$ >, 10-13 July 2024, Tallinn,
Estonia

Web page: https://urldefense.com/v3/__https://itrs2024.di.unito.it/__;!!IBzWLUs!QvWa-08QYWZSHlMcKdMq6iV8vTqrOlZo_te6O7gXXotnViJYD4Pumm5p9sQFbY1AiNMcoAfbm7fLDU6ZbGkGO-gi2650caAhTti0q-kpLCw$ 
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://urldefense.com/v3/__https://itrs.di.unito.it/__;!!IBzWLUs!QvWa-08QYWZSHlMcKdMq6iV8vTqrOlZo_te6O7gXXotnViJYD4Pumm5p9sQFbY1AiNMcoAfbm7fLDU6ZbGkGO-gi2650caAhTti0iLdgKME$ 
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://urldefense.com/v3/__https://easychair.org/conferences/?conf=itrs24__;!!IBzWLUs!QvWa-08QYWZSHlMcKdMq6iV8vTqrOlZo_te6O7gXXotnViJYD4Pumm5p9sQFbY1AiNMcoAfbm7fLDU6ZbGkGO-gi2650caAhTti0rrPDS3c$ 
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240402/bfb656d0/attachment-0001.htm>