Theoretical Computer Science
| 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 |
