<div dir="ltr"><h3 id="gmail-m_6439221986329310589gmail-toc_0" style="margin:0px 0px 10px;padding:0px;font-size:18px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif">ITRS 2021 Call for Post-Proceedings</h3><h2 id="gmail-m_6439221986329310589gmail-toc_1" style="margin:20px 0px 10px;padding:0px;font-size:24px;border-bottom:1px solid rgb(204,204,204);color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif">Tenth Workshop on Intersection Types and Related Systems - ITRS 2021</h2><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">17 July 2021, Online</p><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">Affiliated with <a href="https://urldefense.com/v3/__https://fscd2021.dc.uba.ar/__;!!IBzWLUs!FLn7aHMzY6HrXO3KJJA59O83OnWqksX9LvNZresHtiVy7ClLtbwjipgIXqebOfIjGgo_N6e9W9X-TQ$" target="_blank" style="color:rgb(65,131,196)">FSCD</a>, 17-24 July 2021, Buenos Aires</p><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">Web page: <a href="https://urldefense.com/v3/__http://www.di.unito.it/*deligu/ITRS2021/__;fg!!IBzWLUs!FLn7aHMzY6HrXO3KJJA59O83OnWqksX9LvNZresHtiVy7ClLtbwjipgIXqebOfIjGgo_N6dpZd2c0Q$" target="_blank" style="color:rgb(65,131,196)">http://www.di.unito.it/~deligu/ITRS2021/</a></p><h3 id="gmail-m_6439221986329310589gmail-toc_2" style="margin:20px 0px 10px;padding:0px;font-size:18px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif">Aims and Scope</h3><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">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 Lambda Calculus. The key idea is to introduce an intersection type constructor ∧ such that a term of type t ∧ s can be used at both type t and s within the same context. This provides a finite polymorphism where various, even unrelated, types of the term are listed explicitly, differently from the more widely used universally quantified types where the polymorphic type is the common schema that stands for its various type instances. As a consequence, more terms (all and only the normalizing terms) can be typed than with universal polymorphism.</p><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions. Restricted (and more manageable) forms have been investigated, such as refinement types. Type systems based on intersection type theory have been extensively studied for practical purposes, such as program analysis and higher-order model checking. The dual notion of union types turned out to be quite useful for programming languages. Finally, the behavioral approach to types, which can give a static specification of computational properties, has become central in the most recent research on type theory.</p><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">The ITRS 2021 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:</p><ul style="margin:15px 0px;padding-left:30px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px"><li style="margin:0px">Formal properties of systems with intersection types.</li><li style="margin:0px">Results for related systems, such as union types, refinement types, or singleton types.</li><li style="margin:0px">Applications to lambda calculus, pi-calculus and similar systems.</li><li style="margin:0px">Applications for programming languages, program analysis, and program verification.</li><li style="margin:0px">Applications for other areas, such as database query languages and program extraction from proofs.</li><li style="margin:0px">Related approaches using behavioral/intensional types and/or denotational semantics to characterize computational properties.</li><li style="margin:0px">Quantitative refinements of intersection types.</li></ul><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">ITRS workshops have been held every two years (with the exception of 2020, because of COVID-19 outbreak). Information about the previous events is available on the <a href="https://urldefense.com/v3/__http://itrs.di.unito.it/__;!!IBzWLUs!FLn7aHMzY6HrXO3KJJA59O83OnWqksX9LvNZresHtiVy7ClLtbwjipgIXqebOfIjGgo_N6f6bRQLZQ$" target="_blank" style="color:rgb(65,131,196)">ITRS home page</a>.</p><h3 id="gmail-m_6439221986329310589gmail-toc_3" style="margin:20px 0px 10px;padding:0px;font-size:18px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif">Post-Proceedings</h3><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">We are planning post-proceedings, including presentations to the workshop and submissions accepted via an open call with <strong>dates</strong>:</p><ul style="margin:15px 0px;padding-left:30px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px"><li style="margin:0px">submission deadline: <strong style="margin-top:0px">1 October</strong></li><li style="margin:0px">acceptance communication: <strong style="margin-top:0px">5 November</strong></li><li style="margin:0px">camera-ready version: <strong style="margin-top:0px">19 November</strong></li></ul><p style="margin:15px 0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px">Papers should not be published elsewhere, with original results or surveying ongoing research. They should be written in English using LaTex and will appear on EPTCS: see <a href="https://urldefense.com/v3/__http://info.eptcs.org/__;!!IBzWLUs!FLn7aHMzY6HrXO3KJJA59O83OnWqksX9LvNZresHtiVy7ClLtbwjipgIXqebOfIjGgo_N6et4QGLPw$" target="_blank" style="color:rgb(65,131,196)">Information for Authors</a>. Submissions should be 20 pages long, excluding bibliography and avoiding technical appendices. Submissions are expected via <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=itrs2021__;!!IBzWLUs!FLn7aHMzY6HrXO3KJJA59O83OnWqksX9LvNZresHtiVy7ClLtbwjipgIXqebOfIjGgo_N6fzL5aETw$" target="_blank" style="color:rgb(65,131,196)">EasyChair</a>.</p><h3 id="gmail-m_6439221986329310589gmail-toc_4" style="margin:20px 0px 10px;padding:0px;font-size:18px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif">Program Committee</h3><ul style="margin:15px 0px;padding-left:30px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px"><li style="margin:0px">Antonio Bucciarelli, Université de Paris, France</li><li style="margin:0px">Daniel de Carvalho, Université Grenoble Alpes, France</li><li style="margin:0px">Andrej Dudenhefner, Saarland University, Germany</li><li style="margin:0px">Silvia Ghilezan, University of Novi Sad, Serbia</li><li style="margin:0px">Giulio Guerrieri, University of Bath, UK</li><li style="margin:0px">Ugo de' Liguoro, Università di Torino, Italy (chair)</li><li style="margin:0px">Jeremy Siek, Indiana University Bloomington, USA (co-chair)</li></ul><hr style="background:url("") 0px 0px repeat-x transparent;border:0px none;color:rgb(204,204,204);height:4px;padding:0px;font-family:Helvetica,arial,sans-serif;font-size:14px"><h3 id="gmail-m_6439221986329310589gmail-toc_5" style="margin:20px 0px 10px;padding:0px;font-size:18px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif"></h3><h4 id="gmail-m_6439221986329310589gmail-toc_10" style="margin:20px 0px 10px;padding:0px;font-size:16px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif">Steering Committee</h4><ul style="margin:15px 0px 0px;padding-left:30px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif;font-size:14px"><li style="margin:0px">Mariangiola Dezani-Ciancaglini, Università di Torino, Italy</li><li style="margin:0px">Jakob Rehof, TU University of Dortmund, Germany</li><li style="margin:0px">Joe Wells, Heriot-Watt University, Scotland</li></ul><div><br></div><h4 id="gmail-m_6439221986329310589gmail-m_8483402962386995430gmail-toc_9" style="margin:20px 0px 10px;padding:0px;font-size:16px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif">Organizers:</h4><h4 id="gmail-m_6439221986329310589gmail-m_8483402962386995430gmail-toc_10" style="margin:20px 0px 10px;padding:0px;color:rgb(0,0,0);font-family:Helvetica,arial,sans-serif"><p style="font-size:14px;margin:15px 0px;font-weight:400"></p><ul><li style="margin-left:15px"><span style="font-weight:normal">Ugo de' Liguoro, Università di Torino, Italy</span></li><li style="margin-left:15px"><span style="font-weight:normal">Riccardo Treglia, Università di Torino, Italy (<a href="mailto:riccardo.treglia@unito.it" target="_blank">riccardo.treglia@unito.it</a>)</span></li></ul></h4></div>