Difference between revisions of "SafeComp 2018"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=SafeComp 2018 |Title=37th International Conference on Computer Safety, Reliability, and Security |Series=SafeComp |Type=Conference |Start date=2018/09/18 |End...")
 
 
(7 intermediate revisions by the same user not shown)
Line 10: Line 10:
 
|City=Västerås
 
|City=Västerås
 
|Country=Sweden
 
|Country=Sweden
 +
|Paper deadline=2018/02/28
 +
|Workshop deadline=2018/09/18
 +
|Notification=2018/05/07
 +
|Camera ready=2018/06/11
 +
|Submitting link=https://easychair.org/conferences/?conf=safecomp2018
 +
|Has coordinator=Malin Rosqvist, Irfan Sljivo, Lena Jonsson, Gunnar Widforss
 +
|has general chair=Barbara Gallina, Amund Skavhaug
 +
|has program chair=Barbara Gallina, Amund Skavhaug
 +
|has workshop chair=Erwin Schoitsch
 +
|has Keynote speaker=Robyn Lutz, Uma Ferrell, Richard Hendeberg
 +
|Submitted papers=63
 +
|Accepted papers=22
 +
|Accepted short papers=1
 +
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-319-99130-6.pdf
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-99130-6
 +
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-319-99130-6
 
}}
 
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
+
The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
 +
 
  
 
==Topics==
 
==Topics==
==Submissions==
+
The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:
==Important Dates==
+
* Fault-tolerant and resilient hardware and software architectures and tools for all concerned topics;
 +
* Fault detection and recovery mechanisms;
 +
* Distributed and real-time monitoring and control;
 +
* Security and privacy protection mechanisms for safety applications;
 +
* Safety/security risk assessment;
 +
* Model-based analysis, design, and assessment;
 +
* Formal methods for verification, validation, and fault tolerance;
 +
* Probabilistic verification and validation;
 +
* In-the-loop and model-based testing;
 +
* Validation and verification methodologies;
 +
* Methods for qualification, assurance and certification;
 +
* Compositional verification and certification;
 +
* Architecture-driven assurance of safety and security;
 +
* Dependability analysis using simulation and experimental measurement;
 +
* Cyber-physical threats and vulnerability analysis;
 +
* Safety guidelines, standards and certification;
 +
* Safety and security interactions and tradeoffs;
 +
* Safety and security cases;
 +
* Multi-concern dependability assurance and standardization,
 +
* Industrial experience and case studies.
  
==Committees==
+
Domains of application include (but are not limited to):
* Co-Organizers
+
* Railways, automotive, space, avionics, nuclear and process industries;
* General Co-Chairs
+
* Autonomous systems, advanced robotics, construction engines and off-road vehicles;
** [[has general chair::some person]], some affiliation, country
+
* Telecommunication and networks;
 +
* Safety-related applications of smart systems and IoT (Internet of Things, Smart Anything Everywhere);
 +
* Critical infrastructures, smart grids, SCADA;
 +
* Medical devices and healthcare;
 +
* Defense, emergency & rescue;
 +
* Logistics, industrial automation, off-shore technology;
 +
* Education & training
  
* PC Co-Chairs
 
** [[has program chair::some person]], some affiliation, country
 
  
* Workshop Chair
+
==Submissions==
** [[has workshop chair::some person]], some affiliation, country
+
PAPER SUBMISSION DETAILS
 +
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:
 +
1-regular papers (up to 14 pages),
 +
2-practical experience reports and tool reports (up to 8 pages)
 +
Papers exceeding the page limit will be excluded from the review process. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere.
 +
Papers can be submitted through easychair.
  
* Panel Chair
 
** [[has OC member::some person]], some affiliation, country
 
  
* Seminars Chair
+
==Important Dates==
** [[has tutorial chair::some person]], some affiliation, country
+
Workshop proposal submission: 5 February 2018<br>
 
+
Full paper submission: 28 February 2018<br>
* Demonstration Co-Chairs
+
Deadline extension: Monday, March 12th (AoE)<br>
** [[has demo chair::some person]], some affiliation, country
+
Notification of acceptance: 7 May 2018<br>
** [[has demo chair::some person]], some affiliation, country
+
Camera-ready submission: 11 June 2018<br>
 
+
Workshops: 18 September 2018<br>
* Local Organizing Co-Chairs
+
Conference: 19-21 September 2018<br>
** [[has local chair::some person]], some affiliation, country
 
 
 
* Program Committee Members
 
** [[has PC member::some person]], some affiliation, country
 
-->
 

Latest revision as of 09:23, 19 June 2020

SafeComp 2018
37th International Conference on Computer Safety, Reliability, and Security
Event in series SafeComp
Dates 2018/09/18 (iCal) - 2018/09/21
Homepage: http://www.es.mdh.se/safecomp2018/
Submitting link: https://easychair.org/conferences/?conf=safecomp2018
Location
Location: Västerås, Sweden
Loading map...

Important dates
Workshops: 2018/09/18
Papers: 2018/02/28
Submissions: 2018/02/28
Notification: 2018/05/07
Camera ready due: 2018/06/11
Accepted short papers: 1
Papers: Submitted 63 / Accepted 22 (34.9 %)
Committees
Organizers: Malin Rosqvist, Irfan Sljivo, Lena Jonsson, Gunnar Widforss
General chairs: Barbara Gallina, Amund Skavhaug
PC chairs: Barbara Gallina, Amund Skavhaug
Workshop chairs: Erwin Schoitsch
Keynote speaker: Robyn Lutz, Uma Ferrell, Richard Hendeberg
Table of Contents


The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)


Topics

The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:

  • Fault-tolerant and resilient hardware and software architectures and tools for all concerned topics;
  • Fault detection and recovery mechanisms;
  • Distributed and real-time monitoring and control;
  • Security and privacy protection mechanisms for safety applications;
  • Safety/security risk assessment;
  • Model-based analysis, design, and assessment;
  • Formal methods for verification, validation, and fault tolerance;
  • Probabilistic verification and validation;
  • In-the-loop and model-based testing;
  • Validation and verification methodologies;
  • Methods for qualification, assurance and certification;
  • Compositional verification and certification;
  • Architecture-driven assurance of safety and security;
  • Dependability analysis using simulation and experimental measurement;
  • Cyber-physical threats and vulnerability analysis;
  • Safety guidelines, standards and certification;
  • Safety and security interactions and tradeoffs;
  • Safety and security cases;
  • Multi-concern dependability assurance and standardization,
  • Industrial experience and case studies.

Domains of application include (but are not limited to):

  • Railways, automotive, space, avionics, nuclear and process industries;
  • Autonomous systems, advanced robotics, construction engines and off-road vehicles;
  • Telecommunication and networks;
  • Safety-related applications of smart systems and IoT (Internet of Things, Smart Anything Everywhere);
  • Critical infrastructures, smart grids, SCADA;
  • Medical devices and healthcare;
  • Defense, emergency & rescue;
  • Logistics, industrial automation, off-shore technology;
  • Education & training


Submissions

PAPER SUBMISSION DETAILS 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: 1-regular papers (up to 14 pages), 2-practical experience reports and tool reports (up to 8 pages) Papers exceeding the page limit will be excluded from the review process. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. Papers can be submitted through easychair.


Important Dates

Workshop proposal submission: 5 February 2018
Full paper submission: 28 February 2018
Deadline extension: Monday, March 12th (AoE)
Notification of acceptance: 7 May 2018
Camera-ready submission: 11 June 2018
Workshops: 18 September 2018
Conference: 19-21 September 2018