Event | When | Where | Deadline | |
IJCAR 2010 |
International Joint Conference on Automated Reasoning | |
Jul 16, 2010 - Jul 19, 2010 |
Edinburgh, United Kingdom |
Jan 22, 2010 (Jan 15, 2010) |
CADE 2011 |
23rd International Conference on Automated Deduction | |
Jul 31, 2011 - Aug 5, 2011 |
Wroclaw, Poland |
Feb 7, 2011 (Feb 1, 2011) |
SGP 2011 |
Symposium on Geometry Processing 2011 | |
Jul 20, 2011 - Jul 22, 2011 |
Lausanne, Switzerland |
Apr 22, 2011 (Apr 18, 2011) |
KR 2012 |
13th International Conference on the Principles of Knowledge Representation and Reasoning | |
Jun 10, 2012 - Jun 14, 2012 |
Rome, Italy |
Dec 9, 2011 (Nov 30, 2011) |
PRICAI 2012 |
12th PACIFIC RIM INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE | |
Sep 3, 2012 - Sep 7, 2012 |
Kuching, Sarawak, Malaysia, |
Mar 31, 2012 |
SPM 2012 |
Symposium on Solid and Physical Modeling | |
Oct 29, 2012 - Oct 31, 2012 |
Dijon, France |
Apr 2, 2012 (Mar 25, 2012) |
EGSR 2012 |
23rd Eurographics Symposium on Rendering | |
Jun 28, 2012 - Jun 29, 2012 |
Paris, France |
Apr 6, 2012 (Apr 3, 2012) |
OSDI 2012 |
10th USENIX Symposium on Operating Systems Design and Implementation | |
Oct 8, 2012 - Oct 10, 2012 |
Hollywood, CA |
May 3, 2012 |
PacificVis 2013 |
IEEE Pacific Visualization 2013 | |
Feb 27, 2013 - Mar 1, 2013 |
Sydney, Australia |
Sep 26, 2012 |
AAMAS 2013 |
Twelfth International Conference on Autonomous Agents and Multiagent Systems | |
May 6, 2013 - May 10, 2013 |
Saint Paul, Minnesota, USA |
Oct 12, 2012 (Oct 8, 2012) |
FOSSACS 2013 |
16th International Conference on Foundations of Software Science and Computation Structures | |
Mar 16, 2013 - Mar 24, 2013 |
Rome, Italy |
Oct 14, 2012 (Oct 7, 2012) |
STOC 2013 |
45th ACM Symposium on Theory of Computing Conference | |
Jun 1, 2013 - Jun 4, 2013 |
Palo Alto, CA, USA |
Nov 2, 2012 |
SIGMETRICS 2013 |
International Conference on Measurement and Modeling of Computer Systems | |
Jun 17, 2013 - Jun 21, 2013 |
Pittsburgh, PA, USA |
Nov 9, 2012 (Nov 2, 2012) |
SIGMOD 2013 |
ACM SIGMOD International Conference on Management of Data | |
Jun 23, 2013 - Jun 28, 2013 |
New York |
Nov 13, 2012 |
S&P 2013 |
IEEE Symposium on Security and Privacy | |
May 19, 2013 - May 22, 2013 |
San Francisco, CA, USA |
Nov 14, 2012 |
CCC 2013 |
32nd Chinese Control Conference | |
Jul 26, 2013 - Jul 28, 2013 |
Xi'an, China |
Dec 15, 2012 |
CAV 2013 |
25th International Conference on Computer Aided Verification | |
Jul 13, 2013 - Jul 19, 2013 |
St. Petersburg, Russia |
Jan 7, 2013 (Jan 3, 2013) |
AAAI 2013 |
Association of the Advancement of Artificial Intelligence | |
Jul 14, 2013 - Jul 18, 2013 |
Washington, USA |
Jan 22, 2013 (Jan 19, 2013) |
ICALP 2013 |
40th International Colloquium on Automata, Languages and Programming | |
Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
CGI 2013 |
Computer Graphics International | |
Jun 12, 2013 - Jun 14, 2013 |
Hannover, Germany |
Feb 15, 2013 |
|