Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

19 - 22 November 2019, First Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY), Rende, Italy

Date: 19 - 22 November 2019
Location: Rende, Italy
Deadline: Friday 6 September 2019

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.

The workshop, part of the AIxIA 2019 conference, is the first 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.

We elicit the contribution of extended abstracts (4 pages + references) discussing the interaction of Artificial Intelligence and Formal Methods. Contributed papers can present recent results at the border of the two fields, new research directions, challenges and perspectives. Presentation of results recently published in other scientific journals or conferences is welcome.

For more information, see https://overlay.uniud.it/workshop/2019/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.