Version for OVERLAY Workshop 2024

6th International Workshop on
Artificial Intelligence and
fOrmal VERification, Logic,
Automata, and sYnthesis
OVERLAY 2024
28 and 29 November, Bolzano (Italy)
https://overlay.uniud.it/workshop/2024/