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 |
ISAAC 2020 | International Symposium on Algorithms and Computation | Kalamata | Greece | | Jul 20 | Jul 23 |
ISSAC 2020 | 45th International Symposium on Symbolic and Algebraic Computation (ISSAC) | 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 |