Difference between revisions of "SafeComp 2020"
Jump to navigation
Jump to search
m (Soeren verschob die Seite SafeComb 2020 nach SafeComp 2020) |
|||
| 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 10: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
-->