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 |
|