[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Papers
**Science of Computer Programming** special issue on
**Advances in Formal Methods for Autonomous Systems**
This special issue provides an opportunity for researchers and
practitioners to present theory, techniques, and applications related
to the use of formal methods in the engineering, design, and analysis
of autonomous systems. Papers within this special issue should
present advances in the field of *Formal Methods for Autonomous
Systems (FMAS)*, whether in specification, verification, or synthesis.
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,
SEFM). Specifically, we are interested in formal methods being
applied to almost any kind of autonomous system.
*Final manuscript submission deadline:* **June 7, 2024**
*Guest editors:*
Matt Luckcuck, University of Nottingham
Marie Farrell, University of Manchester
Mario Gleirscher, University of Bremen
Maike Schwammberger, Karlsruhe Institute of Technology
Please, find more details including directions for submission
at
<https://urldefense.com/v3/__https://www.sciencedirect.com/journal/science-of-computer-programming/about/call-for-papers*advances-in-formal-methods-for-autonomous-systems__;Iw!!IBzWLUs!QW7wCLvT_ka4MsisYJB02it6be0l_XWqtxIfFAsZOw1loKtltH4AIzVdmK0uPhSoIdfJzGYAYQKh5Lhs-_3IJ5fVJydWgyDb39NINA$
>
<https://urldefense.com/v3/__https://www.sciencedirect.com/journal/science-of-computer-programming/about/call-for-papers*advances-in-formal-methods-for-autonomous-systems__;Iw!!IBzWLUs!QW7wCLvT_ka4MsisYJB02it6be0l_XWqtxIfFAsZOw1loKtltH4AIzVdmK0uPhSoIdfJzGYAYQKh5Lhs-_3IJ5fVJydWgyDb39NINA$
>
*Keywords:* formal verification, autonomous systems, robotic systems,
runtime verification, formal specification, assurance methodologies,
environment modelling.
