| Event | When | Where | Deadline | |
| IWSSS 2020 |
International Workshop on Systems Safety & Security | |
| Jun 25, 2020 - Jun 27, 2020 |
Bucharest, Romania |
May 4, 2020 |
| IMBSA 2020 |
7th International Symposium on Model-Based Safety and Assessment | |
| Sep 14, 2020 - Sep 16, 2020 |
Lisbon, Portugal |
May 11, 2020 (May 4, 2020) |
| IFIP-ICTSS 2020 |
32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS | |
| Oct 6, 2020 - Oct 8, 2020 |
Naples |
May 15, 2020 (May 7, 2020) |
| FMICS 2020 |
25th International Conference on Formal Methods for Industrial Critical Systems | |
| Sep 2, 2020 - Sep 3, 2020 |
Vienna, Austria |
May 15, 2020 (May 8, 2020) |
| SRDS 2020 |
International Symposium on Reliable Distributed Systems | |
| Sep 21, 2020 - Sep 24, 2020 |
Shanghai, China (or online) |
May 15, 2020 (May 8, 2020) |
| ICFEM 2020 |
The 22nd International Conference on Formal Engineering Methods (2020) | |
| Nov 2, 2020 - Nov 6, 2020 |
Singapore |
May 17, 2020 |
| ISSRE 2020 |
The 31st International Symposium on Software Reliability Engineering | |
| Oct 12, 2020 - Oct 15, 2020 |
Coimbra, Portugal |
May 25, 2020 (May 18, 2020) |
| IWCPS 2020 |
7th International Workshop on Cyber-Physical Systems | |
| Sep 6, 2020 - Sep 9, 2020 |
Sofia, Bulgaria |
May 29, 2020 |
| DSOGRI 2020 |
2nd International Workshop on Dependable SOlutions for Intelligent Electricity Distribution GRIds | |
| Sep 7, 2020 - Sep 7, 2020 |
Munich |
Jun 1, 2020 |
| ASYDE 2020 |
Automated and verifiable Software sYstem DEvelopment | |
| Sep 15, 2020 - Sep 15, 2020 |
Amsterdam, The Netherlands |
Jun 16, 2020 (Jun 9, 2020) |
| SETTA 2020 |
Symposium on Dependable Software Engineering Theories, Tools and Applications | |
| Nov 24, 2020 - Nov 27, 2020 |
Guangzhou, China |
Jul 4, 2020 |
| PRDC 2020 |
The 25th IEEE Pacific Rim International Symposium on Dependable Computing | |
| Dec 1, 2020 - Dec 4, 2020 |
Perth, Australia |
Jul 18, 2020 |
| SRSE--Ei compendex, scopus 2020 |
2020 The 2nd International Conference on System Reliability and Safety Engineering (SRSE 2020)--Ei compendex, scopus | |
| Sep 25, 2020 - Sep 27, 2020 |
Chengdu, China |
Aug 15, 2020 |
| SRSE--Ei, scopus 2020 |
2020 The 2nd International Conference on System Reliability and Safety Engineering (SRSE 2020)--Ei compendex, scopus | |
| Sep 25, 2020 - Sep 27, 2020 |
Chengdu, China |
Aug 15, 2020 |
| PSSV 2020 |
XI Workshop Program Semantics, Specification and Verification | |
| Nov 3, 2020 - Nov 4, 2020 |
Moscow (Russia) |
Sep 14, 2020 |
| CPP 2021 |
Certified Programs and Proofs | |
| Jan 18, 2021 - Jan 19, 2021 |
Copenhagen, Denmark |
Sep 22, 2020 (Sep 16, 2020) |
| DependSys 2020 |
The 6th IEEE International Conference on Dependability in Sensor, Cloud, and Big Data Systems and Applications | |
| Dec 14, 2020 - Dec 16, 2020 |
Virtual |
Sep 25, 2020 |
| SAFEPROCESS 2021 |
11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes | |
| Jun 8, 2021 - Jun 11, 2021 |
Pafos, Cyprus |
Oct 12, 2020 |
| RTAS 2021 |
27th IEEE Real-Time and Embedded Technology and Applications Symposium | |
| May 18, 2021 - May 21, 2021 |
Nashville, USA |
Oct 26, 2020 |
| ICCPS 2021 |
International Conference on Cyber-Physical Systems | |
| May 19, 2021 - May 21, 2021 |
Nashville, TN, USA |
Oct 26, 2020 |
|
