View source for SafeComp 2020

{{Event
|Acronym=SafeComp 2020
|Title=39th International Conference on Computer Safety, Reliability and Security
|Series=SafeComp
|Type=Conference
|Start date=2020/09/15
|End date=2020/09/18
|Submission deadline=2020/02/24
|Homepage=http://safecomp2020.di.fc.ul.pt/
|City=Lisbon
|Country=Portugal
}}
The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)

==Topics==
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

 
==Submissions==



==Important Dates==

==Committees==
* Co-Organizers
* General Co-Chairs
** [[has general chair::some person]], some affiliation, country

* PC Co-Chairs
** [[has program chair::some person]], some affiliation, country

* Workshop Chair
** [[has workshop chair::some person]], some affiliation, country

* Panel Chair
** [[has OC member::some person]], some affiliation, country

* Seminars Chair
** [[has tutorial chair::some person]], some affiliation, country

* Demonstration Co-Chairs
** [[has demo chair::some person]], some affiliation, country
** [[has demo chair::some person]], some affiliation, country

* Local Organizing Co-Chairs
** [[has local chair::some person]], some affiliation, country

* Program Committee Members
** [[has PC member::some person]], some affiliation, country
-->
Abstract deadline	February 14, 2020 +
Acronym	SafeComp 2020 +
Camera ready due	May 28, 2020 +
End date	September 18, 2020 +
Event in series	SafeComp +
Event type	Conference +
Has PC member	Uwe Becker +, Peter Bishop +, Friedemann Bitsch +, Sandro Bologna +, Andrea Bondavalli +, Jens Braband +, Simon Burton +, Peter Daniel +, Ewen Denney + and Felicita Di Giandomenico +
Has Submitting link	https://easychair.org/my/conference?conf=safecomp2020 +
Has coordinates	38° 42' 28", -9° 8' 12"Latitude: 38.70775 Longitude: -9.1365916666667 +
Has coordinator	António Casimiro +, Pedro Ferreira + and Ibéria Medeiros +
Has general chair	António Casimiro +
Has local organizing chair	António Casimiro +, Pedro Ferreira + and Ibéria Medeiros +
Has location city	Lisbon +
Has location country	Category:Portugal +
Has position papers chair	Jérémie Guiochet +
Has program chair	António Casimiro + and Frank Ortmeier +
Has publication chair	Friedemann Bitsch + and Pedro Ferreira +
Has publicity chair	Bernardo Ferreira +
Has workshop chair	Erwin Schoitsch +
Homepage	http://safecomp2020.di.fc.ul.pt/ +
IsA	Event +
Notification	April 30, 2020 +
Paper deadline	February 24, 2020 +
Start date	September 15, 2020 +
Submission deadline	February 24, 2020 +
Title	39th International Conference on Computer Safety, Reliability and Security +
Workshop deadline	February 7, 2020 +