No. Title Abbr. Title Location Date Submission Due Date
1 ICFEM 2020 The 22nd International Conference on Formal Engineering Methods (2020)
(ICFEM 2020)
 ()
Singapore 2020-11-02
~
2020-11-06
2020-05-01
[Passed]
2 PSSV 2020 XI Workshop Program Semantics, Specification and Verification
(PSSV 2020)
 ()
Moscow (Russia) 2020-11-03
~
2020-11-04
2020-09-14
[Passed]
3 SMARTCLOUD2020 2020 IEEE International Conference on Smart Cloud (SmartCloud)
(SMARTCLOUD2020)
 ()
Washington, USA 2020-11-06
~
2020-11-08
2020-09-01
[Passed]
4 FOCS 2020 Foundations of Computer Science
(FOCS 2020)
 ()
Durham, NC USA 2020-11-16
~
2020-11-19
2020-04-09
[Passed]
5 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]
6 SBMF 2020 23rd Brazilian Symposium on Formal Methods
(SBMF 2020)
 ()
Ouro Preto / Brazil 2020-11-25
~
2020-11-27
2020-07-17
[Passed]
(Abstract Submission Due Date:
2020-07-10
[Passed])
7 CS&SE@SW 2020 3rd Computer Science & Software Engineering Student Workshop
(CS&SE@SW 2020)
 ()
Ukraine, Kryvyi Rig 2020-11-27
~
2020-11-27
2020-09-15
[Passed]
8 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])
9 OPODIS 2020 24th International Conference on Principles of Distributed Systems
(OPODIS 2020)
 ()
France, Strasbourg 2020-12-14
~
2020-12-16
2020-09-05
[Passed]
(Abstract Submission Due Date:
2020-08-31
[Passed])
10 SODA 2021 Symposium on Discrete Algorithms
(SODA 2021)
 ()
Alexandria, VA, USA 2021-01-10
~
2021-01-13
2020-07-15
[Passed]
(Abstract Submission Due Date:
2020-07-13
[Passed])
11 SOSA 2021 SIAM Symposium on Simplicity in Algorithms
(SOSA 2021)
 ()
Alexandria, VA, USA 2021-01-11
~
2021-01-12
2020-08-19
[Passed]
(Abstract Submission Due Date:
2020-08-12
[Passed])
12 CPP 2021 Certified Programs and Proofs
(CPP 2021)
 ()
Copenhagen, Denmark 2021-01-18
~
2021-01-19
2020-09-22
[Passed]
(Abstract Submission Due Date:
2020-09-16
[Passed])
13 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
[Passed]
14 ABZ 2021 ABZ 2021: 8th International Conference on Rigorous State Based Methods  () Ulm 2021-06-07
~
2021-06-11
2021-02-22 (Abstract Submission Due Date:
2021-02-15)
15 FCT 2021 23rd International Symposium on Fundamentals of Computation Theory
(FCT 2021)
 ()
Athens, Greece 2021-09-05
~
2021-09-08
Refer to Website
16 FM 2021 Formal Methods 2021
(FM 2021)
 ()
Beijing, China 2021-11-20
~
2021-11-26
2021-05-06 (Abstract Submission Due Date:
2021-04-30)