| Event | When | Where | Deadline | |
| 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) |
| 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 |
| 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) |
| PLDI 2017 |
ACM SIGPLAN Symposium on Programming Language Design &Implementation | |
| Jun 19, 2017 - Jun 23, 2017 |
Barcelona, Spain |
Nov 15, 2016 |
| APLAS 2023 |
The 21st Asian Symposium on Programming Languages and Systems | |
| Nov 26, 2023 - Nov 29, 2023 |
Taipei, Taiwan |
Jun 15, 2023 |
|
