| Event | When | Where | Deadline | |
| PPoPP 2012 |
17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | |
| Feb 25, 2012 - Feb 29, 2012 |
New Orleans, Louisiana |
Aug 19, 2011 (Aug 12, 2011) |
| POST 2012 |
The First Conference on Principles of Security and Trust | |
| Mar 25, 2012 - Mar 31, 2012 |
Tallinn, Estonia |
Oct 14, 2011 (Oct 7, 2011) |
| PAPP 2012 |
9th International Workshop on Practical Aspects of High-Level Parallel Programming | |
| Jun 4, 2012 - Jun 6, 2012 |
Ohama, USA |
Jan 9, 2012 |
| ISSTA 2012 |
International Symposium on Software Testing and Analysis | |
| Jul 16, 2012 - Jul 20, 2012 |
Minneapolis, MN, USA |
Feb 3, 2012 |
| LCTES 2012 |
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012 | |
| Jun 12, 2012 - Jun 13, 2012 |
Beijing, China |
Feb 10, 2012 |
| 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) |
| PADL 2014 |
Sixteenth International Symposium on Practical Aspects of Declarative Languages | |
| Jan 20, 2014 - Jan 21, 2014 |
San Diego, CA, USA |
Sep 13, 2013 (Sep 6, 2013) |
| FLOPS 2014 |
International Symposium on Functional and Logic Programming | |
| Jun 4, 2014 - Jun 6, 2014 |
Kanazawa, Japan |
Dec 13, 2013 |
| CALCO 2015 |
6th International Conference on Algebra and Coalgebra in Computer Science | |
| Jun 24, 2015 - Jun 26, 2015 |
Nijmegen, Netherlands |
Apr 2, 2015 (Mar 22, 2015) |
| APLAS 2015 |
13th Asian Symposium on Programming Languages and Systems | |
| Nov 30, 2015 - Dec 2, 2015 |
Pohang, Korea |
Jun 5, 2015 |
| ICTAC 2015 |
12th International Colloquium on Theoretical Aspects of Computing | |
| Oct 29, 2015 - Oct 31, 2015 |
Cali, Colombia |
Jun 19, 2015 (Jun 16, 2015) |
| PADL 2016 |
Practical Aspects of Declarative Languages | |
| Jan 18, 2016 - Jan 19, 2016 |
St. Petersburg Florida, United States |
Sep 27, 2015 (Sep 18, 2015) |
| FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
| Apr 2, 2016 - Apr 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 | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| FASE 2016 |
International Conference on Fundamental Approaches to Software Engineering | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| Lata 2016 |
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Mar 14, 2016 - Mar 18, 2016 |
Prague, Czech Republic |
Oct 19, 2015 |
| CC 2016 |
25th International Conference on Compiler Construction | |
| Mar 17, 2016 - Mar 18, 2016 |
Barcelona, Spain |
Nov 20, 2015 (Nov 13, 2015) |
| CSR 2016 |
11th International Computer Science Symposium in Russia | |
| Jun 9, 2016 - Jun 13, 2016 |
St. Petersburg, Russia |
Dec 11, 2015 |
| QAPL 2016 |
Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems | |
| Apr 2, 2016 - Apr 3, 2016 |
Eindhoven, The Netherlands |
Jan 8, 2016 |
| CAV 2016 |
International Conference on Computer Aided Verification | |
| Jul 17, 2016 - Jul 23, 2016 |
Toronto, Canada |
Jan 29, 2016 (Jan 24, 2016) |
