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
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
IJPLA 2020 International Journal of Programming Languages and Applications
N/A N/A Oct 24, 2020
IJCSEA 2020 International Journal of Computer Science, Engineering and Applications
N/A N/A Oct 24, 2020
first | previous | Page 1 | next | last Total of 29 CFPs in 2 pages