ITRS 2020: 10th Workshop on Intersection Types and Related Systems - 2020 Turin, Italy, March 6, 2020 |
Conference website | http://www.di.unito.it/~deligu/ITRS2020/ |
Submission link | https://easychair.org/conferences/?conf=itrs2020 |
Submission deadline | January 20, 2020 |
Submission Guidelines
Authors are invited to submit an abstract (2 pages bibliography excluded) in PDF format, through EasyChair.
List of Topics
-
Formal properties of systems with intersection types.
-
Results for related systems, such as union types, refinement types, or singleton types.
-
Applications to lambda calculus, pi-calculus and similar systems.
-
Applications for programming languages, program analysis, and program verification.
-
Applications for other areas, such as database query languages and program extraction from proofs.
-
Related approaches using behavioural/intensional types and/or denotational semantics to characterize computational properties.
-
Quantitative refinements of intersection types.
Committees
Program Committee
-
Ugo de' Liguoro (Turin University)
-
Jeremy Siek (Indiana University Bloomington)
-
Andrej Dudenhefner (Saarland University)
-
Antonio Bucciarelli (Université Paris Diderot)
-
Daniel de Carvalho (Innopolis University)
-
Kazushige Terui (Kyoto University)
-
Silvia Ghilezan (University of Novi Sad)
Organizing committee
- Ugo de' Liguoro
Invited Speakers
- Jeremy Siek (Indiana University Bloomington)
Publication
Publishing of a full paper is planned in post-proceedings to appear in EPTCS, therefore we recommend using the EPTCS macro package to prepare submissions. Informal proceedings will be made available at the workshop.
Contact
All questions about submissions should be emailed to ugo.deliguoro@unito.it