CFP: OVERLAY-26 @ FLoC - 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis - deadline: April 17, 2026
8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and