International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (6. : 2024 : Bozen)