| Event | When | Where | Deadline | |
| LICS 2013 |
28th Annual ACM/IEEE Symposium on Logic In Computer Science | |
| Jun 25, 2013 - Jun 28, 2013 |
New Orleans, USA |
Jan 14, 2013 (Jan 7, 2013) |
| ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
| PPDP 2013 |
15th International Symposium on Principles and Practice of Declarative Programming | |
| Sep 16, 2013 - Sep 18, 2013 |
Madrid, Spain |
May 30, 2013 (May 27, 2013) |
| APLAS 2013 |
Asian Symposium on Programming Languages and Systems | |
| Dec 9, 2013 - Dec 11, 2013 |
Melbourne, Australia |
Jun 14, 2013 (Jun 10, 2013) |
| POPL 2014 |
Symposium on Principles of Programming Languages | |
| Jan 22, 2014 - Jan 24, 2014 |
The US Grant, San Diego, CA, USA |
Jul 12, 2013 (Jul 5, 2013) |
| PLDI 2014 |
Programming Language Design and Implementation | |
| Jun 9, 2014 - Jun 11, 2014 |
Edinburgh, UK |
Nov 15, 2013 (Nov 8, 2013) |
| ICALP 2014 |
International Colloquium on Automata, Languages and Programming | |
| Jul 7, 2014 - Jul 11, 2014 |
IT University of Copenhagen |
Feb 14, 2014 |
| CAV 2015 |
27th International Conference on Computer Aided Verification | |
| Jul 18, 2015 - Jul 24, 2015 |
san francisco |
Feb 6, 2015 |
| PPDP 2015 |
International Symposium on Principles and Practice of Declarative Programming | |
| Jul 14, 2015 - Jul 16, 2015 |
Siena (Italy) |
Mar 20, 2015 (Mar 14, 2015) |
| APLAS 2015 |
13th Asian Symposium on Programming Languages and Systems | |
| Nov 30, 2015 - Dec 2, 2015 |
Pohang, Korea |
Jun 5, 2015 |
| POPL 2016 |
43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
| Jan 20, 2016 - Jan 22, 2016 |
St. Petersburg, Florida, USA |
Jul 10, 2015 (Jul 3, 2015) |
| ICALP 2016 |
43rd International Colloquium on Automata, Languages, and Programming | |
| Jul 11, 2016 - Jul 15, 2016 |
Rome |
Feb 17, 2016 |
| PPDP 2016 |
18th International Symposium on Principles and Practice of Declarative Programming | |
| Sep 5, 2016 - Sep 7, 2016 |
Edinburgh, UK |
May 16, 2016 (May 9, 2016) |
| POPL 2017 |
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
| Jan 18, 2017 - Jan 20, 2017 |
Paris, France |
Jul 6, 2016 (Jul 1, 2016) |
| PLDI 2017 |
ACM SIGPLAN Symposium on Programming Language Design &Implementation | |
| Jun 19, 2017 - Jun 23, 2017 |
Barcelona, Spain |
Nov 15, 2016 |
