Theoretical Computer Science
| 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) |
Event Promotion
|
|
International conference on bioscience and biotechnology 2020 (Icbb2020) |
| 2020-10-12 ~ 2020-10-14 |
|
|
Asia-Pacific Conference on Giftedness 2020 (APCG2020) |
| 2020-11-27 ~ 2020-11-29 |
|
|
The 4th International conference on Interdisciplinary research on Computer Science, Psychology, and Education (ICICPE 2020) |
| 2020-12-21 ~ 2020-12-23 |
