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
- 20/04/2024 CFP: Workshop on Generative AI as a method in social sciences
- 20/04/2024 Webinar Reminder: Alternative Pathways for Patient Access to Advanced Therapies
- 20/04/2024 CfP: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS 2024)
- 20/04/2024 Participatory prototyping biomaterials: 2 year research position (post-doc level)
- 20/04/2024 Call for papers - Minerva Special Issue "Little Science, Big Science, Global Science: The Growth of Science and its Consequences"
- 20/04/2024 Call for Papers: TIME/LESS - Sensing, Planning, Designing in Complex Cities and Regions (AESOP TG Planning & Complexity)
- 20/04/2024 Call for Papers: TIME/LESS - Sensing, Planning, Designing in Complex Cities and Regions (AESOP TG Planning & Complexity)
- 17/04/2024 2nd CFP: 4th Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2024)
- 17/04/2024 April 26 - Seminar session with Niels Ten Oever - Sanctions, Standards, and Sovereignty
- 15/04/2024 PhD Studentship: Forming Futures
- 15/04/2024 PhD Studentship: Forming Futures
- 15/04/2024 Reminder: TATuP: CfA 34/1 (2025): "Practices and concepts of 'care' in sustainability transformations"
- 15/04/2024 Two PhD vacancies in Social Studies of Scholarly Communication and Peer Review
- 15/04/2024 3-year fully funded PhD position on digital infrastructure breakdown
- 15/04/2024 [Deadline: 23 Apr] International Summer Digital Workshop: Gender and Innovation in Post-Pandemic Ableism: Social, Environmental, and Digital Justice
- 13/04/2024 April 18, 13:15 - Webinar Anna Nikolaeva, "Politics of non-knowing"
- 13/04/2024 CfA: SI environ|mental urbanities
- 13/04/2024 Vernon Press - "Science, Technology and Society for a Post-Truth Age: Comparative Dialogues on Reflexivity"
- 13/04/2024 Conference "Imaginations of Autonomy" Registration Reminder
- 13/04/2024 Athena VU Amsterdam is hiring: Three career track (to tenured) assistant professorships | Transformative Learning | Management of Innovations | System transformation in health and well-being (last one in Dutch)
- 06/04/2024 AUP Liveable Futures Series: call for proposals
- 06/04/2024 Scientific Officer for Sustainable Food Systems and Risk Communication
- 06/04/2024 Bonn History and Philosophy of Physics research seminar in the summer term of 2024
- 06/04/2024 PhD Position - University of Amsterdam on "Contested Epistemologies of Sustainability"
- 06/04/2024 7th STS Italia Summer School | ArTS in Society - Application deadline April 28, 2024
- 06/04/2024 RESCHEDULED: iHuman Spring 2024 International Guest Seminar Series - The Imperfectly Perfect Robot with Katherine Harrison
- 06/04/2024 PhD Position - University of Amsterdam on "Contested Epistemologies of Sustainability"
- 03/04/2024 EXTENDED DEADLINE – Science Studies Symposium (Helsinki 06-07.06.24)
- 29/03/2024 The Social Life of Creative Methods: An Interdisciplinary Workshop
- 29/03/2024 Call for Participation – PhD Summer School "Technography" (25 & 26 July, Dortmund, GER)