Proceedings of the first
OVERLAY workshop now available

It is our pleasure to announce that the proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis have been published and are now available for download at CEUR-WS.


The workshop was held in Rende, Italy on November 19-20, 2019, as part of the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019). As the first official initiative of the OVERLAY research group, the workshop gathered a diverse ensemble of researchers from the Artificial Intelligence and Formal Methods communities.

In its two afternoons of technical program, the workshop provided a stimulating environment where researchers from both areas discussed current opportunities and challenges. Sixteen papers have been selected and presented during the workshop, spanning from logic to hybrid systems, from formal verification to automated planning, from model checking to machine learning (see the program). The whole was enriched by the invited talk by Alessandro Abate (Oxford University, UK).

The research topics and the results collected in these proceedings illustrate the work of an active and multidisciplinary research community and confirm the growing interest for a forum where FM and AI researchers can find a common ground. We would like to thank all those who made this initiative possible, starting from the authors of the contributed papers, the invited speaker Alessandro Abate, and all the program committee members. We would also like to thank AI*IA and the AI*IA 2019 organizers for hosting our workshop. Finally, we are pleased to acknowledge partial financial support by the Department of Mathematics «Tullio Levi-Civita» of the University of Padova, for which a special greeting goes to Davide Bresolin.

We are looking forward to see you all again at OVERLAY 2020. Stay tuned!

The OVERLAY 2019 chairs,