| Event | When | Where | Deadline | |
| PLPV 2010 |
Programming Languages meets Program Verification | |
| Jan 19, 2010 - Jan 19, 2010 |
Madrid, Spain |
Oct 8, 2009 |
| Onward! 2011 |
Onward! 2011 | |
| Oct 22, 2011 - Oct 27, 2011 |
Portland, Oregon |
Apr 8, 2011 (Apr 1, 2011) |
| PPPJ 2011 |
9th International Conference on the Principles and Practice of Programming in Java | |
| Aug 24, 2011 - Aug 26, 2011 |
Kongens Lyngby, Denmark |
Apr 20, 2011 (Apr 15, 2011) |
| PLOS 2011 |
6th Workshop on Programming Languages and Operating Systems | |
| Oct 23, 2011 - Oct 23, 2011 |
Cascais, Portugal |
Jun 17, 2011 |
| POPL 2013 |
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
| Jan 23, 2013 - Jan 25, 2013 |
Rome, Italy |
Jul 10, 2012 (Jul 6, 2012) |
| PLDI 2013 |
34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation | |
| Jun 16, 2013 - Jun 21, 2013 |
Seattle, Washington, USA |
Nov 11, 2012 |
| ECOOP 2013 |
27th European Conference on Object-Oriented Programming 2013 | |
| Jul 1, 2013 - Jul 5, 2013 |
Montpellier, France |
Dec 22, 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) |
| 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) |
| SPLASH 2013 |
Conference on Systems, Programming, Languages and Applications: Software for Humanity | |
| Oct 26, 2013 - Oct 31, 2013 |
Indianapolis |
Mar 28, 2013 (Mar 22, 2013) |
| PPPJ 2013 |
2013 International Conference on Principles and Practices of Programming on the Java platform: virtual machines, languages, and tools | |
| Sep 11, 2013 - Sep 13, 2013 |
Stuttgart, Germany |
May 31, 2013 (May 27, 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) |
| SE 2013 |
Software Engineering Journal | |
| N/A |
N/A |
Dec 30, 2013 |
| SEFM 2014 |
12th International Conference on Software Engineering and Formal Methods | |
| Sep 1, 2014 - Sep 5, 2014 |
Grenoble, France |
Mar 21, 2014 (Mar 14, 2014) |
| SPLASH 2014 |
Conference on Systems, Programming, and Applications: Software for Humanity | |
| Oct 20, 2014 - Oct 24, 2014 |
Portland, OR, USA |
Mar 25, 2014 |
| OOPSLA 2014 |
29th Annual Object-Oriented Programming Systems, Languages, and Applications | |
| Oct 20, 2014 - Oct 24, 2014 |
Portland, OR, USA |
Mar 25, 2014 |
| WoLLIC 2014 |
21st Workshop on Logic, Language, Information and Computation | |
| Sep 1, 2014 - Sep 4, 2014 |
Valparaiso, Chile |
Mar 28, 2014 (Mar 24, 2014) |
| HCVS 2014 |
Workshop on Horn Clauses for Verification and Synthesis | |
| Jul 17, 2014 - Jul 17, 2014 |
Vienna, Austria |
May 1, 2014 |
| GandALF 2014 |
5th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 10, 2014 - Sep 12, 2014 |
Verona |
Jun 1, 2014 (May 27, 2014) |
|
