Message posted on 25/04/2019

Second CfP: Formal Methods for Autonomous Systems (FMAS)

                ## 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

EASST-Eurograd RSS

mailing list
30 recent messages