The incre asing adoption of Artificial Intelligence techniqu es in safety-critical systems, employed in real wo rld scenarios, requires the design of reliable, ro bust and verifiable methodologies. The combined ef forts of notable Italian researchers, that have be en collaborating for several years in complementar y fields such as specification, verification, and synthesis of reactive systems, artificial intellig ence, controller synthesis, etc., has led to the c reation of a new research group on Artificial Inte lligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at invest igating novel methods and algorithms supporting th e design and development of autonomous safety-crit ical systems.
\n\nThe workshop, part of th e AIxIA 2019 conference, is the first official ini tiative supported by OVERLAY, presenting the resea rch group and its current results to the Italian A I scientific community. The event aims at establis hing a stable, long-term scientific forum on relev ant topics connected to the relationships between Artificial Intelligence and Formal Methods, by pro viding a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.
\nWe elicit the contribution of extended abstract s (4 pages + references) discussing the interactio n of Artificial Intelligence and Formal Methods. C ontributed papers can present recent results at th e border of the two fields, new research direction s, challenges and perspectives. Presentation of re sults recently published in other scientific journ als or conferences is welcome.
\n