Formal Methods for Autonomous Systems (FMAS)

FMAS brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems. The workshop enables researchers to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities.

FMAS 2022 will be held at SEFM, so we will have in-person and virtual participation (since we had good reactions to the previous two workshops, which were online.

The important dates are:
* Submission: 29th of July 2022 (AOE)
* Notification: 2nd of September 2022
* Final Version due: 14th of September 2022
* Workshop: 26th and 27th of September 2022
And the rest of the information can be found on our website: