No. | Title Abbr. | Title | Location | Date | Submission Due Date |
---|---|---|---|---|---|
1 | CSITA 2021 | 7th International Conference on Computer Science, Information Technology and Applications (CSITA 2021) () | Switzerland, Zurich |
2021-05-22 ~ 2021-05-23 |
2021-04-10 [Passed] (Abstract Submission Due Date: 2021-04-10 [Passed]) |
2 | FormaliSE 2021 |
9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021) () |
Madrid, Spain |
2021-05-23 ~ 2021-05-24 |
2021-01-12 [Passed] (Abstract Submission Due Date: 2021-01-05 [Passed]) |
3 | F-IDE 2021 |
6th Workshop on Formal Integrated Development Environment (F-IDE 2021) () |
Online |
2021-05-24 ~ 2021-05-28 |
2021-03-01 [Passed] (Abstract Submission Due Date: 2021-02-22 [Passed]) |
4 | ABZ 2021 | ABZ 2021: 8th International Conference on Rigorous State Based Methods () | Ulm |
2021-06-07 ~ 2021-06-11 |
2021-02-22 [Passed] (Abstract Submission Due Date: 2021-02-15 [Passed]) |
5 | SEA 2021 |
19th Symposium on Experimental Algorithms (SEA 2021) () |
Valrose, France |
2021-06-07 ~ 2021-06-09 |
2021-01-24 [Passed] (Abstract Submission Due Date: 2021-01-17 [Passed]) |
6 | CSMML 2021 |
Control Software: Methods, Models, and Languages (CSMML 2021) () |
Tallinn, Estonia |
2021-06-21 ~ 2021-06-21 |
2021-04-12
(Abstract Submission Due Date: 2021-04-05 [Passed]) |
7 | IWOCA 2021 |
32nd International Workshop on Combinatorial Algorithms (IWOCA 2021) () |
Ottawa, Canada |
2021-07-05 ~ 2021-07-07 |
2021-03-14 [Passed] (Abstract Submission Due Date: 2021-03-08 [Passed]) |
8 | WADS 2021 |
Algorithms and Data Structures Symposium (WADS 2021) () |
Dalhousie University, Halifax, Canada |
2021-08-09 ~ 2021-08-11 |
2021-02-20 [Passed] |
9 | CCCG 2021 |
Canadian Conference on Computational Geometry (CCCG 2021) () |
Halifax, Nova Scotia, Canada |
2021-08-10 ~ 2021-08-12 |
2021-05-07 |
10 | FMICS 2021 |
Formal Methods for Industrial Critical Systems (FMICS 2021) () |
Virtual |
2021-08-23 ~ 2021-08-27 |
2021-05-14
(Abstract Submission Due Date: 2021-05-07) |
11 | TASE 2021 |
The 15th International Symposium on Theoretical Aspects of Software Engineering (TASE 2021) () |
Shanghai |
2021-08-25 ~ 2021-08-27 |
2021-03-07 [Passed] (Abstract Submission Due Date: 2021-02-28 [Passed]) |
12 | FCT 2021 |
23rd International Symposium on Fundamentals of Computation Theory (FCT 2021) () |
Athens, Greece |
2021-09-05 ~ 2021-09-08 |
Refer to Website |
13 | CONISOFT 2021 |
9th International Conference on Software Engineering Research and Innovation (CONISOFT 2021) () |
San Diego Global Knowledge University (S |
2021-10-25 ~ 2021-10-29 |
2021-05-15 |
14 | 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) |