posted by user: bernardof || 3175 views || tracked by 15 users: [display]

SafeComp 2020 : 39th International Conference on Computer Safety, Reliability and Security

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Computer Safety, Reliability, and Security
 
Link: http://safecomp2020.di.fc.ul.pt/
 
When Sep 15, 2020 - Sep 18, 2020
Where Lisbon, Portugal
Abstract Registration Due Feb 14, 2020
Submission Deadline Feb 24, 2020
Notification Due Apr 30, 2020
Final Version Due May 28, 2020
 

Call For Papers

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.

SafeComp 2020 will feature the following key theme: Safe AI in critical systems.

Topics of Interest:
The conference covers all aspects related to 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 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

Domains of application include (but are not limited to):
- Railways, automotive, space, avionics & process industries
- Highly automated and autonomous systems
- Telecommunication and networks
- Safety-related applications of smart systems and IoT
- Critical infrastructures, smart grids, SCADA
- Medical devices and healthcare
- Surveillance, defense, emergency & rescue
- Logistics, industrial automation, off-shore technology
- Education & training

Workshops and Exhibition
It is planned to have one day for workshops. Workshop proposals are welcome. The proposals must be sent by email to the SafeComp 2020 Workshop Chair (erwin.schoitsch@ait.ac.at). They should include planned scope and contents, Program Committee, and duration (one full or half day). Inclusion in the SafeComp Workshop Proceedings are planned, provided that a proper reviewing process is implemented.
A dedicated space will be available for a Technical Exhibition in the area where coffee breaks take place. Organisations wishing to present their products or projects are invited to request further information from the conference organisers.

Important Dates
Workshop proposal submission: 7 February 2020
Abstract submission: 14 February 2020
Full paper submission: 24 February 2020
Notification of acceptance: 30 April 2020
Camera-ready submission: 28 May 2020
Position paper submission: 28 May 2020

Related Resources

ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ICSRS--Scopus & EI 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
MDPI - Risk Management - Scopus 2021   Special Issue of Journal Applied System Innovation: Risk Management
ICENT--EI Compendex, Scopus 2021   2021 3rd International Conference on Emerging Networks Technologies (ICENT 2021)--Ei Compendex, Scopus
SRSE--Ei compendex, scopus 2020   2020 The 2nd International Conference on System Reliability and Safety Engineering (SRSE 2020)--Ei compendex, scopus
SAFEPROCESS 2021   11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes
SRSE--Ei, scopus 2020   2020 The 2nd International Conference on System Reliability and Safety Engineering (SRSE 2020)--Ei compendex, scopus
ESREL 2020   30th European Safety and Reliability Conference
PSAM 2020   15th Probabilistic Safety Assessment and Management Conference