<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<h3 id="toc_0" style="-webkit-print-color-adjust: exact; margin: 0px
0px 10px; padding: 0px; font-weight: bold; -webkit-font-smoothing:
antialiased; cursor: text; position: relative; font-size: 18px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-style: normal;
font-variant-caps: normal; letter-spacing: normal; orphans: auto;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration: none;">ITRS
2021 Call for papers</h3>
<h2 id="toc_1" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 24px; border-bottom-width: 1px;
border-bottom-style: solid; border-bottom-color: rgb(204, 204,
204); color: black; font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Tenth Workshop on Intersection Types
and Related Systems - ITRS 2021</h2>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">17 July 2021, Online</p>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Affiliated with<span
class="Apple-converted-space"> </span><a
href="https://fscd2021.dc.uba.ar/"
style="-webkit-print-color-adjust: exact; color: rgb(65, 131,
196);">FSCD</a>, 17-24 July 2021, Buenos Aires</p>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Web page:<span
class="Apple-converted-space"> </span><a
href="http://www.di.unito.it/%7Edeligu/ITRS2021/"
style="-webkit-print-color-adjust: exact; color: rgb(65, 131,
196);">http://www.di.unito.it/~deligu/ITRS2021/</a></p>
<h3 id="toc_2" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 18px; caret-color: rgb(0, 0, 0); color:
rgb(0, 0, 0); font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Aims and Scope</h3>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">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 which 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="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">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 behavioural 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="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">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="-webkit-print-color-adjust: exact; margin: 15px 0px;
padding-left: 30px; caret-color: rgb(0, 0, 0); color: rgb(0, 0,
0); font-family: Helvetica, arial, sans-serif; font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Formal
properties of systems with intersection types.</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Results
for related systems, such as union types, refinement types, or
singleton types.</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Applications
to lambda calculus, pi-calculus and similar systems.</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Applications
for programming languages, program analysis, and program
verification.</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Applications
for other areas, such as database query languages and program
extraction from proofs.</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Related
approaches using behavioural/intensional types and/or
denotational semantics to characterize computational properties.</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Quantitative
refinements of intersection types.</li>
</ul>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">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 at
the<span class="Apple-converted-space"> </span><a
href="http://itrs.di.unito.it/"
style="-webkit-print-color-adjust: exact; color: rgb(65, 131,
196);">ITRS home page</a>.</p>
<h3 id="toc_3" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 18px; caret-color: rgb(0, 0, 0); color:
rgb(0, 0, 0); font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Invited Speaker</h3>
<ul style="-webkit-print-color-adjust: exact; margin: 15px 0px;
padding-left: 30px; caret-color: rgb(0, 0, 0); color: rgb(0, 0,
0); font-family: Helvetica, arial, sans-serif; font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Jeremy
Siek (Indiana University Bloomington)</li>
</ul>
<h3 id="toc_4" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 18px; caret-color: rgb(0, 0, 0); color:
rgb(0, 0, 0); font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Paper Submissions</h3>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Papers must be original and not
previously published, nor submitted elsewhere. Papers should be
prepared in LaTeX using the<span class="Apple-converted-space"> </span><a
href="http://style.eptcs.org/"
style="-webkit-print-color-adjust: exact; color: rgb(65, 131,
196);">EPTCS macro</a><span class="Apple-converted-space"> </span>package
and should be in the range of 3-16 pages, plus at most 2 pages of
references. Submissions will be collected via EasyChair and
reviewed by anonymous referees.<span class="Apple-converted-space"> </span></p>
<h3 id="toc_5" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 18px; caret-color: rgb(0, 0, 0); color:
rgb(0, 0, 0); font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Important Dates</h3>
<ul style="-webkit-print-color-adjust: exact; margin: 15px 0px;
padding-left: 30px; caret-color: rgb(0, 0, 0); color: rgb(0, 0,
0); font-family: Helvetica, arial, sans-serif; font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Paper
submission: 12 April 2021</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Author
notification: 24 May 2021</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Final
version: 18 June 2021</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Workshop:
17 July 2021</li>
</ul>
<h3 id="toc_6" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 18px; caret-color: rgb(0, 0, 0); color:
rgb(0, 0, 0); font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Program Committee</h3>
<ul style="-webkit-print-color-adjust: exact; margin: 15px 0px;
padding-left: 30px; caret-color: rgb(0, 0, 0); color: rgb(0, 0,
0); font-family: Helvetica, arial, sans-serif; font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Antonio
Bucciarelli, Université de Paris, France</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Daniel
De Carvalho, Innopolis University, Russia</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Andrej
Dudenhefner, Saarland University, Germany</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Silvia
Ghilezan, University of Novi Sad, Serbia</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Ugo
de' Liguoro, Università di Torino, Italy (chair)</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Jeremy
Siek, Indiana University Bloomington, USA (co-chair)</li>
</ul>
<h4 id="toc_7" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 16px; caret-color: rgb(0, 0, 0); color:
rgb(0, 0, 0); font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Organizers:</h4>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Ugo de' Liguoro, Università di
Torino, Italy<span class="Apple-converted-space"> </span></p>
<p style="-webkit-print-color-adjust: exact; margin: 15px 0px;
caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family:
Helvetica, arial, sans-serif; font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Riccardo Treglia, Università di
Torino, Italy (<a class="moz-txt-link-abbreviated" href="mailto:riccardo.treglia@unito.it">riccardo.treglia@unito.it</a>)</p>
<h4 id="toc_8" style="-webkit-print-color-adjust: exact; margin:
20px 0px 10px; padding: 0px; font-weight: bold;
-webkit-font-smoothing: antialiased; cursor: text; position:
relative; font-size: 16px; caret-color: rgb(0, 0, 0); color:
rgb(0, 0, 0); font-family: Helvetica, arial, sans-serif;
font-style: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">Steering Committee</h4>
<ul style="-webkit-print-color-adjust: exact; margin-top: 15px;
margin-right: 0px; margin-bottom: 0px !important; margin-left:
0px; padding-left: 30px; caret-color: rgb(0, 0, 0); color: rgb(0,
0, 0); font-family: Helvetica, arial, sans-serif; font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); text-decoration: none;">
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Mariangiola
Dezani-Ciancaglini, Università di Torino, Italy</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Jakob
Rehof, TU University of Dortmund, Germany</li>
<li style="-webkit-print-color-adjust: exact; margin: 0px;">Joe
Wells, Heriot-Watt University, Scotland</li>
</ul>
<p>-- </p>
<pre class="moz-signature" cols="72">Ugo de'Liguoro
Associate Professor of Computer Science
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185, 10149, Torino, Italy
phone: +39 011 6706766 - fax: +39 011 751603</pre>
</body>
</html>