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/
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
Submissions:	2020/02/24
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

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

-->