## Workshop: Formal Methods for Autonomous Systems (FMAS)
<br>#### **A satellite workshop of Formal Methods 2019**
<br>
<br>This one day workshop will bring together researchers working on a range
<br>of techniques for formal verification of autonomous systems, to present
<br>recent work in the area, discuss key difficulties, and stimulate
<br>collaboration between the robotics and formal methods communities. This
<br>workshop will include invited speakers, contributed papers, experience
<br>reports, and a discussion panel.
<br>
<br>More details can be found on our
<br>[website](https://autonomy-and-verification-uol.github.io/events/fmas)
<br>
<br>## Scope
<br>
<br>Autonomous -- and Robotic -- Systems present unique challenges for
<br>formal methods. They are embodied entities that can interact with the
<br>real world and make autonomous decisions. Amongst others, they can be
<br>viewed as safety-critical, cyber-physical, hybrid, and real-time
<br>systems. Key issues for formal methods applied to autonomous systems
<br>include capturing how the system will deal with a dynamic external
<br>environment and verification of the system's decision making
<br>capabilities -- including planning, safety, ethical, and reconfiguration
<br>choices. Some autonomous systems require certification before
<br>deployment, others require public trust for wide adoption; both of these
<br>scenarios are being tackled by formal methods.
<br>
<br>The goals of this workshop are to bring together leading researchers in
<br>this area to present recent and ongoing work, including experience
<br>reports and case studies as well as identify future directions for this
<br>emerging application of formal methods. This workshop is concerned with
<br>the use of formal methods to specify, model, or verify autonomous or
<br>robotic systems, in whole or in part. Submissions may focus on case
<br>studies that identify the challenges for formal methods in this area, or
<br>experience reports that provide guidelines for tackling these
<br>challenges. Work using integrated formal methods, or describing the
<br>future directions of this field, are particularly welcome.
<br>
<br>## Programme Information
<br>
<br>The workshop will feature invited speakers (to be confirmed) and
<br>presentations of accepted papers. The workshop will also feature a
<br>discussion panel for a structured, whole-group conversation for scoping
<br>the future directions of formal methods for autonomous systems.
<br>
<br>## Submission Information
<br>
<br>There are two categories of submission:
<br>
<br>* Short papers -- 6 pages
<br>* Long papers -- 15 pages
<br>
<br>Topics of interest include (but are not limited to):
<br>
<br>* Experience reports/case studies on applying formal methods to
<br>autonomous and/or robotic systems
<br>* Novel formal methods that can be applied to autonomous and/or robotic
<br>systems
<br>* The modification of existing formal methods to suit autonomous and/or
<br>robotic systems
<br>* Future directions for formal methods for autonomous and/or robotic systems
<br>
<br>Submission will be via
<br>[easychair](https://easychair.org/conferences/?conf=fmas2019), in LNCS
<br>format.
<br>
<br>Each submission will receive at least three, single-blind reviews. If a
<br>paper is accepted, at least one of the authors must attend the workshop
<br>to present their work. Revised selected papers will be published in the
<br>upcoming FM 2019 Workshops LNCS volume.
<br>
<br>## Important Dates
<br>
<br>* Submission: 30th June 2019
<br>* Notification: 31st July 2019
<br>* Final Version due: 1st September 2019
<br>* Workshop: 11th of October 2019
<br>
<br>## Chairs
<br>
<br>* [Marie Farrell](https://cgi.csc.liv.ac.uk/~marie), University of
<br>Liverpool, UK
<br>* [Michael Fisher](https://cgi.csc.liv.ac.uk/~michael), University of
<br>Liverpool, UK
<br>* [Matt Luckcuck](https://cgi.csc.liv.ac.uk/~mattlck), University of
<br>Liverpool, UK
<br>_______________________________________________
<br>EASST's Eurograd mailing list
<br>Eurograd (at) lists.easst.net
<br>Unsubscribe or edit subscription options: http://lists.easst.net/listinfo.cgi/eurograd-easst.net
<br>
<br>Meet us via https://twitter.com/STSeasst
<br>
<br>Report abuses of this list to Eurograd-owner@lists.easst.net
view formatted text
