| Name | Deadline | Objectives |
|---|---|---|
| USENIX 2009 | Jan. 7, 2009 | USENIX Annual Technical Conference |
| CAV 2009 | Jan. 29, 2009 | Computer Aided Verification |
| USENIX Security 2009 | Feb. 4, 2009 | USENIX Security Symposium |
| ICALP 2009 | Feb. 10, 2009 | Automata, Languages and Programming |
| SAS 2009 | Feb. 10, 2009 | Static Analysis |
| SAT 2009 | Mar. 2, 2009 | Satisifability |
| MEMOCODE 2009 | Mar. 13, 2009 | Co-Design |
| FSE 2009 | Mar. 16, 2009 | Software Engineering |
| SPIN 2009 | Mar. 29, 2009 | Model Checking Software |
| CSL 2009 | Mar. 30, 2009 | Computer Science and Logic |
| CONCUR 2009 | Apr. 15, 2009 | Concurrency Theory |
| ICTAC 2009 | Apr. 10, 2009 | Theoretical Aspects of Computing |
| FM 2009 | May 4, 2009 | Formal Methods |
| ICCAD 2009 | May 11, 2009 | Computer-Aided Design |
| ASE 2009 | May 14, 2009 | Automated Software Engineering |
| SMT 2009 | May 22, 2009 | Decision Procedures (PDPAR) |
| FMCAD 2009 | May 22, 2009 | Formal Verification |
| POPL 2010 | Jul. 8, 2009 | Programming Languages |
| ICFEM 2009 | Jul. 20, 2009 | Formal Engineering Methods |
| DATE 2010 | Sep. 6, 2009 | Design Automation and Test |
| ICST 2010 | Oct. 10, 2009 | Software testing, verification, validation |
| TACAS 2010 | Oct. 8, 2009 | Tools and Algorithms for the Analysis of Systems |
Please send updates to Daniel Kroening, kroening@kroening.com