CALL FOR PARTICIPATION – OVERLAY 2024 – 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

Dear all

This is a call for participation for the OVERLAY 2024 workshop.
The workshop will take place in Bolzano, Italy on November 28-29, 2024.

There is no registration fee but registration is mandatory!
https://eventregistration.unibz.it/Login.asp?IDcommessa=UN24058&Lang=EN

Chairs:
Daniele Porello University of Genova, Italy
Cosimo Vinci University of Salento, Italy
Matteo Zavatteri University of Padova, Italy

Local Organization:
Nicola Gigante Free University of Bozen-Bolzano, Italy

Highlights:

16 presentations spread over the following 5 sessions:

• Session 1: Model Checking and Hybrid Systems
• Session 2: Formal Methods
• Session 3: Formal Methods for AI Part 1
• Session 4: Formal Methods for AI Part 2
• Session 5: Applications

Keynote talk:
Andrea Micheli, Fondazione Bruno Kessler, Trento, Italy
Mixing automated temporal planning and ML: the role of opaque entities and RL-based guidance synthesis

Panel on the on the relationship between formal methods and AI:
Andrea Micheli, Marco Montali, Angelo Montanari
Moderator: Nicola Gigante

The full program and all additional information can be found here: https://overlay.uniud.it/workshop/2024

Best regards,
Matteo, Cosimo, Daniele, Nicola