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.netview formatted text
EASST-Eurograd
mailing list
30 recent messages
30 recent messages
- 26/03/2024 Job Offer - Experienced Scientist (m/f/d) in the field of Societal Futures
- 26/03/2024 ACM SIGCHI Sponsored: EICS 2024 Doctoral Consortium Support for Students
- 26/03/2024 Webinar recording now availabe: How to bring creativity to your research journey
- 25/03/2024 Invitation: Deep Tech & Society community
- 25/03/2024 List of books for review in ST&S, 2024 - Call for expressions of interest
- 23/03/2024 CFP: 4th Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2024)
- 23/03/2024 Reminder - call for abstracts: Foundational Challenges in Cosmological Studies of Black Holes (deadline: 31st March)
- 23/03/2024 FW: Postdoc and research assistant positions in Governance by Infrastructures at Aarhus University
- 21/03/2024 PhD position in STS: Collaboration, innovation and planning in regional energy transitions (NTNU)
- 21/03/2024 I: [CfP] AVI 2024 Workshop "Cyber Security Education for Industry and Academia" (CSE4IA'24)
- 21/03/2024 TATuP 33/1 (2024): new publication on "AI for decision support" online
- 21/03/2024 PhD studentship, Online Healthcare Feedback, Care and Complaint, University of Edinburgh
- 21/03/2024 Call for academic position: Design and Sustainable Futures.
- 21/03/2024 Opening for Professor in Sociology/STS in Gothenburg
- 21/03/2024 Postdoc Quantifying Dutch Historical Sustainability Trade-offs
- 21/03/2024 EASST/4S 2024: Short Story, Flash Fiction, and Poetry Competition - deadline 1 June 2024
- 19/03/2024 Research Sabbaticals (Fellowships) and Working Groups at the Center for Advanced Internet Studies (CAIS)
- 19/03/2024 Hau of Finance Online Seminar Series - “Mobilizing Capital in Communist Cuba” - Ståle Wig, University of Oslo - 26.03.2024 @ 15h CET
- 19/03/2024 Call for Applications: FELLOWSHIPS at CAPAS 2025-2026
- 19/03/2024 IAS-STS Fellowship Program 2024/25
- 19/03/2024 CfP: T2M Conference Leipzig 23-25 September 2024
- 19/03/2024 Reminder: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 2024 -CFP
- 15/03/2024 iHuman Spring 2024 International Guest Seminar Series - The Imperfectly Relatable Robot, with Katherine Harrison (Linköping)
- 15/03/2024 Postdoc position in Networks of Expertise of the green transition - the case of energy islands (ERC-project), Technical University of Denmark (DTU)
- 15/03/2024 The Eighth International Undergraduate Research Conference on Science, Technology, Medicine, and Society (STMS): Registration Open
- 15/03/2024 Extended Call for Submissions: fPET 2024 - Forum on Philosophy, Engineering, and Technology, September 17-19, 2024 in Karlsruhe, Germany
- 15/03/2024 Open call pieces EASST Review
- 13/03/2024 Conference Call - Urban Speculations, Lüneburg, 4-6 February 2025
- 13/03/2024 Final Reminder - EURAS 2024
- 13/03/2024 Summer School - STS writing and publishing [Science Studies Symposium in Helsinki]