No. Title Abbr. Title Location Date Submission Due Date
1 SIMULTECH 2020 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
(SIMULTECH 2020)
 ()
Lieusaint - Paris, France 2020-07-08
~
2020-07-10
2020-02-14
[Passed]
2 FMBC 2020 2nd Workshop on Formal Methods for Blockchains
(FMBC 2020)
 ()
Los Angeles, USA 2020-07-19
~
2020-07-19
2020-05-12
[Passed]
(Abstract Submission Due Date:
2020-05-05
[Passed])
3 UCNC 2020 19th International Conference on Unconventional Computation and Natural Computation
(UCNC 2020)
 ()
Vienna, Austria 2020-08-17
~
2020-08-21
2020-04-01
[Passed]
4 CONCUR 2020 (CFP) The 31st International Conference on Concurrency Theory (CONCUR 2020) --- VIRTUAL /Vienna, Austria\  () Vienna 2020-09-01
~
2020-09-04
2020-04-28
[Passed]
(Abstract Submission Due Date:
2020-04-28
[Passed])
5 FORMATS 2020 Formal Modeling and Analysis of Timed Systems
(FORMATS 2020)
 ()
Vienna, Austria 2020-09-01
~
2020-09-03
2020-04-13
[Passed]
(Abstract Submission Due Date:
2020-04-06
[Passed])
6 FMICS 2020 25th International Conference on Formal Methods for Industrial Critical Systems
(FMICS 2020)
 ()
Vienna, Austria 2020-09-02
~
2020-09-03
2020-05-15
[Passed]
(Abstract Submission Due Date:
2020-05-08
[Passed])
7 DNA 2020 26th International Conference on DNA Computing and Molecular Programming
(DNA 2020)
 ()
Oxford, UK 2020-09-13
~
2020-09-18
2020-04-20
[Passed]
8 GandALF 2020 11th International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2020)
 ()
Brussels, Belgium 2020-09-21
~
2020-09-23
2020-06-15
[Passed]
(Abstract Submission Due Date:
2020-06-13
[Passed])
9 ICFEM 2020 The 22nd International Conference on Formal Engineering Methods (2020)
(ICFEM 2020)
 ()
Singapore 2020-11-02
~
2020-11-06
2020-05-01
[Passed]
10 PSSV 2020 XI Workshop Program Semantics, Specification and Verification
(PSSV 2020)
 ()
Moscow (Russia) 2020-11-03
~
2020-11-04
2020-09-14
11 FOCS 2020 Foundations of Computer Science
(FOCS 2020)
 ()
Durham, NC USA 2020-11-16
~
2020-11-19
2020-04-09
[Passed]
12 FDSE 2020 The 7th International Conference on Future Data and Security Engineering - FDSE 2020 (LNCS & CCIS/Springer Verlag)  () Vietnam, Quy Nhon 2020-11-25
~
2020-11-27
2020-06-25
[Passed]
13 SBMF 2020 23rd Brazilian Symposium on Formal Methods
(SBMF 2020)
 ()
Ouro Preto / Brazil 2020-11-25
~
2020-11-27
2020-07-17 (Abstract Submission Due Date:
2020-07-10)
14 ICTAC 2020 17th International Colloquium on Theoretical Aspects of Computing
(ICTAC 2020)
 ()
Macao 2020-12-02
~
2020-12-04
2020-06-26
[Passed]
(Abstract Submission Due Date:
2020-06-22
[Passed])
15 OPODIS 2020 24th International Conference on Principles of Distributed Systems
(OPODIS 2020)
 ()
France, Strasbourg 2020-12-14
~
2020-12-16
2020-09-05 (Abstract Submission Due Date:
2020-08-31)
16 CPP 2021 Certified Programs and Proofs
(CPP 2021)
 ()
Copenhagen, Denmark 2021-01-18
~
2021-01-19
2020-09-22 (Abstract Submission Due Date:
2020-09-16)
17 SCOPUS-3CE 2021 2021 International Conference on Communications and Computer Engineering (3CE 2021)
(SCOPUS-3CE 2021)
 ()
Singapore 2021-03-11
~
2021-03-13
2020-09-10
18 FCT 2021 23rd International Symposium on Fundamentals of Computation Theory
(FCT 2021)
 ()
Athens, Greece 2021-09-05
~
2021-09-08
Refer to Website