|
SELSE 2020
Call for Papers: The 16th IEEE Workshop on Silicon Errors in Logic – System Effects (SELSE 2020)
|
|
IJCAR 2020
10th International Joint Conference on Automated Reasoning
|
|
ICICT--Ei Compendex and Scopus 2020
2020 the 3rd International Conference on Information and Computer Technologies (ICICT 2020)--Ei Compendex and Scopus
|
|
ICALP 2020
47th International Colloquium on Automata, Languages and Programming
|
|
ATVA 2020
18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
|
|
ACM--ICCDA--Ei, Scopus 2020
ACM--2020 The 4th International Conference on Compute and Data Analysis (ICCDA 2020)--Ei Compendex, Scopus
|
|
ICDM 2020
20th IEEE International Conference on Data Mining
|
|
CONCUR 2020
31st International Conference on Concurrency Theory
|
|
Scopus-DIT 2020
2020 International Conference on Development of Internet of Things (DIT 2020)
|
|
MNLP 2020
4th IEEE Conference on Machine Learning and Natural Language Processing
|
