International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, 21 (Udine, 28/11/2022–02/12/2022) Konferenz uri icon