Welcome to the website of the OVERLAY research group on Formal Methods for AI.

The OVERLAY group (acronym for fOrmal VERification, Logic, Automata, and sYnthesis) fosters the collaboration among a diverse team of Formal Methods and AI researchers, aiming at pursuing multidisciplinary research at the border of the two fields.

News and Events

OVERLAY Workshop submission deadline extended to September 21st

After several requests, the deadline for submitting contributed papers to the first OVERLAY workshop has been extended to September 21st.

Find more details on the workshop homepage.

Invited speaker announced for the OVERLAY Workshop

We are happy to announce that the first OVERLAY workshop will be open by Alessandro Abate, from Oxford University, who will give an invited talk titled Certified Reinforcement Learning with Logic Guidance.

Find more details on the workshop homepage.

Timeline-based planning: Theory and Practice
Tutorial presented at IJCAI 2019

OVERLAY members Nicola Gigante, Angelo Montanari, Andrea Orlandini, and Alessandro Umbrico will present a tutorial at the 28th International Joint Conference on Artificial Intelligence, to be held in Macao on August 10—16 2019.

More information on the tutorial can be found here.

First OVERLAY workshop
Call for Papers

The Call for Papers of the first OVERLAY workshop, to be held as part of the AIxIA 2019 conference, is online. We are looking forward to meet you in Rende on November 22-26!

First OVERLAY workshop at AIxIA 2019

It is our great pleasure to announce that the First OVERLAY Workshop on fOrmal VERification, Logic, Automata, and sYnthesis has been accepted as part of the program of the AIxIA 2019 conference. Congratulations!

More details will be provided shortly, stay tuned!

Two OVERLAY members nominated EurAI Fellows

With great pleasure we report the news that Alfonso Gerevini and Amedeo Cesta, two OVERLAY members, have been nominated Fellows of the EurAI association. This nomination provides further recognition of the steady work and results of the thriving Italian AI community.

Summer School on Formal Methods for
Cyber-Physical Systems

The school's program is online and registrations are open at its website. This year's edition, whose main theme is Numerical and Symbolic Methods for Reachability Analysis of Hybrid Systems, will take place in Verona, Italy, from 3 to 7 June 2019.