<html 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=iso-8859-1">
<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;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
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;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:12.0pt;
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;}
--></style>
</head>
<body lang="IT" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*** We apologize for possible cross posting ***</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*********** CALL FOR PAPER (EXTENSION) ***********</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">OVERLAY 2023</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">6th - 9th November, 2023 (the precise day(s) will be announced later)</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Rome, Italy </span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black"><a href="https://overlay.uniud.it/workshop/2023">https://overlay.uniud.it/workshop/2023</a></span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Co-located with AIxIA 2023</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black"><a href="http://www.aixia2023.cnr.it/"><span lang="EN-US">http://www.aixia2023.cnr.it/</span></a></span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*********** *********** ***********</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of
reliable, robust, and verifiable methodologies. Artificial Intelligence systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a close interaction between the Artificial Intelligence and Formal Methods
scientific communities, and possibly leading to the proposal of novel neurosymbolic approaches.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic
solutions, are getting more and more attention, especially considering the wide-range and pervasive applications of machine and deep learning models.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">The workshop is the main official initiative supported by the OVERLAY group (</span><span style="font-family:"Arial",sans-serif;color:black"><a href="https://overlay.uniud.it"><span lang="EN-US">https://overlay.uniud.it</span></a></span><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">).
The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss opportunities and
challenges at the border of the two areas.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Important goals of the workshop are (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii)
to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">This year edition will be held between 6th and 9th November 2023 (the precise day(s) will be announced later), as a hybrid workshop co-located with
AIxIA 2023 (</span><span style="font-family:"Arial",sans-serif;color:black"><a href="http://www.aixia2023.cnr.it/"><span lang="EN-US">http://www.aixia2023.cnr.it/</span></a></span><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">), which
is scheduled to be held in Rome, Italy.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Participants must be registered to AIxIA 2023 (</span><span style="font-family:"Arial",sans-serif;color:black"><a href="http://www.aixia2023.cnr.it/"><span lang="EN-US">http://www.aixia2023.cnr.it/</span></a></span><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">).
Overlay does not have an additional specific fee.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*** Invited speaker ***</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Luciano Serafini - Fondazione Bruno Kessler, Italy</span><o:p></o:p></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><o:p> </o:p></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*** Call for contributions ***</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">We accept extended abstracts (4 pages + references) focusing on the interaction between Artificial Intelligence and Formal Methods and on the issue
of symbolic/sub-symbolic integration. Invited talks will complement the presentations of contributed papers.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Topics of interest include (but are not limited to):</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> automata theory</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> automated reasoning</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> automated planning and scheduling</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> controller synthesis</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> formal specification languages</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> formal verification</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> game theory</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> hybrid and discrete systems</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> logics in computer science</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> neurosymbolic approaches</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> logic for neural networks</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> neural networks for logic</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> reactive synthesis</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> runtime verification and monitoring</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> satisfiability modulo theories and theorem proving</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> specification and verification of machine/deep learning systems</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black"> tools and applications</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Contributed papers can present recent results at the border of the two fields, new research directions, challenges and perspectives. Presentation
of results recently published in other scientific journals or conferences is also welcome.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">We plan to include all papers in the Proceedings of the event, published at CEUR Workshop Proceedings. CEUR WS proceedings are archival proceedings
indexed by DBLP and Scopus.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Submitted papers should not exceed four (4) pages plus references. Authors are asked to use CEUR's LaTeX style, available at
</span><span style="font-family:"Arial",sans-serif;color:black"><a href="https://overlay.uniud.it/workshop/2023/CEURART.zip"><span lang="EN-US">https://overlay.uniud.it/workshop/2023/CEURART.zip</span></a></span><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Submissions must be in PDF format and will be handled via the EasyChair Conference system at the following address:
</span><span style="font-family:"Arial",sans-serif;color:black"><a href="https://easychair.org/my/conference?conf=overlay2023"><span lang="EN-US">https://easychair.org/my/conference?conf=overlay2023</span></a></span><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">.</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*** Important dates ***</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">- Paper submission:
<s>September 8th, 2023</s> September 22nd, 2023</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">- Acceptance notification:
<s>September 22nd, 2023</s> October 4th, 2023</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">- Camera-ready submission: October 15th, 2023</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">- Workshop: between 6th and 9th November, 2023 (the precise day(s) will be announced later)</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*** Program Committee ***</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Chairs</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Andrea Brunello - University of Udine, Italy</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Alessandro Gianola - Free University of Bozen-Bolzano, Italy</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Fabio Mogavero - University of Napoli Federico II, Italy</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">PC Members </span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Dylan Bellier - University of Rennes, France</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Massimo Benerecetti - University of Napoli Federico II, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Laura Bozzelli - University of Napoli Federico II, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Daniele Dell'Erba - University of Liverpool, UK</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Dario Della Monica - University of Udine, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Marco Faella - University of Napoli Federico II, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Luca Geatti - University of Udine, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Silvio Ghilardi - Università degli Studi di Milano, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><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="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Inês Lynce - INESC-ID / Instituto Superior Técnico, Lisbon, Portugal</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Andrea Mazzullo - University of Trento, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Andrea Micheli - Fondazione Bruno Kessler, Trento, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Andrea Orlandini -
</span><span style="font-size:11.5pt;font-family:"Arial",sans-serif;color:#333333;background:white">ISTC-CNR, Rome, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Matteo Papini - Universitat Pompeu Fabra, Barcelona, Spain</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Gian Luca Pozzato - University of Turin, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Guido Sciavicco - University of Ferrara, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Ionel Eduard Stan - Free University of Bozen-Bolzano, Italy</span><span lang="EN-US"><o:p></o:p></span></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Cesare Tinelli - The University of Iowa, USA</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span style="font-family:"Arial",sans-serif;color:black">Tiziano Villa - University of Verona, Italy</span><o:p></o:p></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">Matteo Zavatteri - University of Padova, Italy</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">*** Contacts ***</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p style="margin:0cm;text-align:justify"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:black">For more information email
</span><a href="mailto:overlay2023@easychair.org"><span lang="EN-US" style="font-family:"Arial",sans-serif;color:#1155CC">overlay2023@easychair.org</span></a><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>