Udine, Italy
Events (Conferences or Workshops)
|

No. Title Abbr. Title Location Date Submission Due Date
1 OVERLAY 2022 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
(OVERLAY 2022)
 ()
Udine (Italy) 2022-11-28
~
2022-12-04
2022-09-30