<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:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@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:"Heading 1 Char";
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:"Heading 2 Char";
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.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.Heading1Char
{mso-style-name:"Heading 1 Char";
mso-style-priority:9;
mso-style-link:"Heading 1";
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-GB;
font-weight:bold;}
span.Heading2Char
{mso-style-name:"Heading 2 Char";
mso-style-priority:9;
mso-style-link:"Heading 2";
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-GB;
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:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:299651274;
mso-list-template-ids:923314242;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1
{mso-list-id:534538448;
mso-list-template-ids:-1484212330;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2
{mso-list-id:558249989;
mso-list-template-ids:-1269383656;}
@list l2:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l2:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3
{mso-list-id:1137840109;
mso-list-template-ids:1197505214;}
@list l3:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l3:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l4
{mso-list-id:1352141487;
mso-list-template-ids:-129224756;}
@list l4:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l4:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l4:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l4:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l4:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l4:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l4:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l4:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l5
{mso-list-id:2090223815;
mso-list-template-ids:-2092287950;}
@list l5:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l5:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l5:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l5:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l5:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l5:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l5:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l5:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
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="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p style="margin:0cm"><span style="font-family:"Arial",sans-serif;color:black">[apologies for cross-postings]</span><o:p></o:p></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span 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><o:p></o:p></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">The aim of </span><a href="https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DtTCch3oA$"><span style="font-family:"Arial",sans-serif;color:#1155CC">GandALF 2023</span></a><span 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><o:p></o:p></p>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:12.0pt;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Automata Theory<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Automated Deduction<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Computational aspects of Game Theory<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Concurrency and Distributed computation<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Decision Procedures<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Deductive, Compositional, and Abstraction Techniques for Verification<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Finite Model Theory<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">First-order and Higher-order Logics<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Formal Languages<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Game Semantics<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Games and Automata for Verification<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Logical aspects of Computational Complexity<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Logics of Programs<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Modal and Temporal Logics<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Model Checking<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Models of Reactive and Real-Time Systems<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Probabilistic Models (Markov Decision processes)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Program Analysis and Software Verification<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Reinforcement Learning<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Run-time Verification and Testing<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Specification and Verification of Finite and Infinite-state Systems<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l3 level1 lfo1;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Synthesis<o:p></o:p></span></li></ul>
<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>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:12.0pt;margin-bottom:0cm;mso-list:l2 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Abstract submission deadline: 23 June 2023<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l2 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Paper submission deadline: 30 June 2023<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l2 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Acceptance notification: 7 August 2023<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l2 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Camera-ready deadline: 6 September 2023<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l2 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Conference dates: 18-20 September 2023<o:p></o:p></span></li></ul>
<p style="margin:0cm"><span style="font-family:"Segoe UI Emoji",sans-serif;color:black">⚠</span><span style="font-family:"Arial",sans-serif;color:black"> all deadlines are</span><a href="https://urldefense.com/v3/__https://time.is/Anywhere_on_Earth__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DsUvPDRHA$"><span style="font-family:"Arial",sans-serif;color:black">
</span><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 style="font-family:"Arial",sans-serif;color:black">The proceedings will be published by</span><a href="https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DvtiW8hDQ$"><span style="font-family:"Arial",sans-serif;color:black">
</span><span style="font-family:"Arial",sans-serif;color:#1155CC">Electronic Proceedings in Theoretical Computer Science</span></a><span 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://urldefense.com/v3/__https://lmcs.episciences.org/__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_Ds5r4Qd_g$"><span style="font-family:"Arial",sans-serif;color:#1155CC">Logical Methods in Computer Science</span></a><span style="font-family:"Arial",sans-serif;color:black">.</span><o:p></o:p></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span 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><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">Submission</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 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://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DuouKDCZQ$"><span style="font-family:"Arial",sans-serif;color:#1155CC">
here</span></a><span 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><o:p></o:p></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=gandalf23__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DtMk7sO9A$"><span style="font-family:"Arial",sans-serif;color:#1155CC">https://easychair.org/conferences/?conf=gandalf23</span></a><span style="font-family:"Arial",sans-serif;color:black"> </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">Invited Speakers</span><o:p></o:p></h2>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l1 level1 lfo3;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif"><a href="https://urldefense.com/v3/__https://www.city.ac.uk/about/people/academics/laure-daviaud__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_Dt6wcxkew$"><span style="color:#1155CC">Laure Daviaud</span></a> – City, University of London (UK)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l1 level1 lfo3;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif"><a href="https://urldefense.com/v3/__https://researchportal.helsinki.fi/en/persons/juha-kontinen__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DutdVUfnw$"><span style="color:#1155CC">Juha Kontinen</span></a> – University of Helsinki (Finland)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l1 level1 lfo3;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif"><a href="https://urldefense.com/v3/__https://people.irisa.fr/Sophie.Pinchinat/__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_Ds_OQf6qA$"><span style="color:#1155CC">Sophie Pinchinat</span></a> – IRISA/University of Rennes (France)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l1 level1 lfo3;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif"><a href="https://urldefense.com/v3/__http://www.cs.tau.ac.il/*rabinoa__;fg!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DvPH4V0Ng$"><span style="color:#1155CC">Alexander Rabinovich</span></a> – Tel Aviv University (Israel)<o:p></o:p></span></li></ul>
<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>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l4 level1 lfo4;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Dario Della Monica (co-chair) – University of Udine (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l4 level1 lfo4;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Antonis Achilleos (co-chair) – Reykjavik University (Iceland)<o:p></o:p></span></li></ul>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Parosh Aziz Abdulla – Uppsala University (Sweden)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Christel Baier – Technische Universität Dresden (Germany)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Valentina Castiglioni – Reykjavik University (Iceland)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Giorgio Delzanno – University of Genova (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Léo Exibard – Université Gustave Eiffel (France)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Gabriele Fici – University of Palermo (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span lang="SV" style="font-family:"Arial",sans-serif">Dana Fisman – Ben-Gurion University (Israel)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Nicola Gigante – Free University of Bozen-Bolzano (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Miika Hannula – University of Helsinki (Finland)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Naoki Kobayashi – The University of Tokyo (Japan)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span lang="SV" style="font-family:"Arial",sans-serif">Orna Kupferman – Hebrew University (Israel)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Martin Leucker – University of Lübeck (Germany)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Fabio Mogavero – University of Napoli (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Pawel Parys – University of Warsaw (Poland)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Guillermo Pérez – University of Antwerp (Belgium)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Giovanni Pighizzini – University of Milano (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Gabriele Puppis – University of Udine (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Joshua Sack – California State University Long Beach (USA)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Ocan Sankur – CNRS/Irisa (France)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Patrick Totzke – University of Liverpool (UK)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Jana Wagemaker – Radboud University (Netherlands)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l5 level1 lfo5;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Martin Zimmermann – Aalborg University (Denmark)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l5 level1 lfo5;vertical-align:baseline">
<i><span style="font-family:"Arial",sans-serif">(to be completed)<o:p></o:p></span></i></li></ul>
<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>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo6;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Luca Aceto – Reykjavik University (Iceland)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo6;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Javier Esparza – University of Munich (Germany)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo6;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Salvatore La Torre – University of Salerno (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo6;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Angelo Montanari – University of Udine (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo6;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Mimmo Parente – University of Salerno (Italy)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo6;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Jean-François Raskin – Université libre de Bruxelles (Belgium)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l0 level1 lfo6;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Martin Zimmermann – Aalborg University (Denmark)<o:p></o:p></span></li></ul>
<h2 style="mso-margin-top-alt:18.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-size:16.0pt;font-family:"Arial",sans-serif;color:black">Website</span><o:p></o:p></h2>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<a href="https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Uvibni4QRbTOlPH1sPj8Ohoi0EW8Mq7fOMZmVJVvbcs-CeZtEee2g6m8fv14bTETAMk1xmw9ZcnpdiWSoDnx_DtTCch3oA$"><span style="font-family:"Arial",sans-serif;color:#1155CC">https://gandalf23.uniud.it/</span></a><span style="font-family:"Arial",sans-serif;color:black"> </span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>