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