Categories |
ARTIFICIAL INTELLIGENCE
LOGIC
|
About |
The workshop is the main official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas. Important goals of the workshop are (i) to encourage the ongoing interaction between the FM and AI communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges. |
Call for Papers |
Topics of interest include (but are not limited to):
|
Summary |
OVERLAY 2020 : 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis will take place in Bolzano, Italy. It’s a 2 days event starting on Sep 25, 2020 (Friday) and will be winded up on Sep 26, 2020 (Saturday). OVERLAY 2020 falls under the following areas: ARTIFICIAL INTELLIGENCE, LOGIC, etc. Submissions for this Workshop can be made by Jul 03, 2020. Authors can expect the result of submission by Jul 23, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Sep 11, 2020 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the OVERLAY 2020
|
Credits and Sources |
[1] OVERLAY 2020 : 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis |