| Event | When | Where | Deadline | |
| APLAS 2011 |
Asian Symposium on Programming Languages and Systems | |
| Dec 5, 2011 - Dec 7, 2011 |
Kenting, Taiwan |
Jun 17, 2011 (Jun 13, 2011) |
| POPL 2012 |
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
| Jan 25, 2012 - Jan 27, 2012 |
Philadelphia, USA |
Jul 12, 2011 (Jul 8, 2011) |
| TAAI 2011 |
Conference on Technologies and Applications of Artificial Intelligence | |
| Nov 11, 2011 - Nov 13, 2011 |
Taoyuan, Taiwan |
Jul 26, 2011 |
| VSTTE 2012 |
Verified Software: Theories, Tools and Experiments | |
| Jan 28, 2012 - Jan 29, 2012 |
Philadelphia, USA |
Aug 31, 2011 |
| ACG 2011 |
Advances in Computer Games 13 Conference | |
| Nov 20, 2011 - Nov 22, 2011 |
Tillburg, The Netherlands |
Sep 1, 2011 |
| PADL 2012 |
Practical Aspects of Declarative Languages 2012 | |
| Jan 23, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Sep 17, 2011 (Sep 10, 2011) |
| AAMAS 2012 |
11th International Conference on Autonomous Agents and Multiagent Systems | |
| Jun 4, 2012 - Jun 8, 2012 |
Valencia, Spain |
Oct 12, 2011 (Oct 7, 2011) |
| PLDI 2012 |
Programming Language Design and Implementation | |
| Jun 11, 2012 - Jun 16, 2012 |
Beijing, China |
Nov 6, 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) |
| FLOPS 2012 |
International Symposium on Functional and Logic Programming | |
| May 23, 2012 - May 25, 2012 |
Kobe, Japan |
Dec 9, 2011 |
| ICAPS 2012 |
22nd International Conference on Automated Planning and Scheduling | |
| Jun 24, 2012 - Jun 28, 2012 |
Atibaia, Sao Paulo, Brazil |
Dec 16, 2011 (Dec 9, 2011) |
| AI2012 |
The 25th Canadian Conference on Artificial Intelligence | |
| May 28, 2012 - May 30, 2012 |
York University, Toronto, Ontario, Canad |
Jan 16, 2012 |
| IAAI 2012 |
Innovative Applications of Artificial Intelligence | |
| Jul 22, 2012 - Jul 26, 2012 |
Toronto, Ontario, Canada |
Jan 17, 2012 |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| AAAI 2012 |
AAAI - Association of the Advancement of Artificial Intelligence | |
| Jul 22, 2012 - Jul 26, 2012 |
Toronto, Ontario, Canada |
Jan 24, 2012 |
| ICML 2012 |
29th International Conference on Machine Learning | |
| Jun 27, 2012 - Jun 29, 2012 |
Edinburgh, Scotland, United Kingdom |
Feb 24, 2012 |
| NMR 2012 |
14th International Workshop on Non-Monotonic Reasoning | |
| Jun 8, 2012 - Jun 10, 2012 |
Rome, Italy |
Feb 28, 2012 |
| DALT 2012 |
10th International Workshop on Declarative Agent Languages and Technologies | |
| Jun 5, 2012 - Jun 6, 2012 |
Valencia, Spain |
Feb 28, 2012 |
| LOFT 2012 |
10th Conference on Logic and the Foundations of Game and Decision Theory | |
| Jun 18, 2012 - Jun 20, 2012 |
University of Sevilla, Spain |
Mar 1, 2012 |
| ECAI 2012 |
20th European Conference on Artificial Intelligence | |
| Aug 27, 2012 - Aug 31, 2012 |
Montpellier, France |
Mar 6, 2012 |
|
