Theoretical Computer Science
| No. | Title Abbr. | Title | Location | Date | Submission Due Date |
|---|---|---|---|---|---|
| 1 | CS&SE@SW 2022 |
5th Workshop for Young Scientists in Computer Science & Software Engineering (CS&SE@SW 2022) () |
Ukraine, Kryvyi Rig |
2022-12-16 ~ 2022-12-16 |
2022-10-11 [Passed] |
| 2 | ISAAC 2022 |
International Symposium on Algorithms and Computation (ISAAC 2022) () |
Seoul |
2022-12-19 ~ 2022-12-21 |
2022-06-27 [Passed] |
| 3 | NET 2023 | 7th International Conference on Networks and Communications (NET 2023) () | Zurich |
2023-01-02 ~ 2023-01-03 |
2022-12-10 |
| 4 | TFP 2023 |
Trends in Functional Programming (TFP 2023) () |
Boston, MA, USA |
2023-01-13 ~ 2023-01-15 |
2022-11-23 [Passed] |
| 5 | 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]) |
| 6 | 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 |
| 7 | EECS2022 |
IEEE 2022 International Conference on Electronics, Electrical and Control System (EECS2022) () |
China, Changsha |
2023-03-03 ~ 2023-03-04 |
2022-12-31 |
| 8 | FMtea 2023 |
Formal Methods Teaching Workshop (FMtea 2023) () |
Lübeck, Germany |
2023-03-06 ~ 2023-03-06 |
2022-11-03 [Passed] |
| 9 | 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]) |
| 10 | 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 | |
| 11 | 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] |
| 12 | ESOP 2023 |
32st European Symposium on Programming (ESOP 2023) () |
Paris, France |
2023-04-22 ~ 2023-04-27 |
2022-10-13 [Passed] |
| 13 | SPIN 2023 |
29th International Symposium on Model Checking of Software (SPIN 2023) () |
Paris, France |
2023-04-26 ~ 2023-04-27 |
2023-01-16
(Abstract Submission Due Date: 2023-01-09) |
| 14 | 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]) |
| 15 | SCDD 2023 | International Conference on Soft Computing, Data mining and Data Science (SCDD 2023) () |
2023-05-13 ~ 2023-05-14 |
2022-11-26 [Passed] |
|
| 16 | RTNS 2023 |
International conference on Real-Time Networks and Systems (RTNS 2023) () |
Dortmund, Germany |
2023-06-07 ~ 2023-06-08 |
2023-01-17
(Abstract Submission Due Date: 2023-01-13) |
| 17 | TYCON2022 |
TyphoonCon 2023: All Offensive Security Conference (TYCON2022) () |
Republic of Korea, Seoul |
2023-06-12 ~ 2023-06-16 |
2023-04-28 |
| 18 | ICBR2023 |
2023 International Conference on Backup and Recovery (ICBR2023)
()
|
United States of America, New York |
2023-06-16 ~ 2023-06-18 |
2023-01-16 |
MANUSCRIPTLINK © 2015 -
