<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2025), co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025)</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*** We apologize for possible cross posting ***</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*********** FINAL CALL FOR PAPERS ***********</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
OVERLAY 2025 @ ECAI</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
26th October, 2025</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Bologna, Italy </div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(17, 85, 204);">
<u><a href="https://overlay.uniud.it/workshop/2025" id="OWA6752b72f-fb12-d865-f8d3-b7efa0d0e56f" class="OWAAutoLink" style="color: rgb(17, 85, 204);">https://overlay.uniud.it/workshop/2025</a></u></div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">NEW DEADLINE: July 19th, 2025</span></div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
We are looking for:<br>
- CONTRIBUTED PAPERS (5 pages + references + appendix; camera-ready version may be up to 8 pages + references + appendix)<br>
- PRESENTATION ONLY PAPERS (no constraints, not included in OVERLAY proceedings, and the work must have been recently published in another scientific journal or conference)</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*********** *********** ***********</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The workshop is the main official initiative supported by the OVERLAY group. 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 about opportunities and challenges at the border of the two areas.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
This year's edition will be held on October 25th or 26th, 2025, as a workshop co-located with ECAI 2025, which is scheduled to be held in Bologna, Italy.</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*** Call for contributions ***</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
We accept extended abstracts (5 pages + references + appendix) focusing on the interaction between Artificial Intelligence and Formal Methods and on the issue of symbolic/sub-symbolic integration. Presentation of results recently published in other scientific
journals or conferences and invited talks will complement the presentations of contributed papers.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Topics of interest include (but are not limited to):</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
automata theory</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
automated reasoning</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
automated planning and scheduling</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
controller synthesis</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
formal specification languages</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
formal verification</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
game theory</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
hybrid and discrete systems</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
logics in computer science</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
neuro-symbolic approaches</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
logics for neural networks</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
neural networks for logic</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
reactive synthesis</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
runtime verification and monitoring</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
satisfiability modulo theories and theorem proving</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
specification and verification of machine/deep learning systems</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
tools and applications</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Contributed papers can present recent results at the border of the two fields, new research directions, challenges and perspectives. Additionally, presentations of results recently published in other scientific journals or conferences are also welcome; however,
these will not be included in the proceedings. </div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
We plan to include all contributed papers in the Proceedings of the event, published at CEUR Workshop Proceedings. CEUR WS proceedings are archival proceedings indexed by DBLP and Scopus.</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Submitted contributed papers should not exceed five (5) pages plus references and appendix. Authors are asked to use the CEURART LaTeX style, available here:
<span style="color: rgb(17, 85, 204);"><u><a href="https://ceur-ws.org/Vol-XXX/CEURART.zip" id="OWA2b2c8196-e615-d2fe-fa5c-e6a339bc75eb" class="OWAAutoLink" style="color: rgb(17, 85, 204);">https://ceur-ws.org/Vol-XXX/CEURART.zip</a></u></span>. Authors of
accepted papers will have the possibility to extend their submissions for the final camera-ready version to eight (8) pages plus references and appendix. Note that the appendix will not be included in the proceedings and reviewers will consult it at their
own discretion. No constraints are present for presentation only papers (submitting either a one page abstract or the already published full paper, highlighting the original venue, is ok). </div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Submissions must be in PDF format and will be handled via the EasyChair Conference system at the following address:
<span style="color: rgb(17, 85, 204);"><u><a href="https://easychair.org/my/conference?conf=overlay2025" id="OWA35dab846-0353-ad7c-610c-af2ed642ba43" class="OWAAutoLink" style="color: rgb(17, 85, 204);">https://easychair.org/my/conference?conf=overlay2025</a></u></span>.</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*** Registration and participation fees ***</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
OVERLAY 2025 will take place as part of ECAI 2025. As a consequence, participants to the workshop must follow the instructions provided by the ECAI 2025 committee for what concerns the registration requirements.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*** Venue ***</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The workshop will take place in Bologna, in one of the venues of ECAI 2025 (<span style="color: rgb(17, 85, 204);"><u><a href="https://ecai2025.org/venues/" id="OWAb92f2e3d-44c7-cb7b-f4dc-08f1c28071ce" class="OWAAutoLink" style="color: rgb(17, 85, 204);">https://ecai2025.org/venues/</a></u></span>),
the 26th of October 2025.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*** Important dates (all deadlines are AOE) ***</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Paper submission: July 19th, 2025</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Acceptance notification: August 8th, 2025</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Camera-ready submission: September 17th, 2025</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
- Workshop: October 26th, 2025</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*** Program Committee Chairs ***</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Angelo Montanari - University of Udine, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Andrea Orlandini - National Research Council of Italy, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Nicola Saccomanno - University of Udine, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Stefano Tonetta - Fondazione Bruno Kessler, Italy</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
***Program Committee***</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Raul Barbosa - University of Coimbra, Portugal</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Saddek Bensalem - VERIMAG, France</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Alberto Bombardelli - Fondazione Bruno Kessler, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Laura Bozzelli - Federico II University of Naples, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Davide Bresolin - University of Padua, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Alessandro Burigana - Free University of Bozen-Bolzano, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Görschwin Fey - Hamburg University of Technology, Germany</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Mirco Giacobbe - University of Birmingham, United Kingdom</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Alessandro Gianola - INESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Nicola Gigante - Free University of Bozen-Bolzano, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Laura Giordano - University of Eastern Piedmont, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Martin Leucker - University of Luebeck, Germany</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Federico Mari - University of Rome Foro Italico, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Andrea Micheli - Fondazione Bruno Kessler, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Sergio Mover - Ecole Polytechnique, France</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Carla Piazza - University of Udine, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Ingo Pill - Graz University of Technology, Austria</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Michel Reniers - Eindhoven University of Technology, Netherlands</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Sabina Rossi - Ca' Foscari University of Venice, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Sasha Rubin - The University of Sydney, Australia</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Cesar Sanchez - IMDEA Software Institute, Spain</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Enrico Tronci - Sapienza University of Rome, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Sarah Winkler - Free University of Bozen-Bolzano, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Matteo Zavatteri - University of Padova, Italy</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Martin Zimmermann - Aalborg University, Denmark</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
*** Contacts ***</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
For more information email <span style="color: rgb(17, 85, 204);"><u><a href="mailto:overlay2025@easychair.org" id="OWA7eaf8f80-a33f-da63-7ec1-271c2b86e711" class="OWAAutoLink" style="color: rgb(17, 85, 204);">overlay2025@easychair.org</a></u></span></div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>