Academic & Psychological Testing
| 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]) |
