Full paper submission:
Notification of acceptance: May 8 2017
Camera-ready Submission: 12 June 2017
Conference: 13-15 September 2017
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:
Domains of application include (but are not limited to):
2017 SPECIAL THEME
Design, verification, and assurance of space systems.
The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited.
We solicit two types of papers:
Papers exceeding the page limit will be excluded from the review process.
All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere.
All accepted papers will be published by Springer in the LNCS series (Lecture Notes on Computer Science). Submitted papers must conform to Springer LNCS author guidelines (www.springer.com/lncs). In addition, extended versions of the best papers will be considered for publication in a special issue of a safety-related international journal.
It is planned to have one day for workshops. Workshop proposals are welcome. The proposals must be sent by email to the SAFECOMP17 Workshop Chair (email@example.com). They should include planned scope and contents, Program Committee, and duration (one full or half day). SAFECOMP Workshop Proceedings are planned if a properly reviewing process is implemented. A dedicated space will be available for a Technical Exhibition in the
area where coffee breaks and lunches take place. Organizations wishing to present their products or projects are invited to request further information from the conference secretariat.