Logic, Automata, and sYnthesis (OVERLAY 2026), co-located with the 9th Federated
Logic Conference (FLoC 2026)
*** We apologize for possible cross posting ***
*********** SECOND CALL FOR PAPERS ***********
OVERLAY 2026 @ FLoC
July 18-19, 2026
Lisbon, Portugal
https://overlay.uniud.it/workshop/2026
Abstract submission deadline: April 13, 2026
Submission deadline: April 17, 2026
Notification: May 15, 2026
FLoC early registration deadline: June 1, 2026
*********** *********** ***********
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
(https://overlay.uniud.it/). 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.
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 July 18-19, 2026, as part of FLoC 2026,
which will be held in Lisbon, Portugal.
*** Call for contributions ***
We accept contributions (see below for the format) 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, satisfiability, theorem proving
automated planning and scheduling
controller and reactive synthesis
formal verification
game theory
hybrid and discrete systems
logics in computer science
neuro-symbolic artificial intelligence
logics for neural networks
neural networks for logic
formal and data-driven approaches to natural language processing
runtime verification and monitoring
specification and verification of machine/deep learning systems
specification and verification of systems based on large language models
tools and applications
We invite two kinds of contributions:
1. "regular" papers, presenting original research not published nor under
review elsewhere. Regular papers should not exceed nine (9) pages plus
references and, possibly, an appendix (that will not be published).
2. "short" papers, presenting either original research or results already
published in other venues, write-ups on work-in-progress projects worth
discussing, etc.
All contributed papers, except if explicitly requested otherwise by the authors,
will be included in the Proceedings of the event, published at CEUR Workshop
Proceedings (https://ceur-ws.org).
Authors are asked to use the CEURART LaTeX style, available here:
https://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions must be in PDF format.
Instructions on how to proceed with the submission will be published on the
workshop's website soon.
*** Note on the use of Generative AI writing assistance tools ***
Please adopt the CEUR guidelines for Generative AI use at the following address:
https://ceur-ws.org/GenAI/Policy.html.
*** Registration and participation fees ***
OVERLAY 2026 will take place as part of FLoC 2026. As a consequence,
participants to the workshop must follow the instructions provided by the FLoC
2026 committee for what concerns the registration requirements.
*** Venue ***
The workshop will take place in Lisbon, in one of the venues of FLoC 2026
(https://www.floc26.org/venue), on July 18 and 19.
*** Important dates (all deadlines are AOE) ***
- Abstract submission: April 13, 2026
- Paper submission: April 17, 2026
- Acceptance notification: May 15, 2026
- Workshop: July 18-19, 2026
*** Program Committee Chairs ***
Luigi Bonassi - University of Oxford, UK
Nicola Gigante - Free University of Bozen-Bolzano, Italy
***Program Committee***
Raffaella Bernardi - Free University of Bozen-Bolzano, Italy
Alberto Bombardelli - Kyoto University, Japan
Davide Bresolin - University of Padova, Italy
Alessandro Burigana - Free University of Bozen-Bolzano, Italy
Victor-Alexandru Darvariu - University of Oxford, UK
Giuseppe De Giacomo - University of Oxford, UK
Görschwin Fey - TU Hamburg, Germany
Mirco Giacobbe - University of Birmingham, UK
Alessandro Gianola - NESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal
Lucía Gómez Álvarez - INRIA Grenoble, France
Martin Leucker - University of Lübeck, Germany
Federico Mari - University of Rome Foro Italico, Italy
Andrea Micheli - Fondazione Bruno Kessler, Trento, Italy
Sergio Mover - Lix Ecole Polytechnique, Paris, France
Andrea Orlandini - ISTC-CNR, Rome, Italy
Ingo Pill - Graz University of Technology, Austria
Luca Putelli - University of Brescia, Italy
Michel Reniers - Eindhoven University of Technlogy, Germany
Sabina Rossi - University of Venice, Italy
Sasha Rubin - University of Sydney, Australia
Cesar Sanchez - IMDEA, Madrid, Spain
Nicola Saccomanno - University of Udine, Italy
Enrico Scala - University of Brescia, Italy
Stefano Tonetta - Fondazione Bruno Kessler, Trento, Italy
Enrico Tronci - University of Rome La Sapienza, Italy
Sarah Winkler - Free University of Bozen-Bolzano, Italy
Matteo Zavatteri - Fondazione Bruno Kessler, Trento, Italy
*** Contacts ***
For more information write an email to overlay@uniud.it
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
