Skip to content
Menu
SafeComp 2021
  • Home
    • About
  • Call for Papers
    • Submissions
  • Workshops
  • Registration
  • Venue
  • Committees
  • Sponsorship
SafeComp 2021

Call for Papers

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 of up to 14 pages (including references):


  • research papers (should describe the research gap that is addressed and explain how the proposed contribution advances current knowledge)

  • practical experience reports/tool descriptions (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 is via EasyChair - https://easychair.org/conferences/?conf=safecomp2021


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: 22 February 2021 (11:59pm anywhere in the world) 15 February 2021

  • Notification of acceptance: 29 April 2021

  • Camera-ready submission: 27 May 2021


Download the PDF Call for Papers.

Important dates

  • Workshop and tutorial proposal submission: 25 January 2021

  • Abstract submission: 1 February 2021

  • Full paper submission: 22 February 2021 (11:59pm anywhere in the world) 15 February 2021

  • Notification of acceptance: 29 April 2021

  • Camera-ready submission: 27 May 2021

©2021 SafeComp 2021 | Powered by WordPress and Superb Themes!