posted by organizer: mfgl || 322 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

AVC 2024   Advances in Vision Computing: An International Journal
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ISCSIC 2024   2024 8th International Symposium on Computer Science and Intelligent Control(ISCSIC 2024)
FM 2024   Formal Methods
IJPLA 2024   International Journal of Programming Languages and Applications
SOFTFM 2024   3rd International Conference on Software Engineering Advances and Formal Methods
SEAS 2024   13th International Conference on Software Engineering and Applications
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ICFEM 2024   International Conference on Formal Engineering Methods