1st International Workshop on Formal Methods for AI-Controlled Systems (FMACS’21)

27 September – 01 October 2021, Sestri Levante, Italy

Methods of artificial intelligence play a key role in the development of robotic and other autonomous systems. Since these systems are typically safety critical, we need solutions that are effective but also trustworthy. To assure that these systems do not cause any harm and fulfill certain safety requirements, highly active research threads have been launched recently to analyze and explain their behavior.

The aim of this workshop is to support these developments by bringing together experts from related fields, creating a platform for networking and exchange, offering an optimal environment for knowledge and technology transfer between these areas, and identifying potential common projects.

The scope of the workshop covers the following research areas:
– Hybrid systems
– Probabilistic systems
– Methods of artificial intelligence
– Formal modeling, synthesis and verification
– Satisfiability checking
– Planning and robotics

The workhop will take place 27 September – 01 October 2021 in the following conference hotel:

Hotel Due Mari snc di Ceruti Carlo
Banca Intesa Sanpaolo
Via Fasca, 24
16039 Sestri Levante

Participation is by invitation. The workshop structure will follow the style of Dagstuhl Seminars. The program will consist of tutorials, inspiration talks, reports on recent research results, global discussion sessions and networking opportunities. The program details will be fixed during the workshop, based on the following topical sessions:

Monday, 27 September 2021: Planning and Robotics
Tuesday, 28 September 2021: Formal Methods
Wednesday, 29 September 2021: Hybrid Systems
Thursday, 30 September 2021: Probabilistic Systems
Friday, 01 October 2021: Formal Methods for AI

By questions please contact the workshop organizers:

Erika Abraham, RWTH Aachen University, Germany
Armando Tacchella, University of Genoa, Italy