SystemX_Safety's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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
IJPLA 2020 International Journal of Programming Languages and Applications
N/A N/A Jul 18, 2020
PRDC 2020 The 25th IEEE Pacific Rim International Symposium on Dependable Computing
Dec 1, 2020 - Dec 4, 2020 Perth, Australia Jul 18, 2020
NCWC 2020 6th International Conference of Networks, Communications, Wireless and Mobile Computing
Oct 24, 2020 - Oct 25, 2020 Dubai,UAE Jul 26, 2020
ICSS 2020 6th International Conference on Software Security
Nov 28, 2020 - Nov 29, 2020 London, United Kingdom Jul 26, 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)
first | previous | Page 1 | next | last Total of 19 CFPs in 1 pages