[DMANET] Overlay @ FLoC 2026 - Third Call for Papers - abstracts due on April 13

8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2026), co-located with the 9th Federated Logic Conference (FLoC 2026) *** We apologize for possible cross posting *** *********** THIRD 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. Short papers should not exceed four (4) pages plus references. 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<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 and submitted through the FLoC HotCRP system at: https://submissions.floc26.org/overlay/ *** 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, Anywhere On Earth - Paper submission: April 17, 2026, Anywhere On Earth - 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<mailto: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/ * **********************************************************