<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div>Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023)<br></div><div dir="auto">=================================================================================<br></div><div dir="auto"><br></div><div dir="auto">FMAS 2023 is a two-day peer-reviewed international workshop that brings<br></div><div dir="auto">together researchers working on a range of techniques for the formal<br></div><div dir="auto">verification of autonomous systems, to present recent work in the area,<br></div><div dir="auto">discuss key challenges, and stimulate collaboration between autonomous<br></div><div dir="auto">systems and formal methods researchers. Previous editions are listed on<br></div><div dir="auto">DBLP: <a href="https://dblp.dagstuhl.de/db/conf/fmas/index.html">https://dblp.dagstuhl.de/db/conf/fmas/index.html</a>.<br></div><div dir="auto"><br></div><div dir="auto">FMAS2023 will be held in **hybrid** format on the **15th and 16th of<br></div><div dir="auto">November 2023**. FMAS 2023 will be co-located with the `International<br></div><div dir="auto">Conference on Integrated Formal Methods (iFM)<br></div><div dir="auto">2023 <<a href="https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/index.html">https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/index.html</a>>`__,<br></div><div dir="auto">hosted by Leiden University, The Netherlands. You can register to attend<br></div><div dir="auto">FMAS2023 either in-person or (for free) online through the iFM<br></div><div dir="auto">registration page:<br></div><div dir="auto"><a href="https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/registration.html">https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/registration.html</a>.<br></div><div dir="auto"><br></div><div dir="auto">More details, including the accepted papers, can be found on our<br></div><div dir="auto">website: <a href="https://fmasworkshop.github.io/FMAS2023/">https://fmasworkshop.github.io/FMAS2023/</a><br></div><div dir="auto"><br></div><div dir="auto">Scope<br></div><div dir="auto">=====<br></div><div dir="auto"><br></div><div dir="auto">Autonomous systems present unique challenges for formal methods. They<br></div><div dir="auto">are often embodied in robotic systems that can interact with the real<br></div><div dir="auto">world, and they make independent decisions. Amongst other categories,<br></div><div dir="auto">they can be viewed as safety-critical, cyber-physical, hybrid, and<br></div><div dir="auto">real-time systems.<br></div><div dir="auto"><br></div><div dir="auto">Key challenges for applying formal methods to autonomous systems<br></div><div dir="auto">include:<br></div><div dir="auto"><br></div><div dir="auto">- the system’s dynamic deployment environment;<br></div><div dir="auto"><br></div><div dir="auto">- verifying the system’s decision making capabilities – including<br></div><div dir="auto"> planning, ethical, and reconfiguration choices; and<br></div><div dir="auto"><br></div><div dir="auto">- using formal methods results as evidence given to certification or<br></div><div dir="auto"> regulatory organisations.<br></div><div dir="auto"><br></div><div dir="auto">FMAS welcomes submissions that use formal methods to specify, model, or<br></div><div dir="auto">verify autonomous systems; in whole or in part. We are especially<br></div><div dir="auto">interested in work using integrated formal methods, where multiple<br></div><div dir="auto">(formal or non-formal) methods are combined during the software<br></div><div dir="auto">engineering process.<br></div><div dir="auto"><br></div><div dir="auto">Autonomous systems are often embedded in robotic or cyber-physical<br></div><div dir="auto">systems, and they share many features (and verification challenges) with<br></div><div dir="auto">automated systems. FMAS welcomes submissions with applications to:<br></div><div dir="auto"><br></div><div dir="auto">- automated systems,<br></div><div dir="auto"><br></div><div dir="auto">- semi-autonomous systems, or<br></div><div dir="auto"><br></div><div dir="auto">- fully-autonomous systems.<br></div><div dir="auto"><br></div><div dir="auto">Invited Talks <br></div><div dir="auto">=============<br></div><div dir="auto"><br></div><div dir="auto">We have two invited speakers for FMAS 2023:<br></div><div dir="auto"><br></div><div dir="auto">- Alice Miller, from the University of Glasgow, UK<br></div><div dir="auto"><br></div><div dir="auto">- Erika Ábrahám, from RWTH Aachen, Germany (in a shared talk with iFM)<br></div><div dir="auto"><br></div><div dir="auto">Chairs<br></div><div dir="auto">======<br></div><div dir="auto"><br></div><div dir="auto">- Matt Luckcuck <a href="mailto:matt.luckcuck@nottingham.ac.uk">matt.luckcuck@nottingham.ac.uk</a>, University of<br></div><div dir="auto"> Nottingham, UK<br></div><div dir="auto"><br></div><div dir="auto">- Marie Farrell <a href="mailto:marie.farrell@manchester.ac.uk">marie.farrell@manchester.ac.uk</a>, University of<br></div><div dir="auto"> Manchester, UK<br></div><div dir="auto"><br></div><div dir="auto">- Mario Gleirscher <a href="mailto:mario.gleirscher@uni-bremen.de">mario.gleirscher@uni-bremen.de</a>, University of<br></div><div dir="auto"> Bremen, Germany<br></div><div dir="auto"><br></div><div dir="auto">- Maike Schwammberger <a href="mailto:schwammberger@kit.edu">schwammberger@kit.edu</a>, Karlsruhe Institute of<br></div><div dir="auto"> Technology, Germany<br></div> </body>
</html>