[CFP - Deadline Extended] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Nicola Saccomanno
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)
*** We apologize for possible cross posting ***
*********** FINAL CALL FOR PAPERS ***********
OVERLAY 2025 @ ECAI
26th October, 2025
Bologna, Italy
https://overlay.uniud.it/workshop/2025
NEW DEADLINE: July 19th, 2025
We are looking for:
- CONTRIBUTED PAPERS (5 pages + references + appendix; camera-ready version may be up to 8 pages + references + appendix)
- PRESENTATION ONLY PAPERS (no constraints, not included in OVERLAY proceedings, and the work must have been recently published in another scientific journal or conference)
*********** *********** ***********
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.
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.
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.
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.
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.
*** Call for contributions ***
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.
Topics of interest include (but are not limited to):
automata theory
automated reasoning
automated planning and scheduling
controller synthesis
formal specification languages
formal verification
game theory
hybrid and discrete systems
logics in computer science
neuro-symbolic approaches
logics for neural networks
neural networks for logic
reactive synthesis
runtime verification and monitoring
satisfiability modulo theories and theorem proving
specification and verification of machine/deep learning systems
tools and applications
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.
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.
Submitted contributed papers should not exceed five (5) pages plus references and appendix. Authors are asked to use the CEURART LaTeX style, available here: https://ceur-ws.org/Vol-XXX/CEURART.zip. 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).
Submissions must be in PDF format and will be handled via the EasyChair Conference system at the following address: https://easychair.org/my/conference?conf=overlay2025.
*** Registration and participation fees ***
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.
*** Venue ***
The workshop will take place in Bologna, in one of the venues of ECAI 2025 (https://ecai2025.org/venues/), the 26th of October 2025.
*** Important dates (all deadlines are AOE) ***
- Paper submission: July 19th, 2025
- Acceptance notification: August 8th, 2025
- Camera-ready submission: September 17th, 2025
- Workshop: October 26th, 2025
*** Program Committee Chairs ***
Angelo Montanari - University of Udine, Italy
Andrea Orlandini - National Research Council of Italy, Italy
Nicola Saccomanno - University of Udine, Italy
Stefano Tonetta - Fondazione Bruno Kessler, Italy
***Program Committee***
Raul Barbosa - University of Coimbra, Portugal
Saddek Bensalem - VERIMAG, France
Alberto Bombardelli - Fondazione Bruno Kessler, Italy
Laura Bozzelli - Federico II University of Naples, Italy
Davide Bresolin - University of Padua, Italy
Alessandro Burigana - Free University of Bozen-Bolzano, Italy
Görschwin Fey - Hamburg University of Technology, Germany
Mirco Giacobbe - University of Birmingham, United Kingdom
Alessandro Gianola - INESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal
Nicola Gigante - Free University of Bozen-Bolzano, Italy
Laura Giordano - University of Eastern Piedmont, Italy
Martin Leucker - University of Luebeck, Germany
Federico Mari - University of Rome Foro Italico, Italy
Andrea Micheli - Fondazione Bruno Kessler, Italy
Sergio Mover - Ecole Polytechnique, France
Carla Piazza - University of Udine, Italy
Ingo Pill - Graz University of Technology, Austria
Michel Reniers - Eindhoven University of Technology, Netherlands
Sabina Rossi - Ca' Foscari University of Venice, Italy
Sasha Rubin - The University of Sydney, Australia
Cesar Sanchez - IMDEA Software Institute, Spain
Enrico Tronci - Sapienza University of Rome, Italy
Sarah Winkler - Free University of Bozen-Bolzano, Italy
Matteo Zavatteri - University of Padova, Italy
Martin Zimmermann - Aalborg University, Denmark
*** Contacts ***
For more information email overl...@easychair.org