<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI Emoji";
panose-1:2 11 5 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
h1
{mso-style-priority:9;
mso-style-link:"Titolo 1 Carattere";
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:24.0pt;
font-family:"Calibri",sans-serif;
font-weight:bold;}
h2
{mso-style-priority:9;
mso-style-link:"Titolo 2 Carattere";
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:18.0pt;
font-family:"Calibri",sans-serif;
font-weight:bold;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.StileMessaggioDiPostaElettronica17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.Titolo1Carattere
{mso-style-name:"Titolo 1 Carattere";
mso-style-priority:9;
mso-style-link:"Titolo 1";
font-family:"Calibri",sans-serif;
mso-fareast-language:IT;
font-weight:bold;}
span.Titolo2Carattere
{mso-style-name:"Titolo 2 Carattere";
mso-style-priority:9;
mso-style-link:"Titolo 2";
font-family:"Calibri",sans-serif;
mso-fareast-language:IT;
font-weight:bold;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:161243016;
mso-list-template-ids:1781068314;}
@list l0:level1
{mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level2
{mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level3
{mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level4
{mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level5
{mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level6
{mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level7
{mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level8
{mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level9
{mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1
{mso-list-id:432283580;
mso-list-template-ids:813467876;}
@list l1:level1
{mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level2
{mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level3
{mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level4
{mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level5
{mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level6
{mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level7
{mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level8
{mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l1:level9
{mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2
{mso-list-id:889344130;
mso-list-template-ids:-1596849618;}
@list l2:level1
{mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level2
{mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level3
{mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level4
{mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level5
{mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level6
{mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level7
{mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level8
{mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l2:level9
{mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3
{mso-list-id:1077559367;
mso-list-template-ids:1693744766;}
@list l3:level1
{mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level2
{mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level3
{mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level4
{mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level5
{mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level6
{mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level7
{mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level8
{mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l3:level9
{mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4
{mso-list-id:1783306595;
mso-list-template-ids:1454300734;}
@list l4:level1
{mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level2
{mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level3
{mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level4
{mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level5
{mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level6
{mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level7
{mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level8
{mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l4:level9
{mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5
{mso-list-id:1908875181;
mso-list-template-ids:-1014434682;}
@list l5:level1
{mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level2
{mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level3
{mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level4
{mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level5
{mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level6
{mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level7
{mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level8
{mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l5:level9
{mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="IT" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p style="margin:0cm"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">[apologies for cross-postings]</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on
<b>September 18-20, 2023</b>.</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">The aim of </span>
<a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23.uniud.it%2F&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=N7i6wqueiqAJfQdMXP644K%2BRt8Ug2gsWAHmfBt9mSTg%3D&reserved=0"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#1155CC">GandALF
2023</span></a><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black"> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover
an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas.
Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following:</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">1.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Automata Theory</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">2.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Automated Deduction</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">3.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Computational aspects of Game Theory</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">4.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Concurrency and Distributed computation</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">5.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Decision Procedures</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">6.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Deductive, Compositional, and Abstraction Techniques for Verification</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">7.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Finite Model Theory</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">8.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">First-order and Higher-order Logics</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">9.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Formal Languages</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">10.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">11.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Game Semantics</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">12.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Games and Automata for Verification</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">13.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Logical aspects of Computational Complexity</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">14.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Logics of Programs</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">15.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Modal and Temporal Logics</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">16.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Model Checking</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">17.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Models of Reactive and Real-Time Systems</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">18.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Probabilistic Models (Markov Decision processes)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">19.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Program Analysis and Software Verification</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">20.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Reinforcement Learning</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">21.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Run-time Verification and Testing</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">22.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Specification and Verification of Finite and Infinite-state Systems</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">23.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Synthesis</span><o:p></o:p></p>
<h2 style="mso-margin-top-alt:18.0pt;margin-right:0cm;margin-bottom:4.0pt;margin-left:0cm">
<span style="font-size:17.0pt;font-family:"Arial",sans-serif;color:black">Important Dates</span><o:p></o:p></h2>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">1.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Abstract submission deadline: 23 June 2023</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">2.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Paper submission deadline: 30 June 2023</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">3.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Acceptance notification: 7 August 2023</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">4.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Camera-ready deadline: 6 September 2023</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">5.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Conference dates: 18-20 September 2023</span><o:p></o:p></p>
<p style="margin:0cm"><span style="font-family:"Segoe UI Emoji",sans-serif">⚠</span><span style="font-family:"Arial",sans-serif;color:black"> all deadlines are
</span><a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftime.is%2FAnywhere_on_Earth&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=ZqQkpQMwyiUS3%2FKML2%2FaTyGlxz9V35OlVCmGCoFtMOE%3D&reserved=0"><span style="font-family:"Arial",sans-serif;color:#1155CC">AoE</span></a><o:p></o:p></p>
<h2 style="mso-margin-top-alt:18.0pt;margin-right:0cm;margin-bottom:4.0pt;margin-left:0cm">
<span style="font-size:17.0pt;font-family:"Arial",sans-serif;color:black">Publication</span><o:p></o:p></h2>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">The proceedings will be published by
</span><a href="https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.eptcs.org%2F&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=iQiGTME2QnKXcQQd6kjjctDQTeZUe1ffWQC4uhXKuvE%3D&reserved=0"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#1155CC">Electronic
Proceedings in Theoretical Computer Science</span></a><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">. Authors of selected papers will be invited to submit a revised version of their work to a special issue of
</span><a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Flmcs.episciences.org%2F&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=zGRX7A5SC44L8lgpHCZEjL8ktercSU8KXSbZJ9lBk18%3D&reserved=0"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#1155CC">Logical
Methods in Computer Science</span></a><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">.</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and
2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022).</span><span lang="EN-GB"><o:p></o:p></span></p>
<h2 style="mso-margin-top-alt:18.0pt;margin-right:0cm;margin-bottom:4.0pt;margin-left:0cm">
<span lang="EN-GB" style="font-size:17.0pt;font-family:"Arial",sans-serif;color:black">Submission</span><span lang="EN-GB"><o:p></o:p></span></h2>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided</span><a href="https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fstyle.eptcs.org%2F&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=REIfgPYtai3K74HY0GUcPHlBI5dQJUZ6fKwevAd535k%3D&reserved=0"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#1155CC">
here</span></a><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions
must be in PDF format and will be handled via easychair at the following address:</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dgandalf23&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=x0ImuVECTgGGC4Jvf1WgeD5%2BIbE7KWxmf7oz4Tw4SyA%3D&reserved=0"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#1155CC">https://easychair.org/conferences/?conf=gandalf23</span></a><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black"> </span><span lang="EN-GB"><o:p></o:p></span></p>
<h2 style="mso-margin-top-alt:18.0pt;margin-right:0cm;margin-bottom:4.0pt;margin-left:0cm">
<span style="font-size:17.0pt;font-family:"Arial",sans-serif;color:black">Invited Speakers</span><o:p></o:p></h2>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l5 level1 lfo3;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">1.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black"><a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.city.ac.uk%2Fabout%2Fpeople%2Facademics%2Flaure-daviaud&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=aBZ4xQdBIZfQyFCiC79Yrnflbg7FMZu34fg0Wx4mwZ0%3D&reserved=0"><span lang="EN-GB" style="color:#1155CC">Laure
Daviaud</span></a></span><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black"> – City, University of London (UK)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l5 level1 lfo3;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">2.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black"><a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fresearchportal.helsinki.fi%2Fen%2Fpersons%2Fjuha-kontinen&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=KMV0OwIcrPgIgMJ16TEIsaWv%2Fxhme6IpZFDpQEAv50Q%3D&reserved=0"><span lang="EN-GB" style="color:#1155CC">Juha
Kontinen</span></a></span><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black"> – University of Helsinki (Finland)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l5 level1 lfo3;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">3.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black"><a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpeople.irisa.fr%2FSophie.Pinchinat%2F&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663362124%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=GVF7WBcRpRh8IhHdR0LtSUzTMJ%2BRo2AynV995grrv5I%3D&reserved=0"><span lang="EN-GB" style="color:#1155CC">Sophie
Pinchinat</span></a></span><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black"> – IRISA/University of Rennes (France)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l5 level1 lfo3;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">4.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black"><a href="https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cs.tau.ac.il%2F~rabinoa&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663518360%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=S6ntihsa%2FRHnrq%2FbK4q5JIRInlfLT6xkQ0CoBV%2BwSJQ%3D&reserved=0"><span style="color:#1155CC">Alexander
Rabinovich</span></a> – Tel Aviv University (Israel)</span><o:p></o:p></p>
<h1 style="mso-margin-top-alt:20.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<span style="font-size:17.0pt;font-family:"Arial",sans-serif;color:black">Program Committee</span><o:p></o:p></h1>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l4 level1 lfo4;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">1.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Dario Della Monica (co-chair) – University of Udine (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l4 level1 lfo4;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">2.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Antonis Achilleos (co-chair) – Reykjavik University (Iceland)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">1.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Parosh Aziz Abdulla – Uppsala University (Sweden)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">2.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Christel Baier – Technische Universität Dresden (Germany)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">3.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Valentina Castiglioni – Reykjavik University (Iceland)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">4.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Giorgio Delzanno – University of Genova (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">5.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Léo Exibard – Université Gustave Eiffel (France)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">6.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Gabriele Fici – University of Palermo (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">7.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Dana Fisman – Ben-Gurion University (Israel)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">8.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Nicola Gigante – Free University of Bozen-Bolzano (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">9.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Miika Hannula – University of Helsinki (Finland)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">10.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Naoki Kobayashi – The University of Tokyo (Japan)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">11.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Orna Kupferman – Hebrew University (Israel)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">12.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Martin Leucker – University of Lübeck (Germany)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">13.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Fabio Mogavero – University of Napoli (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">14.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">15.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Pawel Parys – University of Warsaw (Poland)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">16.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Guillermo Pérez – University of Antwerp (Belgium)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">17.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Giovanni Pighizzini – University of Milano (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">18.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Gabriele Puppis – University of Udine (Italy)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">19.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Joshua Sack – California State University Long Beach (USA)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">20.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Ocan Sankur – CNRS/Irisa (France)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">21.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Patrick Totzke – University of Liverpool (UK)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">22.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Jana Wagemaker – Radboud University (Netherlands)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">23.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Martin Zimmermann – Aalborg University (Denmark)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo5;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">24.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><i><span style="font-family:"Arial",sans-serif;color:black">(to be completed)</span></i><o:p></o:p></p>
<h1 style="mso-margin-top-alt:20.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<span style="font-size:17.0pt;font-family:"Arial",sans-serif;color:black">Steering Committee</span><o:p></o:p></h1>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">1.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Luca Aceto – Reykjavik University (Iceland)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">2.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Javier Esparza – University of Munich (Germany)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">3.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Salvatore La Torre – University of Salerno (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">4.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Angelo Montanari – University of Udine (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span style="mso-list:Ignore">5.<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><span style="font-family:"Arial",sans-serif;color:black">Mimmo Parente – University of Salerno (Italy)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">6.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Jean-François Raskin – Université libre de Bruxelles (Belgium)</span><span lang="EN-GB"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span lang="EN-GB"><span style="mso-list:Ignore">7.<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black">Martin Zimmermann – Aalborg University (Denmark)</span><span lang="EN-GB"><o:p></o:p></span></p>
<h2 style="mso-margin-top-alt:18.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span lang="EN-GB" style="font-size:16.0pt;font-family:"Arial",sans-serif;color:black">Website</span><span lang="EN-GB"><o:p></o:p></span></h2>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<a href="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23.uniud.it%2F&data=05%7C01%7Cnicola.saccomanno%40uniud.it%7C0e17e461f21c4dd4a93408db1b3fb540%7C6e6ade15296c4224ac581c8ec2fd53a8%7C0%7C0%7C638133732663518360%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=KwdFKOacLfPzWi8vLhc2obKtuajth1NRUC8WzD0jgq8%3D&reserved=0"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#1155CC">https://gandalf23.uniud.it/</span></a><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:black"> </span><span lang="EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal">Best,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="mso-fareast-language:IT">Nicola Saccomanno, Research Fellow<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB" style="mso-fareast-language:IT">Dept. of Mathematics, Computer Science and Physics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:IT">University of Udine</span><span lang="EN-GB" style="mso-fareast-language:IT"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>