Semantic search
| Acronym | Name | City | Country | Submissions due | Start | End |
|---|---|---|---|---|---|---|
| SAT 2020 | International Conference on Theory and Applications of Satisfiability Testing | Alghero | Italy | Jul 5 | Jul 9 | |
| UMAP 2020 | 28th Conference on User Modeling, Adaptation and Personalization | Genova | Italy | Feb 7 | Jul 14 | Jul 17 |
| ISSAC 2020 | 45th International Symposium on Symbolic and Algebraic Computation (ISSAC) | Kalamata | Greece | Jul 20 | Jul 23 | |
| ISAAC 2020 | International Symposium on Algorithms and Computation | Kalamata | Greece | Jul 20 | Jul 23 | |
| PODC 2020 | ACM Symposium on Principles of Distributed Computing | Salerno | Italy | Aug 3 | Aug 7 | |
| RO-MAN 2020 | IEEE International Symposium on Robot and Human Interactive Communication | Naples | Italy | Aug 31 | Apr 9 | |
| ICUAS 2020 | International Conference on Unmanned Aircraft Systems, | Athens | Greece | Feb 29 | Sep 1 | Sep 4 |
| LOPSTR 2020 | 30th International Symposium on Logic-Based Program Synthesis and Transformation | Bologna | Italy | Jun 12 | Sep 7 | Sep 9 |
| SSPR 2020 | Structural and Syntactical Pattern Recognition | Padua | Italy | Sep 8 | Aug 11 | |
| PPDP 2020 | 22nd International Symposium on Principles and Practice of Declarative Programming | Bologna | Italy | May 15 May 11 | Sep 8 | Sep 10 |
| ILP 2020 | International Conference on Inductive Logic Programming | Athens | Greece | May 29 | Sep 9 | Sep 11 |
| FOIS 2020 | 11th International Conference on Formal Ontology in Information Systems | Bolzen-Bolzano | Italy | Mar 19 | Sep 14 | Sep 17 |
| SCN 2020 | The Twelfth Conference on Security and Cryptography for Networks | Amalfi | Italy | Apr 19 | Sep 14 | Sep 16 |
| ECSA 2020 | European Conference on Software Architecture | L'Aquila | Italy | Sep 14 | Sep 18 | |
| EKAW 2020 | 22nd International Conference on Knowledge Engineering and Knowledge Management | Bozen-Bolzano | Italy | Apr 30 | Sep 16 | Sep 20 |
| KES 2020 | 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems | Verona | Italy | Apr 24 | Sep 16 | Sep 18 |
| ICSPC 2020 | International Conference on Security in Pervasive Computing | Rome | Italy | Sep 17 | Sep 18 | |
| ICLP 2020 | International Conference on Logic Programming | Rende | Italy | Sep 18 | Sep 24 | |
| ICCS 2020 | 25th International Conference on Conceptual Structures | Bolzano | Italy | Jan 26 | Sep 18 | Sep 21 |
| RadarConf 2020 | IEEE Radar Conference | Florence | Italy | Apr 27 | Sep 21 | Sep 25 |
