No. Title Abbr. Title Location Date Submission Due Date
1 LICS 2020 Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS 2020)
 ()
Beijing, China 2020-07-08
~
2020-07-12
2020-01-10
[Passed]
(Abstract Submission Due Date:
2020-01-06
[Passed])
2 EXPRESS/SOS 2020 Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2020)
 ()
Vienna, Austria 2020-08-31
~
2020-08-31
2020-06-26
[Passed]
3 WOMoCoE 2020 5th International Workshop on Ontology Modularity, Contextuality, and Evolution
(WOMoCoE 2020)
 ()
Bolzano, Italy 2020-09-14
~
2020-09-14
2020-06-29
[Passed]
(Abstract Submission Due Date:
2020-06-24
[Passed])
4 ASPOCP 2020 13th Workshop on Answer Set Programming and Other Computing Paradigms
(ASPOCP 2020)
 ()
AoE 2020-09-17
~
2020-09-18
2020-07-13 (Abstract Submission Due Date:
2020-07-11)
5 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]
6 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])