| Paper Submission | Abstract Submission | Conference | Conference Homepage | When? | Where? |
|---|---|---|---|---|---|
| Jul 16, 2008 | HVC | Haifa Verification Conference 2008 | Oct 27-30, 2008 | IBM Haifa Labs, Israel | |
| Jun 27, 2008 | APLAS | 6th Asian Symposium on Programming Languages and Systems | Dec 9-11, 2008 | Bangalore, India | |
| Jun 7, 2008 | May 31, 2008 | SEFM | 6th IEEE International Conference on Software Engineering and Formal Methods | Nov 10-14, 2008 | Cape Town, South Africa |
| Jun 6, 2008 | SBMF | 11th Brazilian Symposium on Formal Methods | Aug 26-29, 2008 | Salvador, Bahia, Brazil | |
| Jun 6, 2008 | May 26, 2008 | LPAR | 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning | Nov 22-27, 2008 | Doha, Qatar |
| May 22, 2008 | May 15, 2008 | VERIFY | 5th International Verification Workshop | Aug 10-11, 2008 | Sydney, Australia |
| May 14, 2008 | VSTTE | 2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments | Oct 6-9, 2008 | Toronto, Canada | |
| May 8, 2008 | OSDI | 8th USENIX Symposium on Operating Systems Design and Implementation | Dec 8-10, 2008 | San Diego, California, USA | |
| May 5, 2008 | ATVA | 6th International Symposium on Automated Technology for Verification and Analysis | Oct 20-23, 2008 | Seoul, South Korea | |
| Apr 28, 2008 | BPR | 1st International Workshop on Bit-Precise Reasoning | Jul 14, 2008 | Princeton, New Jersey, USA | |
| Apr 23, 2008 | SMT | 6th International Workshop on Satisfiability Modulo Theories | Jul 7-8, 2008 | Princeton, New Jersey, USA | |
| Apr 21, 2008 | ICFEM | 10th International Conference on Formal Engineering Methods | Oct 27-31, 2008 | Kitakyushu-city, Japan | |
| Apr 11, 2008 | ICTAC | 5th International Colloquium on Theoretical Aspects of Computing | Sep 1-3, 2008 | Istanbul, Turkey | |
| Apr 11, 2008 | Apr 4, 2008 | CONCUR | 19th International Conference on Concurrency Theory | Aug 19-22, 2008 | Toronto, Canada |
| Apr 4, 2008 | Mar 28, 2008 | ASE | 23rd IEEE/ACM International Conference on Automated Software Engineering | Sep 15-19, 2008 | L'Aquila, Italy |
| Mar 7, 2008 | FSE | 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering | Nov 9-15, 2008 | Atlanta, Georgia, USA | |
| Mar 3, 2008 | Feb 22, 2008 | IJCAR | 4th International Joint Conference on Automated Reasoning | Aug 12-15, 2008 | Sydney, Australia |
| Feb 11, 2008 | Feb 4, 2008 | RTA | 19th International Conference on Rewriting Techniques and Applications | Jul 15-17, 2008 | Hagenberg, Austria |
| Jan 31, 2008 | ISSTA | International Symposium on Software Testing and Analysis | Jul 20-24, 2008 | Seattle, Washington, USA | |
| Jan 28, 2008 | CAV | 20th International Conference on Computer Aided Verification | Jul 7-13, 2008 | Princeton, New Jersey, USA | |
| Jan 19, 2008 | Jan 12, 2008 | SAS | 15th International Static Analysis Symposium | Jul 16-18, 2008 | Valencia, Spain |
| Jan 14, 2008 | Jan 7, 2008 | LICS | 23rd Annual IEEE Symposium on Logic in Computer Science | Jun 24-27, 2008 | Pittsburgh, Pennsylvania, USA |
| Nov 18, 2007 | Nov 11, 2007 | TAP | 2nd International Conference on Tests and Proofs | Apr 9-11, 2008 | Prato, Italy |
| Nov 15, 2007 | Nov 12, 2007 | PLDI | ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation | Jun 7-13, 2008 | Tucson, Arizona, USA |
| Nov 10, 2007 | FM | 15th International Symposium on Formal Methods | May 26-30, 2008 | Turku, Finland | |
| Oct 19, 2007 | SSV | 3rd International Workshop on Systems Software Verification | Feb 25-26, 2008 | Sydney, Australia | |
| ETAPS | The European Joint Conferences on Theory and Practice of Software | Mar 29 - Apr 6, 2008 | Budapest, Hungary | ||
| Oct 12, 2007 | Oct 5, 2007 | TACAS | 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | Mar 29 - Apr 6, 2008 | Budapest, Hungary |
| Oct 12, 2007 | Oct 5, 2007 | FOSSACS | 11th International Conference on Foundations of Software Science and Computation Structures | Mar 29 - Apr 6, 2008 | Budapest, Hungary |
| Oct 12, 2007 | Oct 5, 2007 | FASE | Fundamental Approaches to Software Engineering | Mar 29 - Apr 6, 2008 | Budapest, Hungary |
| Oct 12, 2007 | Oct 5, 2007 | ESOP | 17th European Symposium on Programming | Mar 29 - Apr 6, 2008 | Budapest, Hungary |
| Sep 21, 2007 | Sep 14, 2007 | EuroSys | European Conference on Computer Systems | Apr 1-4, 2008 | Glasgow, Scotland |
| Sep 17, 2007 | Sep 17, 2007 | ISEC | 1st India Software Engineering Conference | Feb 19-22, 2008 | Hyderabad, India |
| Sep 14, 2007 | VMCAI | 9th International Conference on Verification, Model Checking and Abstract Interpretation | Jan 7-9, 2008 | San Francisco, California, USA | |
| Sep 14, 2007 | ICSE | 30th International Conference on Software Engineering | May 10-18, 2008 | Leipzig, Germany | |
| Jul 16, 2007 | POPL | 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages | Jan 10-12, 2008 | San Francisco, California, USA |