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 EasyUser:Curator 83air 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-User:Curator 83airs
- António Casimiro, University of Lisbon, PT
- PC Co-User:Curator 83airs
- António Casimiro, University of Lisbon, PT
- Frank Ortmeier, Otto-von-Guericke University, DE
- Publication User:Curator 83airs
- Friedemann Bitsch, THALES Deutschland GmbH, DE
- Pedro Ferreira, University of Lisbon, PT
- Local Organizing Committee
- António Casimiro, University of Lisbon, PT
- Pedro Ferreira, University of Lisbon, PT
- Ibéria Medeiros, University of Lisbon, PT
- Workshop User:Curator 83air
- Erwin Schoitsch, AIT, AT
- Position Papers User:Curator 83air
- Jérémie Guiochet, University of Toulouse III, FR
- Publicity User:Curator 83air
- Bernardo Ferreira, University of Lisbon, PT
- Program Committee Members
- Uwe Becker, DE
- Peter Bishop, UK
- Friedemann Bitsch, DE
- Sandro Bologna, IT
- Andrea Bondavalli, IT
- Jens Braband, DE
- Simon Burton, DE
- Peter Daniel, UK
- Ewen Denney, US
- Felicita Di Giandomenico, IT
More persons Program Committee members, please see link: (http://safecomp2020.di.fc.ul.pt/?page_id=51)
