<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<p dir="ltr" style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif; font-size: 15px; margin-top: 0px; margin-bottom: 0px; line-height: 1.656; color: rgb(36, 36, 36); background-color: rgb(255, 255, 255);">
<b style="font-weight:normal"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">[apologies for cross-postings]</span></b></p>
<b style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif; font-size: 15px; font-weight: normal; color: rgb(36, 36, 36); background-color: rgb(255, 255, 255);"><br class="ContentPasted0">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.656"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">Registration is finally open for
the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23), to be held in Udine (Italy) on
</span><span style="font-weight: 700; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">September 18-20, 2023</span><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">.</span></p>
<br class="ContentPasted0">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.656"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;"><span style="margin:0px"></span></span><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">***
Early registration deadline is September 4, 2023 (Monday) ***</span></p>
<br class="ContentPasted0">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.656"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">We invite you to attend GandALF
2023. We will offer a very exciting technical and social program, which includes 15 contributed talks, 4 invited talks by renowned international theoretical computer scientists:</span></p>
<br class="ContentPasted0">
<ul style="margin-top:0px;margin-bottom:0px">
<li dir="ltr" style="font-size: 11pt; font-family: Arial, sans-serif; font-weight: 400; list-style: disc; text-decoration: none; color: black;">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="font-style:italic;margin:0px;text-decoration:none" class="ContentPasted0">Weighted Automata At The Border Of Decidability</span><span style="margin:0px;text-decoration:none" class="ContentPasted0"> by
</span><a href="https://www.city.ac.uk/about/people/academics/laure-daviaud" target="_blank" rel="noopener noreferrer" data-auth="Verified" shash="DQa73BsNOq5II8dcj142csIeX78PZJVuiROV5lmkTjSAS39huXjDFSdNYv50Gd0/yDyK+rh90e1JlJl89QFJzyJUDuVvg7D6lY0OX+yfd9EndRWmC47qyRVb7vF6P7+OCO5RAst7UkuF/1LQeuHMrfocUonvVEtlzKcXxTWFvNU=" title="URL originale: https://www.city.ac.uk/about/people/academics/laure-daviaud. Fare clic o toccare se si considera attendibile questo collegamento." data-linkindex="0" style="margin:0px;text-decoration:none" class="ContentPasted0" data-loopstyle="linkonly"><span style="margin: 0px; text-decoration: underline; color: rgb(17, 85, 204);">Laure
Daviaud</span></a><span style="margin:0px;text-decoration:none" class="ContentPasted0"> – University of East Anglia (UK),</span></p>
</li><li dir="ltr" style="font-size: 11pt; font-family: Arial, sans-serif; font-weight: 400; list-style: disc; text-decoration: none; color: black;">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="font-style:italic;margin:0px;text-decoration:none" class="ContentPasted0">Complexity Aspects Of Logics In Team Semantics</span><span style="margin:0px;text-decoration:none" class="ContentPasted0"> by
</span><a href="https://researchportal.helsinki.fi/en/persons/juha-kontinen" target="_blank" rel="noopener noreferrer" data-auth="Verified" shash="vpWz1fTlkZbz9uS8So6wt6dwSJSAoUfU+We6InSvEsF4JxIYxwS6rZJ49sVW9F4NHS0JLwU6z/wPB0VBaCBqrQ1FIVB++SkYXw44dEN3KPqCp4gD6Uw6UqAN70C/AQd/sHwzgNZrrO5wIaZZgBV3ZR40Mhc1hIdr6ouDZPsV49Q=" title="URL originale: https://researchportal.helsinki.fi/en/persons/juha-kontinen. Fare clic o toccare se si considera attendibile questo collegamento." data-linkindex="1" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="margin: 0px; text-decoration: underline; color: rgb(17, 85, 204);">Juha
Kontinen</span></a><span style="margin:0px;text-decoration:none" class="ContentPasted0"> – University of Helsinki (Finland),</span></p>
</li><li dir="ltr" style="font-size: 11pt; font-family: Arial, sans-serif; font-weight: 400; list-style: disc; text-decoration: none; color: black;">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="font-style:italic;margin:0px;text-decoration:none" class="ContentPasted0">Strategic Reasoning Under Imperfect Information – The Case Of Synchronous Recall</span><span style="margin:0px;text-decoration:none" class="ContentPasted0"> by
</span><a href="https://people.irisa.fr/Sophie.Pinchinat/" target="_blank" rel="noopener noreferrer" data-auth="Verified" shash="I5jqSmf5DN9yQAi8cjRbYcxfRI9ybCjhWwZnHTsRpcDmsDPxqatkVK+wV4SAMpfbQjfugGgb9skIFo/PvVdJMABNggMcIzsQaxMnfpYmoEDB9sNQd4iGo+xK2qNIfTwRlBF0TWo+TAOr2KbdyW7TUOwBgscaosxGiScMBuowhCs=" title="URL originale: https://people.irisa.fr/Sophie.Pinchinat/. Fare clic o toccare se si considera attendibile questo collegamento." data-linkindex="2" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="margin: 0px; text-decoration: underline; color: rgb(17, 85, 204);">Sophie
Pinchinat</span></a><span style="margin:0px;text-decoration:none" class="ContentPasted0"> – IRISA/University of Rennes (France),</span></p>
</li><li dir="ltr" style="font-size: 11pt; font-family: Arial, sans-serif; font-weight: 400; list-style: disc; text-decoration: none; color: black;">
<p dir="ltr" style="margin-top:0px;margin-bottom:12pt;line-height:1.38"><span style="font-style:italic;margin:0px;text-decoration:none" class="ContentPasted0">The Church Synthesis Problem Over Continuous Time</span><span style="margin:0px;text-decoration:none" class="ContentPasted0"> by
</span><a href="http://www.cs.tau.ac.il/~rabinoa" target="_blank" rel="noopener noreferrer" data-auth="Verified" shash="VvqQ7Q+zysGxokKV+T/sq02it6BP7ehzmneEE2V9FNnWpmMS1Gfjg2Q/ZZjJPSH7Om8vT0CuJT2FtZsMpJ1kenqiD8SHUkHloYqDq7kOR+g3HtMrtH46EFvmqzbk7L30bbUY7/fzKu4A+z0gl3ciH83Bl9UkDrIIoioISYeV/zw=" title="URL originale: http://www.cs.tau.ac.il/~rabinoa. Fare clic o toccare se si considera attendibile questo collegamento." data-linkindex="3" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="margin: 0px; text-decoration: underline; color: rgb(17, 85, 204);">Alexander
Rabinovich</span></a><span style="margin:0px;text-decoration:none" class="ContentPasted0"> – Tel Aviv University (Israel),</span></p>
</li></ul>
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.656"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">and an enchanting boat trip and
dinner at a traditional Casone (check it out at </span><a href="https://gandalf23.uniud.it/excursion/" target="_blank" rel="noopener noreferrer" data-auth="Verified" shash="JAT/4Slu/46znWfyJdfiV1KM/BPC/m6lqAoGKfMBihvXLS16Lzi5idTGxncU75JrcV8FW3g1J9Ffomx+llXi7IA7TOV3en0odTtISDp2vZMwUd8wVNp+eqhA2qfkhqMfSXUMZRU6E+NKuyB55CTWcfRQZw1NFmmMmQILi4MjPcE=" title="URL originale: https://gandalf23.uniud.it/excursion/. Fare clic o toccare se si considera attendibile questo collegamento." data-linkindex="4" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: underline; color: rgb(17, 85, 204);">https://gandalf23.uniud.it/excursion/</span></a><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">).</span></p>
<br class="ContentPasted0">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.656"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">To register to the conference,
follow the instructions at </span><a href="https://gandalf23.uniud.it/registration/" target="_blank" rel="noopener noreferrer" data-auth="Verified" shash="f7768SGyP9lyw8XvGK1lyfI7kFnHUwI0Jeb2AS0/1nFsvTQXAjcoe7S6a5sD9bHJlQsGoHnhNQ3SNhTMRm7UILp4ORJA10c5qptq3fF/MI1YIr9ni3igOKey1kE8YE0bkL7DweX1cIr3hGCOxk8whW7WXu66KcKvp3d3urX4vUU=" title="URL originale: https://gandalf23.uniud.it/registration/. Fare clic o toccare se si considera attendibile questo collegamento." data-linkindex="5" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: underline; color: rgb(17, 85, 204);">https://gandalf23.uniud.it/registration/</span></a><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">.</span></p>
<br class="ContentPasted0">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.656"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">For more details about GandALF
2023 and about how to organize your visit to Udine, check our webpage (</span><a href="https://gandalf23.uniud.it/" target="_blank" rel="noopener noreferrer" data-auth="Verified" shash="B6oAl5/EHe8TluzcM16jIbqc+XqMxuJXZ086JKf4vXwj4xMBWqo6sD9oaO4UKosPBJMbLqmYrW0J2F/zU0Jq+RcJnyp2xCGka/ocCH4aenh/Scb8WUgeMtM+JBvdx68sAHdSn8rC/L8CVQ5nescHjSVP9AC20H7vvBj7MPh610U=" title="URL originale: https://gandalf23.uniud.it/. Fare clic o toccare se si considera attendibile questo collegamento." data-linkindex="6" style="margin:0px;text-decoration:none" class="ContentPasted0"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: underline; color: rgb(17, 85, 204);">https://gandalf23.uniud.it/</span></a><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">).
The full program will be published soon.</span></p>
<br class="ContentPasted0">
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">cheers</span></p>
<p dir="ltr" style="margin-top:0px;margin-bottom:0px;line-height:1.38"><span style="font-weight: 400; font-size: 11pt; font-family: Arial, sans-serif; margin: 0px; text-decoration: none; color: black;" class="ContentPasted0">Dario and Antonis (GandALF 23 PC
co-chairs)</span></p>
</b><br>
</div>
</body>
</html>