SafeComp 2020

SafeComp 2020
39th International Conference on Computer Safety, Reliability and Security
Event in series	SafeComp
Dates	2020/09/15 (iCal) - 2020/09/18
Homepage:	http://safecomp2020.di.fc.ul.pt/
Submitting link:	https://easychair.org/my/conference?conf=safecomp2020#
Location
Location:	Lisbon, Portugal
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":38.7077507,"lon":-9.1365919,"icon":""}],"imageoverlays":null}
Important dates
Workshops:	2020/02/07
Abstracts:	2020/02/14
Papers:	2020/02/24
Submissions:	2020/02/24
Notification:	2020/04/30
Camera ready due:	2020/05/28
Table of Contents

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

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:

• Regular papers (up to 14 pages)
• Practical experience reports and tool papers (up to 8 pages)

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).

A specific call for Position Papers (up to 4 pages) and respective submission guidelines and dates will be made available later.

Important Dates

Workshop proposal submission: 7 February 2020 Abstract submission: 14 February 2020 21 February 2020 Full paper submission: 24 February 2020 2 March 2020 (AoE) Notification of acceptance: 30 April 2020 Camera-ready submission: 28 May 2020

Committees

• Co-Organizers
• General Co-Chairs
  • some person, some affiliation, country

• PC Co-Chairs
  • some person, some affiliation, country

• Workshop Chair
  • some person, some affiliation, country

• Panel Chair
  • some person, some affiliation, country

• Seminars Chair
  • some person, some affiliation, country

• Demonstration Co-Chairs
  • some person, some affiliation, country
  • some person, some affiliation, country

• Local Organizing Co-Chairs
  • some person, some affiliation, country

• Program Committee Members
  • some person, some affiliation, country

-->