International Conference on Computer Safety, Reliability, and Security(SAFECOMP 2020)

September 15-18 , 2020, Lisbon, Portugal

Call for Papers

Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.

SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.SafeComp provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a single-track conference without parallel sessions, allowing easy networking.

Topics of Interest :

• Development, verification and assessment of intelligent and autonomous safety-critical systems
• Formal modelling, verification and validation,Model-driven engineering
• Resilient and fault-tolerant hardware and software architectures
• Fault detection and recovery mechanisms,Distributed and real-time monitoring and control
• Security and privacy protection mechanisms,Safety/security co-engineering and risk assessment
• Probabilistic verification and validation,Testing, verification and validation methods & tools
• Qualification, assurance and certification methods & 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,DevOps and agile development methods
• Railways, automotive, space, avionics & process industries
• Highly automated and autonomous systems,Telecommunication and networks

Paper Submission

All accepted papers will be published by Springer in the LNCS series.Industrial contributions are especially invited. All papers will be reviewed by at least 3 program committee members. Papers must not have been previously published or concurrently submitted elsewhere. Papers should be electronically submitted via the EasyChair submission system, using the link provided above. At least one author of each accepted paper must register for the conference (regular registration).

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.

Important Dates