| Paper Submission | Abstract Submission | Conference | Conference Homepage | When? | Where? |
|---|---|---|---|---|---|
| Jul 20, 2009 | Jul 13, 2009 | ICFEM | 11th International Conference on Formal Engineering Methods | Dec 9-12, 2009 | Rio de Janeiro, Brazil |
| Jul 13, 2009 | HVC | Haifa Verification Conference 2009 | Oct 19-22, 2009 | IBM Haifa Labs, Israel | |
| Jul 7, 2009 | FSTTCS | Conference on Foundations of Software Technology and Theoretical Computer Science | Dec 15-17, 2009 | Kanpur, India | |
| Jun 15, 2009 | Jun 8, 2009 | APLAS | 7th Asian Symposium on Programming Languages and Systems | Dec 14-16, 2009 | Seoul, Korea |
| May 29, 2009 | May 15, 2009 | SEFM | 7th IEEE International Conference on Software Engineering and Formal Methods | Nov 23-27, 2009 | Hanoi, Vietnam |
| May 22, 2009 | SMT | 7th International Workshop on Satisfiability Modulo Theories | Aug 2-3, 2009 | Montreal, Canada | |
| May 11, 2009 | May 4, 2009 | ASE | 24th IEEE/ACM International Conference on Automated Software Engineering | Nov 16-20, 2009 | Auckland, New Zealand |
| May 4, 2009 | FM | 16th International Symposium on Formal Methods | Oct 30 - Nov 7, 2009 | Eindhoven, Netherlands | |
| May 1, 2009 | ATVA | 7th International Symposium on Automated Technology for Verification and Analysis | Oct 14-16, 2009 | Macao SAR, China | |
| Apr 10, 2009 | Apr 6, 2009 | ICTAC | 6th International Colloquium on Theoretical Aspects of Computing | Aug 18-20, 2009 | Kuala Lumpur, Malaysia |
| Apr 10, 2009 | Apr 3, 2009 | CONCUR | 20th International Conference on Concurrency Theory | Sep 1-4, 2009 | Bologna, Italy |
| Apr 7, 2009 | Apr 1, 2009 | FMICS | 14th International Workshop on Formal Methods for Industrial Critical Systems | Nov 2-3, 2009 | Eindhoven, Netherlands |
| Mar 16, 2009 | ESEC/FSE | 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering | Aug 24-28, 2009 | Amsterdam, Netherlands | |
| Mar 9, 2009 | Mar 2, 2009 | SOSP | 22nd ACM Symposium on Operating Systems Principles | Oct 11-14, 2009 | Big Sky, Montana, USA |
| Mar 9, 2009 | SPIN | 16th International SPIN Workshop on Model Checking Software | Jun 26-28, 2009 | Grenoble, France | |
| Mar 8, 2009 | Mar 1, 2009 | RV | 9th Workshop on Runtime Verification | Jun 26-28, 2009 | Grenoble, France |
| Feb 23, 2009 | Feb 16, 2009 | CADE | 22st Conference on Automated Deduction | Aug 2-7, 2009 | Montreal, Canada |
| Feb 17, 2009 | Feb 10, 2009 | SAS | 16th International Static Analysis Symposium | Aug 9-11, 2009 | Los Angeles, California, USA |
| Feb 15, 2009 | TAP | 3nd International Conference on Tests and Proofs | Jul 2-3, 2009 | Zurich, Switzerland | |
| Feb 6, 2009 | SSV | 4th International Workshop on Systems Software Verification | Jun 22-24, 2009 | Aachen, Germany | |
| Jan 30, 2009 | ISSTA | International Symposium on Software Testing and Analysis | Jul 19-23, 2009 | Chicago, Illinois, USA | |
| Jan 25, 2009 | Jan 18, 2009 | CAV | 21st International Conference on Computer Aided Verification | Jun 26 - July 2, 2009 | Grenoble, France |
| Jan 19, 2009 | Jan 12, 2009 | LICS | 24th Annual IEEE Symposium on Logic in Computer Science | Aug 11-14, 2009 | Los Angeles, California, USA |
| Jan 12, 2009 | WING | 2nd International Workshop on Invariant Generation | Mar 22-23, 2009 | York, UK | |
| Nov 14, 2008 | Nov 7, 2008 | PLDI | ACM SIGPLAN Conference on Programming Language Design and Implementation | Jun 15-20, 2009 | Dublin, Ireland |
| Nov 8, 2008 | APV | Symposium on Automatic Program Verification | Feb 14-15, 2009 | Rio Cuarto, Argentina | |
| Nov 7, 2008 | EuroSys | European Conference on Computer Systems | Apr 1-3, 2009 | Nuremberg, Germany | |
| ETAPS | The European Joint Conferences on Theory and Practice of Software | Mar 22-29, 2009 | York, UK | ||
| Oct 9, 2008 | Oct 2, 2008 | TACAS | 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | Mar 22-29, 2009 | York, UK |
| Oct 9, 2008 | Oct 2, 2008 | FOSSACS | 12th International Conference on Foundations of Software Science and Computation Structures | Mar 22-29, 2009 | York, UK |
| Oct 9, 2008 | Oct 2, 2008 | FASE | Fundamental Approaches to Software Engineering | Mar 22-29, 2009 | York, UK |
| Oct 9, 2008 | Oct 2, 2008 | ESOP | 18th European Symposium on Programming | Mar 22-29, 2009 | York, UK |
| Oct 3, 2008 | Sep 26, 2008 | ICST | 2nd International Conference on Software Testing, Verification, and Validation | Apr 1-4, 2009 | Denver, Colorado, USA |
| Sep 12, 2008 | Sep 5, 2008 | IFM | 7th International Conference on Integrated Formal Methods | Feb 16-19, 2009 | Duesseldorf, Germany |
| Sep 11, 2008 | Sep 4, 2008 | ISEC | 2nd India Software Engineering Conference | Feb 25-28, 2009 | Pune, India |
| Sep 5, 2008 | ICSE | 31st International Conference on Software Engineering | May 16-24, 2009 | Vancouver, Canada | |
| Aug 22, 2008 | VMCAI | 10th International Conference on Verification, Model Checking and Abstract Interpretation | Jan 18-20, 2009 | Savannah, Georgia, USA | |
| Aug 16, 2008 | SAC | 24th ACM Symposium on Applied Computing | Mar 8-12, 2009 | Honolulu, Hawaii, USA | |
| Jul 15, 2008 | Jul 8, 2008 | POPL | 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages | Jan 21-23, 2009 | Savannah, Georgia, USA |