Message posted on 27/08/2019
Call for Participation: 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 of <br>techniques for formal verification of autonomous systems, to present recent <br>work in the area, discuss key difficulties, and stimulate collaboration <br>between the robotics and formal methods communities. This workshop will <br>include invited speakers, contributed papers, experience reports, and a <br>discussion panel. <br>More details can be found on our website: <br>https://autonomy-and-verification-uol.github.io/events/fmas <br>Registration is open as follows: <br>Early – until Sep 10 (AoE) <br> <br>Late – from Sep 11 until 5 Oct (AoE) <br> <br>On site – from Oct 6 to Oct 11 (AoE) <br> <br>When registering, please mention that you plan to attend FMAS as this helps us <br>to secure funding for our invited speakers. Registration is via the FM2019 <br>website: https://bit.ly/2JfdBjO <br>Programme Information <br>The workshop will feature invited speakers and presentations of accepted <br>papers. The workshop will also feature a discussion panel for a structured, <br>whole-group conversation for scoping the future directions of formal methods <br>for autonomous systems. <br> <br>Invited Speakers: <br>Claudio Menghi (https://claudiomenghi.github.io/index.html), University of <br>Luxembourg: Formal Methods Meet Autonomous Systems: a Journey on a Two-Year <br>Research Collaboration with Industry <br> <br>Kristin Rozier (https://www.aere.iastate.edu/kyrozier/), Iowa State <br>University: Runtime Reasoning that Really Flies <br> <br>Accepted Papars <br>A Temporal Logic Semantics for Teleo-Reactive Procedures — Keith Clark, <br>Brijesh Dongol, and Peter Robinson <br> <br>Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections <br>— Maike Schwammberger, and Christopher Bischopink <br> <br>CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous <br>Vehicles — Andreas Nonnengart, Matthias Klusch, and Christian Mueller <br> <br>Towards a Mission Definition, Verification and Validation Toolchain — Louis <br>Viard, Laurent Ciarletta and Pierre-Etienne Moreau <br> <br>A Model Checking Agent-Based Architecture for Representing the Rules of the <br>Road on Autonomous Vehicles — Gleifer Alves, Louise Dennis and Michael <br>Fisher <br> <br>Scope <br>Autonomous — and Robotic — Systems present unique challenges for formal <br>methods. They are embodied entities that can interact with the real world and <br>make autonomous decisions. Amongst others, they can be viewed as <br>safety-critical, cyber-physical, hybrid, and real-time systems. Key issues for <br>formal methods applied to autonomous systems include capturing how the system <br>will deal with a dynamic external environment and verification of the <br>system’s decision making capabilities — including planning, safety, <br>ethical, and reconfiguration choices. Some autonomous systems require <br>certification before deployment, others require public trust for wide <br>adoption; both of these scenarios are being tackled by formal methods. <br> <br>The goals of this workshop are to bring together leading researchers in this <br>area to present recent and ongoing work, including experience reports and case <br>studies as well as identify future directions for this emerging application of <br>formal methods. This workshop is concerned with the use of formal methods to <br>specify, model, or verify autonomous or robotic systems, in whole or in part. <br>Submissions may focus on case studies that identify the challenges for formal <br>methods in this area, or experience reports that provide guidelines for <br>tackling these challenges. Work using integrated formal methods, or describing <br>the future directions of this field, are particularly welcome. <br>Chairs <br>Marie Farrell (https://cgi.csc.liv.ac.uk/~marie) , University of Liverpool, <br>UK <br> <br>Michael Fisher (https://cgi.csc.liv.ac.uk/~michael) , University of Liverpool, <br>UK <br> <br>Matt Luckcuck (https://cgi.csc.liv.ac.uk/~mattlck) , University of Liverpool, <br>UK <br> <br> <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
- 29/04/2024 Reminder: CFP open for the Swedish STS Conference 2024 - submission deadline 17 May!
- 29/04/2024 7th STS Italia Summer School | ArTS in Society - Application deadline extended May 3rd, 2024
- 29/04/2024 REMINDER : 7th Innovation in Information Infrastructures (III) Workshop (16th - 18th September 2024 ESADE Barcelona) CFP CLOSES 31 May 2024
- 26/04/2024 Reminder: CfA FELLOWSHIPS at CAPAS 2025-2026 Biopolitics
- 26/04/2024 PhD position-MDU Sweden
- 26/04/2024 Funded PhD Position Available – COFUND Marie Skłodowska-Curie Actions
- 26/04/2024 Reminder: 1 day left for grants to NSU/Cybioses, Speculative Technologies
- 26/04/2024 Job Opportunity: Postdoctoral position in Natural Resources and Sustainable Development
- 26/04/2024 Hiring: Research Associate (PDRA) in Responsible Research & Innovation (Future Biomanufacturing)
- 26/04/2024 Funded PhD Scholarship, University College Dublin, mental health and LLM
- 26/04/2024 CfP | SI Bureaucratic reinventions: The more-than-market arrangements of public action
- 24/04/2024 PhD Position at STS Vienna
- 24/04/2024 CfA: International Conference "Popular Health and Social Media" (University of Siegen, 12-13 September 2024)
- 24/04/2024 [CfP] Digital Transformations and Climate Change
- 24/04/2024 Hau of Finance Online Seminar Series - 'Crisis, Speculation and the Making of a Climate Haven" - Sarah Besky, Cornell University - Tuesday April 30 @15h CEST
- 24/04/2024 Funded PhD in AI and libraries, University College Dublin
- 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