The tradition of SafeComp is to act as a platform for bringing together academic research and industrial needs. In 2021 we want this industrial and real-world experience to be a strong element of the conference.
We solicit two types of papers:
research papers (up to 14 pages - should describe the research gap that is addressed and explain how the proposed contribution advances current knowledge)
practical experience reports/tool descriptions (up to 8 pages - should convey a clear message and lessons for practitioners)
All papers will be reviewed by three members of the Programme Committee. Papers must not have been previously published or concurrently submitted elsewhere.
Topics
The conference covers the development, assessment, operation, and maintenance of safety-related and safety-critical computer systems. Major topics include, but are not limited to:
Development, verification, and assessment
Model-based safety analysis, design, and assessment
Formal methods for verification, validation, and fault tolerance
Fault detection and recovery mechanisms
Resilient and fault-tolerant HW and SW architectures
Distributed and real-time monitoring and control
Safety/security co-engineering and risk assessment
Testing, verification, and validation methods and tools
Qualification, assurance, and certification methods and tools
Data-driven techniques for engineering dependable systems
Cyber-physical threats and vulnerability analysis
Safety and security guidelines, standards and certification
Safety and security assurance cases
Topics related to the SafeComp 2021 theme of safe human-robotic and autonomous systems (RAS) interaction:
Human acceptance of robotic and autonomous systems (RAS)
Teaming - safe human-system teaming
Safe human-RAS interaction
Transfer of tasks from humans to systems
Ethics, governance and regulation of RAS
We welcome submissions from any domain where safety-critical systems are in use or being developed.
Submission guidelines
Submission will be via EasyChair - details will be announced here.
Industry paper guidelines
Please read the guidelines we have written for those wishing to submit an industry paper (practical experience report or tool description).
Conference proceedings
All accepted regular papers, practical experience reports and tool papers will be published by Springer in the LNCS Series.
Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.
Important dates
Workshop and tutorial proposal submission: 25 January 2021
Abstract submission: 1 February 2021
Full paper submission: 15 February 2021
Notification of acceptance: 29 April 2021
Camera-ready submission: 27 May 2021
Download the PDF Call for Papers.