| Event | When | Where | Deadline | |
| FSE 2010 |
ACM SIGSOFT 18th International Symposium on the Foundations of Software Engineering | |
| Nov 9, 2010 - Nov 11, 2010 |
Santa Fe, New Mexico, USA |
Mar 5, 2010 |
| SPLASH (OOPSLA) 2010 |
Systems, Programming, Languages, and Applications: Software for Humanity. | |
| Oct 10, 2010 - Oct 17, 2010 |
Reno, NV, USA |
Mar 25, 2010 |
| ICFP 2010 |
The 15th ACM SIGPLAN International Conference on Functional Programming | |
| Sep 27, 2010 - Sep 29, 2010 |
Baltimore, MD, USA |
Apr 2, 2010 |
| POPL 2011 |
The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
| Jan 26, 2011 - Jan 28, 2011 |
San, Diego, CA, USA |
Jul 15, 2010 (Jul 8, 2010) |
| VMCAI 2011 |
12th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 23, 2011 - Jan 25, 2011 |
Austin, TX, USA |
Aug 29, 2010 (Aug 22, 2010) |
| FM 2011 |
17th International Symposium on Formal Methods | |
| Jun 20, 2011 - Jun 24, 2011 |
Lero, Limerick, Ireland |
Jan 10, 2011 |
| SIGSOFT/FSE 2011 |
19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and 13rd European Software Engineering Conference (ESEC-13) | |
| Sep 5, 2011 - Sep 9, 2011 |
Szeged, Hungary |
Mar 11, 2011 |
|
