No. | Title Abbr. | Title | Location | Date | Submission Due Date |
---|---|---|---|---|---|
1 | CSL 2022 |
Computer Science Logic 2023 (CSL 2022) () |
Warsaw, Poland |
2023-02-13 ~ 2023-02-17 |
2022-07-16 [Passed] (Abstract Submission Due Date: 2022-07-09 [Passed]) |
2 | SPML 2023 | 3rd International Conference on Signal Processing and Machine Learning (CONF-SPML 2023) () | United Kingdom, Oxford |
2023-02-25 ~ 2023-02-25 |
2023-02-20 |
3 | EECS2022 |
IEEE 2022 International Conference on Electronics, Electrical and Control System (EECS2022) () |
China, Changsha |
2023-03-03 ~ 2023-03-04 |
2022-12-31 [Passed] |
4 | FMtea 2023 |
Formal Methods Teaching Workshop (FMtea 2023) () |
Lübeck, Germany |
2023-03-06 ~ 2023-03-06 |
2022-11-03 [Passed] |
5 | FM 2023 |
Formal Methods (FM 2023) () |
Lübeck, Germany |
2023-03-07 ~ 2023-03-09 |
2022-09-11 [Passed] (Abstract Submission Due Date: 2022-09-04 [Passed]) |
6 | Social Media during COVID-19 & MonkeyPox |
SPECIAL ISSUE: The Role of Social Media during the Ongoing Outbreaks of COVID-19 and Monkeypox: Applications, Use-Cases, Analytics, and Beyond (Social Media during COVID-19 & MonkeyPox) () |
2023-03-15 ~ 2023-03-15 |
2023-03-15 | |
7 | TACAS 2023 |
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023) () |
Paris, France |
2023-04-22 ~ 2023-04-27 |
2022-10-13 [Passed] |
8 | ESOP 2023 |
32st European Symposium on Programming (ESOP 2023) () |
Paris, France |
2023-04-22 ~ 2023-04-27 |
2022-10-13 [Passed] |
9 | SPIN 2023 |
29th International Symposium on Model Checking of Software (SPIN 2023) () |
Paris, France |
2023-04-26 ~ 2023-04-27 |
2023-01-16 [Passed] (Abstract Submission Due Date: 2023-01-09 [Passed]) |
10 | FSEN 2023 |
Fundamentals of Software Engineering (FSEN 2023) () |
Tehran |
2023-05-03 ~ 2023-05-05 |
2022-10-14 [Passed] (Abstract Submission Due Date: 2022-10-07 [Passed]) |
11 | RTNS 2023 |
International conference on Real-Time Networks and Systems (RTNS 2023) () |
Dortmund, Germany |
2023-06-07 ~ 2023-06-08 |
2023-01-17 [Passed] (Abstract Submission Due Date: 2023-01-13 [Passed]) |
12 | TYCON2022 |
TyphoonCon 2023: All Offensive Security Conference (TYCON2022) () |
Republic of Korea, Seoul |
2023-06-12 ~ 2023-06-16 |
2023-04-28 |
13 | ICBR2023 | 2023 International Conference on Backup and Recovery (ICBR2023) () | United States of America, New York |
2023-06-16 ~ 2023-06-18 |
2023-02-16 |
14 | ICDM2023 | 2023 International Conference on Data Mining (ICDM2023) () | United States of America, New York |
2023-06-16 ~ 2023-06-18 |
2023-02-16 |
15 | ICDS2023 | 2023 International Conference on Data Science (ICDS2023) () | United States of America, New York |
2023-06-16 ~ 2023-06-18 |
2023-02-16 |