Event | When | Where | Deadline | |
ECAI 2020 |
24th European Conference on Artificial Intelligence | |
Jun 8, 2020 - Jun 12, 2020 |
Santiago de Compostela |
Nov 19, 2019 (Nov 15, 2020) |
DSN 2020 |
Dependable Systems and Networks | |
Jun 29, 2020 - Jul 2, 2020 |
Valencia, Spain |
Dec 13, 2019 (Dec 3, 2019) |
LICS 2020 |
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science | |
Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Jan 10, 2020 (Jan 6, 2020) |
CAV 2020 |
Computer Aided Verification | |
Jun 21, 2020 - Jun 24, 2020 |
Los Angeles, USA |
Jan 23, 2020 |
PAAMS 2020 |
18th International Conference on Practical Applications of Agents and Multi-Agent Systems | |
Jun 16, 2020 - Jun 19, 2020 |
L'Aquila (Italy) |
Jan 24, 2020 |
EUMAS 2020 |
17th European Conference on Multi-Agent Systems | |
Apr 22, 2020 - Apr 23, 2020 |
Thessaloniki, Greece |
Feb 12, 2020 (Feb 6, 2020) |
ICALP 2020 |
47th International Colloquium on Automata, Languages and Programming | |
Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Feb 12, 2020 |
AIML 2020 |
IEEE Intl Workshop on Advances in AI and Machine Learning (AIML): Addressing Risks and Concerns | |
Jul 13, 2020 - Jul 17, 2020 |
Madrid, Spain |
Apr 9, 2020 |
ANTS 2020 |
12th International Conference on Swarm Intelligence | |
Oct 26, 2020 - Oct 28, 2020 |
Barcelona |
Apr 17, 2020 |
PRIMA 2020 |
The 23nd International Conference on Principles and Practice of Multi-Agent Systems | |
Sep 27, 2020 - Sep 30, 2020 |
Nagoya, Japan |
Apr 24, 2020 |
SIGSAC ACM CCS 2020 |
ACM Conference on Computer and Communications Security (CCS) | |
Nov 9, 2020 - Nov 13, 2020 |
Orlando, USA |
May 4, 2020 |
GandALF 2020 |
11th International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 21, 2020 - Sep 23, 2020 |
Brussels, Belgium |
Jun 15, 2020 (Jun 13, 2020) |
ICAART 2021 |
13th International Conference on Agents and Artificial Intelligence | |
Feb 4, 2021 - Feb 6, 2021 |
Vienna, Austria |
Sep 14, 2020 |
AMSTA 2021 |
15th International Conference on Agents and Multi-Agent Systems: Technology and Applications | |
Jun 14, 2021 - Jun 16, 2021 |
Virtual Conference |
Jan 11, 2021 |
|