SAFECOMP 2020 : International Conference on Computer Safety, Reliability, and Security

  in Conferences   Posted on October 27, 2019

Conference Information

Submission Deadline Friday 14 Feb 2020 Proceedings indexed by :
Conference Dates Sep 15, 2020 - Sep 18, 2020
Conference Address Lisbon, Portugal
Conference & Submission Link http://safecomp2020.di.fc.ul.pt/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 319
Category Rankings
Computer Security and Cryptography 25
Number of Editions: 39
CORE 2018 Rating: B
DBPL Proceedings

Google Scholar H5-index:
16

Conference Call for Papers

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
Submission guidelines
Submission instructions here.

Conference proceedings
All accepted papers will be published by Springer in the LNCS series (Lecture Notes on Computer Science).

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

Other Conferences in Portugal

ICCC 2020 : 11th International Conference on Computational Creativity

Deadline :
Sun 01 Mar 2020
Jun 29, 2020 - Jul 3, 2020 - Coimbra
Portugal

HLPP 2020 : International Symposium on High-level Parallel Programming and Applications

Deadline :
Mon 06 Apr 2020
Jul 9, 2020 - Jul 10, 2020 - Porto
Portugal

SA 2020 : 2nd International Conference on Societal Automation

Deadline :
Sun 12 Apr 2020
Sep 9, 2020 - Sep 11, 2020 - Funchal
Portugal