SAFECOMP2021: SAFECOMP2021 University of York York, UK, September 7-10, 2021 |
Conference website | https://safecomp2021.hosted.york.ac.uk/ |
Submission link | https://easychair.org/conferences/?conf=safecomp2021 |
Abstract registration deadline | February 1, 2021 |
Submission deadline | February 22, 2021 |
SAFECOMP 2021
The 40th International Conference on Computer Safety, Reliability and Security
7 to 10 September 2021
York, UK
SAFECOMP 2021 KEY THEME
- Safe human-robotic and autonomous system (RAS) interaction
TOPICS
The conference covers 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
- Model-based safety analysis, design, and assessment
- Formal methods for verification, validation, and fault tolerance
- Fault detection and recovery mechanisms
- Resilient and fault-tolerant HW and SW architectures
- Distributed and real-time monitoring and control
- Safety/security co-engineering and risk assessment
- Testing, verification, and validation methods and tools
- Qualification, assurance, and certification methods and 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
Topics related to the theme of safe human-RAS interaction:
- Human acceptance of RAS
- Teaming - safe human-system teaming
- Safe human-RAS interaction
- Transfer of tasks from humans to systems
- Ethics, governance and regulation of RAS
We welcome submissions from any domain where safety-critical systems are in use or being developed.
CONFERENCE PROCEEDINGS
All accepted regular papers, practical experience reports and tool papers will be published by Springer in the LNCS Series.
PAPER SUBMISSIONS
The tradition of SafeComp is to act as a platform for bringing together academic research and industrial needs. In 2021 we want this industrial and real-world experience to be a strong element of the conference.
We solicit two types of papers:
- research papers (up to 14 pages - should describe the research gap that is addressed and explain how the proposed contribution advances current knowledge)
- practical experience reports / tool descriptions (up to 8 pages - should convey a clear message and lessons for practitioners)
All papers will be reviewed by three members of the Programme Committee. Papers must not have been previously published or concurrently submitted elsewhere.
WORKSHOPS, TUTORIALS AND EXHIBITION
It is planned that Tuesday 7 September will be a day of tutorials and workshops. Proposals are welcomed.
Information about sponsorship and the exhibition is available on the conference website. A dedicated space will be available for a Technical Exhibition where coffee breaks take place. Organisations wishing to present their products or projects are invited to request further information from (cs-safecomp2021@york.ac.uk).
SPECIAL ISSUE IN SAFETY SCIENCE
Extended versions of a selection of papers will be considered for publication in a special issue of Safety Science. More information will be available on safecomp2021.hosted.york.ac.uk.
IMPORTANT DATES
- Workshop and tutorial proposal submission: 25 January 2021
- Abstract submission: 1 February 2021
- Full paper submission: 15 February 2021
- Notification of acceptance: 29 April 2021
- Camera-ready submission: 27 May 2021
ABOUT YORK
The historic city of York is in the centre of England, allowing easy access from the UK and beyond. It is a beautifully preserved medieval city, and a place of extraordinary cultural and historical wealth to explore while you attend the conference.
The city is home to York Minster, a large Gothic cathedral, as well as well-preserved medieval walls, which offer a chance to walk the city perimeter.
The city also houses many museums of international interest, including the National Railway Museum, the Castle Museum, and the Jorvik Viking Centre.
CONFERENCE VENUE
The conference will take place on Campus East at the University of York. The campus is a short bus ride from the city centre (shuttle buses will be provided and frequent public buses run).
Accommodation will be available to book on campus or hotel options are available in the city centre.
CONFERENCE CHAIRS
EWICS TC7 Chair
- Francesca Saglietti (Univ. Erlangen-Nuremberg, DE)
General Chair
- John McDermid (Univ. of York, UK)
Program Co-Chairs
- Ibrahim Habli (Univ. of York, UK)
- Mark Sujan (Human Factors Everywhere, UK)
Publication Chair
- Friedemann Bitsch (THALES Deutschland GmbH, DE)
Local Organising Committee
- Dawn Forrester (Univ. of York, UK)
- Sarah Heathwood (Univ. of York, UK)
- Alex King (Univ. of York, UK)
Industry Chair
- Simon Burton (Robert Bosch GmbH, DE)
Workshop Co-Chairs
- Simos Gerasimou (Univ. of York, UK)
- Erwin Schoitsch (AIT, AT)
INTERNATIONAL PROGRAM COMMITTEE
- Becker, U. (DE)
- Bishop, P. (UK)
- Bitsch, F. (DE)
- Bologna, S. (IT)
- Braband, J. (DE)
- Casimiro, A. (PT)
- Daniel, P. (UK)
- Denney, E. (US)
- Di Giandomenico, F. (IT)
- Favaro, J. (IT)
- Flammini, F. (SE)
- Fuerst, S. (DE)
- Gallina, B. (SE)
- Gonçalves, B. (PT)
- Guiochet, J. (FR)
- Heisel, M. (DE)
- Katoen, J. (DE)
- Kaya, K (TU)
- Koopman, P. (US)
- Lawford, M. (CA)
- Magrabi, F. (AU)
- Pai, G. (US)
- Palanque, P. (FR)
- Paulitsch, M. (DE)
- Pfeifer, H. (DE)
- Popov, P. (UK)
- Rae, A. (AU)
- Romanovsky, A. (UK)
- Rossi, M. (IT)
- Saglietti, F. (DE)
- Schneider, D. (DE)
- Schoitsch, E. (AT)
- Seguin, C. (FR)
- Sokolsky, O. (US)
- Steiner, W. (AT)
- Taguchi, K. (JP)
- Tonetta, S. (IT)
- Trapp, M. (DE)
- Troubitsyna, E. (SE)
- Verhoef, M. (NL)
- Völp, M. (LU)
- Waeselynck, H. (FR)
ABOUT SAFECOMP
Established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
SafeComp provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a single-track conference allowing easy networking.