posted by organizer: mfgl || 644 views || tracked by 1 users: [display]

AFMAS 2024 : Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems

FacebookTwitterLinkedInGoogle

Link: https://www.sciencedirect.com/journal/science-of-computer-programming/about/call-for-papers#advances-in-formal-methods-for-autonomous-systems
 
When N/A
Where N/A
Submission Deadline Jun 7, 2024
Categories    special issue   autonomous systems   formal methods
 

Call For Papers

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://www.sciencedirect.com/journal/science-of-computer-programming/about/call-for-papers#advances-in-formal-methods-for-autonomous-systems

Keywords: formal verification, autonomous systems, robotic systems, runtime verification, formal specification, assurance methodologies, environment modelling.

Related Resources

DSA 2024   5th International Conference on Data Science and Applications
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
DSML 2024   5th International Conference on Data Science and Machine Learning
ICFEM 2024   International Conference on Formal Engineering Methods
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
SBMF 2024   27th Brazilian Symposium on Formal Methods
NovelIQA 2024   Novel Approaches to Image Quality Assessment
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
AIxMM 2025   IEEE International Conference on AI x Multimedia
SI AIMLDE 2024   SPECIAL ISSUE on Applied Artificial intelligence, Machine Learning, and Data Engineering