<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div dir="auto">Call for Papers<br></div><div dir="auto"><br></div><div dir="auto">**Science of Computer Programming** special issue on<br></div><div dir="auto">**Advances in Formal Methods for Autonomous Systems**<br></div><div dir="auto"><br></div><div dir="auto">This special issue provides an opportunity for researchers and<br></div><div dir="auto">practitioners to present theory, techniques, and applications related<br></div><div dir="auto">to the use of formal methods in the engineering, design, and analysis<br></div><div dir="auto">of autonomous systems. Papers within this special issue should<br></div><div dir="auto">present advances in the field of *Formal Methods for Autonomous<br></div><div dir="auto">Systems (FMAS)*, whether in specification, verification, or synthesis.<br></div><div dir="auto">The topics of interest for this special issue match those of the
International Workshop on Formal Methods for Autonomous Systems, and a variety of other conference venues (e.g. FM, iFM,<br></div><div dir="auto">SEFM). Specifically, we are interested in formal methods being<br></div><div dir="auto">applied to almost any kind of autonomous system.<br></div><div dir="auto"><br></div><div dir="auto">*Final manuscript submission deadline:* **June 7, 2024**<br></div><div dir="auto"><br></div><div dir="auto">*Guest editors:*<br></div><div dir="auto"><br></div><div dir="auto">Matt Luckcuck, University of Nottingham<br></div><div dir="auto">Marie Farrell, University of Manchester<br></div><div dir="auto">Mario Gleirscher, University of Bremen<br></div><div dir="auto">Maike Schwammberger, Karlsruhe Institute of Technology<br></div><div dir="auto"><br></div><div dir="auto">Please, find more details including directions for submission<br></div><div dir="auto">at <a href="https://www.sciencedirect.com/journal/science-of-computer-programming/about/call-for-papers#advances-in-formal-methods-for-autonomous-systems" class="" rel="noopener noreferrer" target="_blank"><https://www.sciencedirect.com/journal/science-of-computer-programming/about/call-for-papers#advances-in-formal-methods-for-autonomous-systems></a><br></div><div dir="auto"><br></div><div dir="auto">*Keywords:* formal verification, autonomous systems, robotic systems,<br></div><div dir="auto">runtime verification, formal specification, assurance methodologies,<br></div><div dir="auto">environment modelling.<br></div> </body>
</html>