No. Title Abbr. Title Location Date Submission Due Date
1 OVERLAY 2020 Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
(OVERLAY 2020)
 ()
Bolzano, Italy 2020-09-25
~
2020-09-26
2020-07-03
[Passed]
2 ATVA 2020 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
(ATVA 2020)
 ()
Hanoi, vietnam 2020-10-26
~
2020-10-30
2020-05-03
[Passed]
(Abstract Submission Due Date:
2020-04-26
[Passed])
3 ICSET-2021 International Conference on Science, Engineering & Technology
(ICSET-2021)
 ()
Singapore, Singapore 2021-01-28
~
2021-01-29
2020-11-25 (Abstract Submission Due Date:
2020-10-05)
4 SLIE 2021 Semantic, Logics, Information Extraction and AI
(SLIE 2021)
 ()
North-Miami Beach 2021-05-16
~
2021-05-19
2020-11-17