OVERLAY 2020 : 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

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.

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

• Short Name: OVERLAY 2020
• Full Name: 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
• Timing: 09:00 AM-06:00 PM (expected)
• Fees: Check the official website of OVERLAY 2020
• Event Type: Workshop
• Website Link: https://overlay.uniud.it/workshop/2020/
• Location/Address: Bolzano, Italy