Logic, Automata, and sYnthesis (OVERLAY 2026), co-located with the 9th Federated
Logic Conference (FLoC 2026)
*** We apologize for possible cross posting ***
*********** FIRST CALL FOR PAPERS ***********
OVERLAY 2026 @ FLoC
July 18-19, 2026
Lisbon, Portugal
https://overlay.uniud.it/workshop/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
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:
- "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).
- "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) ***
- 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***
To be announced…
*** 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
