Event | When | Where | Deadline | |
VMCAI 2016 |
17th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 17, 2016 - Jan 19, 2016 |
St. Petersburg, Florida, United States |
Sep 11, 2015 (Sep 4, 2015) |
FTSCS 2015 |
4th International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 6, 2015 - Nov 7, 2015 |
Paris |
Sep 13, 2015 (Sep 11, 2015) |
AAAI 2016 |
Thirtieth AAAI Conference on Artificial Intelligence | |
Feb 12, 2016 - Feb 17, 2016 |
Phoenix, Arizona, USA |
Sep 15, 2015 (Sep 10, 2015) |
FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
TACAS 2016 |
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
FASE 2016 |
International Conference on Fundamental Approaches to Software Engineering | |
Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
WWW 2016 |
25th International World Wide Web Conference | |
Apr 11, 2016 - Apr 15, 2016 |
Montreal, Canada |
Oct 17, 2015 (Oct 10, 2015) |
AAMAS 2016 |
International Conference on Autonomous Agents and Multiagent Systems | |
May 9, 2016 - May 13, 2016 |
Singapore |
Nov 17, 2015 (Nov 13, 2015) |
WoWMoM 2016 |
International Symposium on a World of Wireless, Mobile and Multimedia Networks | |
Jun 21, 2016 - Jun 24, 2016 |
Coimbra, Portugal |
Nov 27, 2015 (Nov 20, 2015) |
KR 2016 |
15th International Conference on Principles of Knowledge Representation and Reasoning | |
Apr 25, 2016 - Apr 29, 2016 |
Cape Town, South Africa |
Nov 28, 2015 (Nov 21, 2015) |
MobiHoc 2016 |
17th International Symposium on Mobile Ad Hoc Networking and Computing | |
Jul 4, 2016 - Jul 8, 2016 |
Paderborn, Germany |
Jan 1, 2016 |
Ada-Europe 2016 |
21st International Conference on Reliable Software Technologies | |
Jun 13, 2015 - Jun 17, 2015 |
Pisa, Italy |
Jan 17, 2016 |
IJCAI 2016 |
Twenty-Fifth International Joint Conference on Artificial Intelligence | |
Jul 9, 2016 - Jul 15, 2016 |
New York City, US |
Feb 2, 2016 (Jan 27, 2016) |
ECAI 2016 |
European Conference on Artificial Intelligence | |
Aug 29, 2016 - Sep 2, 2016 |
The Hague, the Netherlands |
Apr 15, 2016 |
DARS 2016 |
13th International Symposium on Distributed Autonomous Robotic Systems | |
Nov 7, 2016 - Nov 9, 2016 |
London, UK |
Jul 5, 2016 |