| Event | When | Where | Deadline | |
| SCSSS 2019 |
7th Scandinavian Conference on System and Software Safety | |
| Oct 22, 2019 - Oct 23, 2019 |
Stockholm, Sweden |
Apr 25, 2019 |
| FVPS 2019 |
2nd Workshop on Formal Verification of Physical Systems | |
| Jul 8, 2019 - Jul 12, 2019 |
Prague, Czech Republic |
Apr 25, 2019 |
| IMBSA 2019 |
6th International Symposium on Model-Based Safety and Assessment | |
| Oct 16, 2019 - Oct 18, 2019 |
THESSALONIKI, GREECE |
May 3, 2019 (Apr 5, 2019) |
| ISSRE 2019 |
The 30th International Symposium on Software Reliability Engineering (ISSRE) - IEEE | |
| Oct 28, 2019 - Nov 1, 2019 |
Berlin, Germany |
May 5, 2019 (Apr 19, 2019) |
| FT4DAS 2019 |
Formal Techniques for Dependable Autonomous Systems | |
| Sep 10, 2019 - Sep 10, 2019 |
Turku, Finland |
May 13, 2019 |
| IWSSS 2019 |
7th International Workshop on Systems Safety and Security | |
| Jun 27, 2019 - Jun 29, 2019 |
Pitesti, Romania |
May 19, 2019 |
| SSCS 2019 |
14th International Conference on System Safety and Cyber Security | |
| Oct 21, 2019 - Oct 22, 2019 |
London |
Jun 15, 2019 |
| ISSA 2019 |
International workshop on Interplay of Security, Safety and System/Software | |
| Sep 23, 2019 - Sep 27, 2019 |
Luxembourg |
Jun 21, 2019 |
| ISSRE-INDUSTRY 2019 |
International Symposium of Software Reliability Engineering - Industry Track | |
| Oct 28, 2019 - Nov 1, 2019 |
Berlin, Germany |
Jul 21, 2019 |
| ACM--SRSE--EI Compendex, Scopus 2019 |
ACM--2019 Annual International Conference on System Reliability and Safety Engineering (SRSE 2019)--EI Compendex, Scopus | |
| Sep 20, 2019 - Sep 23, 2019 |
Wuhan University, China |
Aug 5, 2019 |
| SafeComp 2020 |
39th International Conference on Computer Safety, Reliability and Security | |
| Sep 15, 2020 - Sep 18, 2020 |
Lisbon, Portugal |
Feb 24, 2020 (Feb 14, 2020) |
| ICAI 2020 |
International Conference on Artificial Intelligence | |
| Apr 17, 2020 - Apr 18, 2020 |
Larache, Morocco |
Mar 30, 2020 |
| SUM 2020 |
he 14th International Conference on Scalable Uncertainty Management | |
| Sep 23, 2020 - Sep 25, 2020 |
Bolzano |
Apr 22, 2020 |
| SCSSS 2020 |
8th Scandinavian Conference on System and Software Safety | |
| Nov 24, 2020 - Nov 25, 2020 |
Sweden |
Apr 24, 2020 |
| ICFEM 2020 |
The 22nd International Conference on Formal Engineering Methods (2020) | |
| Nov 2, 2020 - Nov 6, 2020 |
Singapore |
May 1, 2020 |
| ATVA 2020 |
18ᵗʰ International Symposium on Automated Technology for Verification and Analysis | |
| Oct 26, 2020 - Oct 30, 2020 |
Hanoi, vietnam |
May 3, 2020 (Apr 26, 2020) |
| 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) |
| 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) |
| ISSRE 2020 |
The 31st International Symposium on Software Reliability Engineering | |
| Oct 12, 2020 - Oct 15, 2020 |
Coimbra, Portugal |
May 25, 2020 (May 18, 2020) |
|
