m (Text replacement - "([0-9a-zA-Z])User:Curator 83" to "$1 Ch") |
m (Text replacement - "Homepage=" to "Official Website=") |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
|Title=39th International Conference on Computer Safety, Reliability and Security | |Title=39th International Conference on Computer Safety, Reliability and Security | ||
|Type=Conference | |Type=Conference | ||
| − | | | + | |Official Website=http://safecomp2020.di.fc.ul.pt/ |
| − | |||
|City=Lisbon | |City=Lisbon | ||
| − | |Country= | + | |Country=Country:PT |
| − | | | + | |Submission Link=https://easychair.org/my/conference?conf=safecomp2020# |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|Has coordinator=António Casimiro, Pedro Ferreira, Ibéria Medeiros | |Has coordinator=António Casimiro, Pedro Ferreira, Ibéria Medeiros | ||
|has general chair=António Casimiro | |has general chair=António Casimiro | ||
| Line 24: | Line 18: | ||
|Start Date=2020/09/15 | |Start Date=2020/09/15 | ||
|End Date=2020/09/18 | |End Date=2020/09/18 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Abstract Deadline=2020/02/14 | ||
| + | |Paper Deadline=2020/02/24 | ||
| + | |Workshop Deadline=2020/02/07 | ||
| + | |Notification Deadline=2020/04/30 | ||
| + | |Camera-Ready Deadline=2020/05/28 | ||
| + | |Submission Deadline=2020/02/24 | ||
| + | }} | ||
| + | {{S Event}} | ||
The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp) | The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp) | ||
| Line 81: | Line 86: | ||
==Committees== | ==Committees== | ||
* Co-Organizers | * Co-Organizers | ||
| − | * General Co- | + | * General Co-Chairs |
** [[has general chair::António Casimiro]], University of Lisbon, PT | ** [[has general chair::António Casimiro]], University of Lisbon, PT | ||
| − | * PC Co- | + | * PC Co-Chairs |
** [[has program chair::António Casimiro]], University of Lisbon, PT | ** [[has program chair::António Casimiro]], University of Lisbon, PT | ||
** [[has program chair::Frank Ortmeier]], Otto-von-Guericke University, DE | ** [[has program chair::Frank Ortmeier]], Otto-von-Guericke University, DE | ||
| − | * Publication | + | * Publication Chairs |
** [[has publication chair::Friedemann Bitsch]], THALES Deutschland GmbH, DE | ** [[has publication chair::Friedemann Bitsch]], THALES Deutschland GmbH, DE | ||
** [[has publication chair::Pedro Ferreira]], University of Lisbon, PT | ** [[has publication chair::Pedro Ferreira]], University of Lisbon, PT | ||
| Line 97: | Line 102: | ||
** [[has local organizing chair::Ibéria Medeiros]], University of Lisbon, PT | ** [[has local organizing chair::Ibéria Medeiros]], University of Lisbon, PT | ||
| − | * Workshop | + | * Workshop Chair |
** [[has workshop chair::Erwin Schoitsch]], AIT, AT | ** [[has workshop chair::Erwin Schoitsch]], AIT, AT | ||
| − | * Position Papers | + | * Position Papers Chair |
** [[has position papers chair::Jérémie Guiochet]], University of Toulouse III, FR | ** [[has position papers chair::Jérémie Guiochet]], University of Toulouse III, FR | ||
| − | * Publicity | + | * Publicity Chair |
** [[has publicity chair::Bernardo Ferreira]], University of Lisbon, PT | ** [[has publicity chair::Bernardo Ferreira]], University of Lisbon, PT | ||
Latest revision as of 14:22, 19 October 2022
The document "SafeComp 2020" was published on "2022-10-19T14:22:23" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:SafeComp 2020.
The document "SafeComp 2020" describes an event in the sense of a conference.
The document "SafeComp 2020" contains information about the event "SafeComp 2020" with start date "2020/09/15" and end date "2020/09/18".
The event "SafeComp 2020" is part of the event series identified by [[Event Series:SafeComp]]
Deadlines
|
||
| Workshop |
|
||
| Abstract |
|
||
| Submission |
|
||
| Paper |
|
||
| Notification |
|
||
| Camera-Ready |
Venue
Lisbon, Portugal
Warning: Venue is missing. The map might not show the exact location.
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 Easy Chair 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-Chairs
- António Casimiro, University of Lisbon, PT
- PC Co-Chairs
- António Casimiro, University of Lisbon, PT
- Frank Ortmeier, Otto-von-Guericke University, DE
- Publication Chairs
- 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 Chair
- Erwin Schoitsch, AIT, AT
- Position Papers Chair
- Jérémie Guiochet, University of Toulouse III, FR
- Publicity Chair
- 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)
