SafeComp 2020: Difference between revisions
m Soeren verschob die Seite SafeComb 2020 nach SafeComp 2020 |
No edit summary |
||
| Line 11: | Line 11: | ||
|Country=Portugal | |Country=Portugal | ||
}} | }} | ||
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== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 09:04, 19 June 2020
| SafeComp 2020 | |
|---|---|
39th International Conference on Computer Safety, Reliability and Security
| |
| Event in series | SafeComp |
| Dates | 2020/09/14 (iCal) - 2020/09/18 |
| Homepage: | http://safecomp2020.di.fc.ul.pt/ |
| Location | |
| Location: | Lisbon, Portugal |
| Important dates | |
| Submissions: | 2020/02/24 |
| 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
Important Dates
Committees
- Co-Organizers
- General Co-Chairs
- some person, some affiliation, country
- PC Co-Chairs
- some person, some affiliation, country
- Workshop Chair
- some person, some affiliation, country
- Panel Chair
- some person, some affiliation, country
- Seminars Chair
- some person, some affiliation, country
- Demonstration Co-Chairs
- some person, some affiliation, country
- some person, some affiliation, country
- Local Organizing Co-Chairs
- some person, some affiliation, country
- Program Committee Members
- some person, some affiliation, country
-->