|
ICALP 2020
47th International Colloquium on Automata, Languages and Programming
|
|
IJCAR 2020
10th International Joint Conference on Automated Reasoning
|
|
LATA 2020
14th International Conference on Language and Automata Theory and Applications
|
|
OOPSLA 2020
Conference on Object-Oriented Programming Systems, Languages,and Applications
|
|
ATVA 2020
18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
|
|
IJPLA 2020
International Journal of Programming Languages and Applications
|
|
CONCUR 2020
31st International Conference on Concurrency Theory
|
|
CAIJ 2020
Computer Applications: An International Journal
|
|
MASTER@IJGIS 2020
Multiple-Aspect Analysis of Semantic Trajectories - Special Issue at IJGIS
|
|
DLT 2020
Developments in Language Theory
|
