<div dir="ltr"><div dir="ltr"><div><h2><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:18pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems</span></h2><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:11pt;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">9 July 2024</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">Affiliated with </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(17,85,204)"><a href="https://urldefense.com/v3/__https://cs.ioc.ee/fscd24/__;!!IBzWLUs!S4vUjNSrB2pGBeJce58EUJeav-QhIYwviJvq2_jJU7MfZotTETfR_6BoU4daOcuIhAs_8J3z4SyR0MHkl91CjSOU2knwyMhS3DPNO5GO4R8$" id="m_4918296585028449747gmail-OWA3492017f-875e-6d9c-c005-f4c8bc33abc5" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;text-decoration-line:none" target="_blank">FSCD</a></span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">, 10-13 July 2024, Tallinn, Estonia</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">Web page: </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(17,85,204)"><a href="https://urldefense.com/v3/__http://www.di.unito.it/*deligu/ITRS2024/__;fg!!IBzWLUs!S4vUjNSrB2pGBeJce58EUJeav-QhIYwviJvq2_jJU7MfZotTETfR_6BoU4daOcuIhAs_8J3z4SyR0MHkl91CjSOU2knwyMhS3DPN1rXeTs4$" id="m_4918296585028449747gmail-OWAaa481ace-276e-3213-5eec-f2ae600715dc" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;text-decoration-line:none" target="_blank">http://www.di.unito.it/~deligu/ITRS2024/</a></span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> </span></p><h3 style="line-height:1.38;direction:ltr;margin-top:0px;margin-bottom:0px;padding-top:4pt;padding-bottom:8pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:13.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Aims and Scope</span></h3><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-top:3pt;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">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.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">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.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">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:</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">• Formal properties of systems with intersection types.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">• Results for related systems, such as union types, refinement types, or singleton types.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">• Applications to λ-calculus, π-calculus and similar systems.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">• Applications for programming languages, program analysis, and program verification.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">• Related approaches using behavioural/intensional types and/or denotational semantics.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;text-align:justify;line-height:1.2;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">• Quantitative refinements of intersection types.</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">ITRS workshops have been held almost every two years. Information about the previous events is available on the </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(65,131,196)"><a href="https://urldefense.com/v3/__http://itrs.di.unito.it/__;!!IBzWLUs!S4vUjNSrB2pGBeJce58EUJeav-QhIYwviJvq2_jJU7MfZotTETfR_6BoU4daOcuIhAs_8J3z4SyR0MHkl91CjSOU2knwyMhS3DPNnsPkyhU$" id="m_4918296585028449747gmail-OWAa182c914-3f95-013a-85e0-643517ace0fd" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(65,131,196);text-decoration-line:none" target="_blank">ITRS home page</a> </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"><a href="https://urldefense.com/v3/__http://itrs.di.unito.it/__;!!IBzWLUs!S4vUjNSrB2pGBeJce58EUJeav-QhIYwviJvq2_jJU7MfZotTETfR_6BoU4daOcuIhAs_8J3z4SyR0MHkl91CjSOU2knwyMhS3DPNnsPkyhU$" id="m_4918296585028449747gmail-OWA05239110-a75f-1120-e422-8dcacac95ec0" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black;text-decoration-line:none" target="_blank">http://itrs.di.unito.it/</a>. </span></p><h3 style="line-height:1.38;direction:ltr;margin-top:0px;margin-bottom:8pt;padding-top:4pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:13.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Invited Speaker(s) </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:normal;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">TBD</span></h3><h3 style="line-height:1.38;direction:ltr;margin-top:14pt;margin-bottom:4pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:13pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Submissions</span></h3><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:medium;line-height:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0)"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">Submission should be between 3 and 5 pages, excluding bibliography. </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Roboto,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(68,71,70)">We welcome </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Roboto,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(68,71,70)">original results or surveys about ongoing research,</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Roboto,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(68,71,70)"> 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.</span></div><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:medium;line-height:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0)"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:12pt;line-height:inherit;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"><br></span></div><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">The submission Web page for ITRS24 is on Easychair: </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(17,85,204)"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=itrs24__;!!IBzWLUs!S4vUjNSrB2pGBeJce58EUJeav-QhIYwviJvq2_jJU7MfZotTETfR_6BoU4daOcuIhAs_8J3z4SyR0MHkl91CjSOU2knwyMhS3DPN1l8FtPM$" id="m_4918296585028449747gmail-OWA04f47d70-ae6e-9bd4-2f75-309ee0529a7b" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;text-decoration-line:none" target="_blank">https://easychair.org/conferences/?conf=itrs24</a><u> </u></span></p><h3 style="line-height:1.38;direction:ltr;margin-top:0px;margin-bottom:8pt;padding-top:15pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:13.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Important Dates</span></h3><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Paper submission: 6 May 2024 </span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Author notification: 10 June 2024 </span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Final version: 28 June 2024</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Workshop: 9 July 2024</span></p><h3 style="line-height:1.38;direction:ltr;margin-top:15pt;margin-bottom:8pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:13.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Program Committee</span></h3><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">• </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">Delia Kesner (Université Paris Cité) - Chair</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Pawel Parys (University of Warsaw) </span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Paola Giannini (Università del Piemonte Orientale) </span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Silvia Ghilezan (University of Novi Sad)</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Kim Nguyen (Université Paris Saclay) </span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14.67px;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      •</span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"> Pablo Barenbaum (Universidad Buenos Aires) </span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:11pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      • Ugo de Liguoro (Università di Torino)</span></p><h4 style="direction:ltr;line-height:1.38;margin-top:15pt;margin-bottom:0px;padding-bottom:8pt;font-size:9.75pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:12pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Organizers:</span></h4><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px;padding-top:3pt;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">Ugo de' Liguoro, Università di Torino, Italy</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px;padding-bottom:11pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">Riccardo Treglia, King’s College London, UK </span></p><h4 style="direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:8pt;padding-top:4pt;font-size:9.75pt"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:12pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Steering Committee</span></h4><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:11pt;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      • Mariangiola Dezani-Ciancaglini, Università di Torino, Italy</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      • Jakob Rehof, TU University of Dortmund, Germany</span></p><p style="color:rgb(0,0,0);font-size:medium;direction:ltr;line-height:1.38;margin-top:0px;margin-bottom:0px"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10.5pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">      • Joe Wells, Heriot-Watt University, Scotland</span></p></div></div></div>