Difference between revisions of "SafeComp 2020"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=SafeComb 2020 |Title=39th International Conference on Computer Safety, Reliability and Security |Type=Conference |Start date=2020/09/14 |End date=2020/09/18 |...")
 
 
(16 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
−
|Acronym=SafeComb 2020
+
|Acronym=SafeComp 2020
 
|Title=39th International Conference on Computer Safety, Reliability and Security
 
|Title=39th International Conference on Computer Safety, Reliability and Security
 +
|Series=SafeComp
 
|Type=Conference
 
|Type=Conference
−
|Start date=2020/09/14
+
|Start date=2020/09/15
 
|End date=2020/09/18
 
|End date=2020/09/18
 
|Submission deadline=2020/02/24
 
|Submission deadline=2020/02/24
Line 9: Line 10:
 
|City=Lisbon
 
|City=Lisbon
 
|Country=Portugal
 
|Country=Portugal
 +
|Abstract deadline=2020/02/14
 +
|Paper deadline=2020/02/24
 +
|Workshop deadline=2020/02/07
 +
|Notification=2020/04/30
 +
|Camera ready=2020/05/28
 +
|Submitting link=https://easychair.org/my/conference?conf=safecomp2020#
 +
|Has coordinator=António Casimiro, Pedro Ferreira, Ibéria Medeiros
 +
|has general chair=António Casimiro
 +
|has program chair=António Casimiro, Frank Ortmeier
 +
|has workshop chair=Erwin Schoitsch
 
}}
 
}}
−
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
+
The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)
  
 
==Topics==
 
==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==
 
==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==
 
==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==
 
==Committees==
 
* Co-Organizers
 
* Co-Organizers
 
* General Co-Chairs
 
* General Co-Chairs
−
** [[has general chair::some person]], some affiliation, country
+
** [[has general chair::António Casimiro]], University of Lisbon, PT
  
 
* PC Co-Chairs
 
* PC Co-Chairs
−
** [[has program chair::some person]], some affiliation, country
+
** [[has program chair::António Casimiro]], University of Lisbon, PT
 +
** [[has program chair::Frank Ortmeier]], Otto-von-Guericke University, DE
  
−
* Workshop Chair
+
* Publication Chairs
−
** [[has workshop chair::some person]], some affiliation, country
+
** [[has publication chair::Friedemann Bitsch]], THALES Deutschland GmbH, DE
 +
** [[has publication chair::Pedro Ferreira]], University of Lisbon, PT
  
−
* Panel Chair
+
* Local Organizing Committee
−
** [[has OC member::some person]], some affiliation, country
+
** [[has local organizing chair::António Casimiro]], University of Lisbon, PT
 +
** [[has local organizing chair::Pedro Ferreira]], University of Lisbon, PT
 +
** [[has local organizing chair::Ibéria Medeiros]], University of Lisbon, PT
  
−
* Seminars Chair
+
* Workshop Chair
−
** [[has tutorial chair::some person]], some affiliation, country
+
** [[has workshop chair::Erwin Schoitsch]], AIT, AT
  
−
* Demonstration Co-Chairs
+
* Position Papers Chair
−
** [[has demo chair::some person]], some affiliation, country
+
** [[has position papers chair::Jérémie Guiochet]], University of Toulouse III, FR
−
** [[has demo chair::some person]], some affiliation, country
 
  
−
* Local Organizing Co-Chairs
+
* Publicity Chair
−
** [[has local chair::some person]], some affiliation, country
+
** [[has publicity chair::Bernardo Ferreira]], University of Lisbon, PT
  
 
* Program Committee Members
 
* Program Committee Members
−
** [[has PC member::some person]], some affiliation, country
+
** [[has PC member::Uwe Becker]], DE
−
-->
+
** [[has PC member::Peter Bishop]], UK
 +
** [[has PC member::Friedemann Bitsch]], DE
 +
** [[has PC member::Sandro Bologna]], IT
 +
** [[has PC member::Andrea Bondavalli]], IT
 +
** [[has PC member::Jens Braband]], DE
 +
** [[has PC member::Simon Burton]], DE
 +
** [[has PC member::Peter Daniel]], UK
 +
** [[has PC member::Ewen Denney]], US
 +
** [[has PC member::Felicita Di Giandomenico]], IT
 +
More persons Program Committee members, please see link: (http://safecomp2020.di.fc.ul.pt/?page_id=51)

Latest revision as of 10:54, 19 June 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...

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
Committees
Organizers: António Casimiro, Pedro Ferreira, Ibéria Medeiros
General chairs: António Casimiro
PC chairs: António Casimiro, Frank Ortmeier
Workshop chairs: Erwin Schoitsch
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

More persons Program Committee members, please see link: (http://safecomp2020.di.fc.ul.pt/?page_id=51)

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=SafeComp_2020&oldid=224212"
Facts about "SafeComp 2020"
RDF feed
Abstract deadlineFebruary 14, 2020 +
AcronymSafeComp 2020 +
Camera ready dueMay 28, 2020 +
End dateSeptember 18, 2020 +
Event in seriesSafeComp +
Event typeConference +
Has PC memberUwe Becker +, Peter Bishop +, Friedemann Bitsch +, Sandro Bologna +, Andrea Bondavalli +, Jens Braband +, Simon Burton +, Peter Daniel +, Ewen Denney + and Felicita Di Giandomenico +
Has Submitting linkhttps://easychair.org/my/conference?conf=safecomp2020 +
Has coordinates38° 42' 28", -9° 8' 12"Latitude: 38.70775
Longitude: -9.1365916666667 +
Has coordinatorAntónio Casimiro +, Pedro Ferreira + and Ibéria Medeiros +
Has general chairAntónio Casimiro +
Has local organizing chairAntónio Casimiro +, Pedro Ferreira + and Ibéria Medeiros +
Has location cityLisbon +
Has location countryCategory:Portugal +
Has position papers chairJérémie Guiochet +
Has program chairAntónio Casimiro + and Frank Ortmeier +
Has publication chairFriedemann Bitsch + and Pedro Ferreira +
Has publicity chairBernardo Ferreira +
Has workshop chairErwin Schoitsch +
Homepagehttp://safecomp2020.di.fc.ul.pt/ +
IsAEvent +
NotificationApril 30, 2020 +
Paper deadlineFebruary 24, 2020 +
Start dateSeptember 15, 2020 +
Submission deadlineFebruary 24, 2020 +
Title39th International Conference on Computer Safety, Reliability and Security +
Workshop deadlineFebruary 7, 2020 +