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.

For an overview of the group and its goals, check the slides presented by Luca Geretti at Italian Workshop on Embedded Systems (IWES 2019).


News and Events

Ph.D. course on Timeline-based planning at
the University of Udine

OVERLAY members Andrea Orlandini, Nicola Gigante and Angelo Montanari are giving a Ph.D. course titled Timeline-based planning: Theory and Practice. The course will be given on December 2-6 at the Dept. of Math, Computer Science, and Physics.

Find below the slides of the first three lectures (will be filled going on).

Lecture 1   Lecture 2   Lectures 3, 4, and 5

OVERLAY Workshop on Hybrid Systems
October 28, Fondazione Bruno Kessler, Trento, Italy

The OVERLAY group, in collaboration with Fondazione Bruno Kessler (FBK) organizes a workshop focused on Hybrid Systems, to be held at the FBK, Trento, Italy on October 28. OVERLAY members Massimo Benerecetti and and Tiziano Villa are among the speakers.

All interested parties are kindly invited to join! Here you can find the detailed program of the day.

OVERLAY Workshop, last deadline extension to September 26th

While the last call for papers is being distributed, the deadline for submitting contributed papers to the first OVERLAY workshop has been extended for the last time to September 26th. We are looking forward to see you all in Rende!

Find more details on the workshop homepage.

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 19-20!

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.