| Name | Deadline | Objectives
|
|---|
| USENIX 2008 | Jan. 7, 2008 | USENIX Annual Technical Conference
|
| SAT 2008 | Jan. 26, 2008 | Satisifability
|
| SAS 2008 | Jan. 26, 2008 | Static Analysis
|
| CAV 2008 | Jan. 28, 2008 | Computer Aided Verification
|
| USENIX Security 2008 | Jan. 30, 2008 | USENIX Security Symposium
|
| ICALP 2008 | Feb. 10, 2008 | Automata, Languages and Programming
|
| MEMOCODE | Feb. 15, 2008 | Formal Methods and Models for Codesign
|
| IJCAR 2008 | Mar. 3, 2008 | Automated Reasoning
|
| FSE 2008 | Mar. 7, 2008 | Software Engineering
|
| ASE 2008 | Mar. 28, 2008 | Automated Software Engineering
|
| SPIN 2008 | Apr. 2, 2008 | Model Checking Software
|
| CSL 2008 | Apr. 7, 2008 | Computer Science and Logic
|
| CONCUR 2008 | Apr. 11, 2008 | Concurrency Theory
|
| ICCAD 2008 | Apr. 14, 2008 | Computer-Aided Design
|
| SMT 2008 | Apr. 23, 2008 | Decision Procedures (PDPAR)
|
| VSTTE 2008 | Apr. 30, 2008 | Software Verification
|
| FMCAD 2008 | May 12, 2008 | Formal Verification
|
| POPL 2009 | Jul. 8, 2008 | Programming Languages
|
| ASP-DAC 2009 | Jul. 14, 2008 | Design Automation
|
| VLSI 2009 | Jul. 17, 2008 | VLSI, Embedded Systems
|
| VMCAI 2009 | Aug. 22, 2008 | Verification, Model Checking, Abstract Interpretation
|
| DATE 2009 | Sep. 7, 2008 | Design Automation and Test
|
| IFM 2009 | Sep. 18, 2008 | Integrated Formal Methods
|
| TACAS 2009 | Oct. 2, 2008 | Tools and Algorithms for the Analysis of Systems
|
| PLDI 2009 | Nov. 7, 2008 | Programming Language Design and Implementation
|
| DAC 2009 | Dec. 19, 2008 | Design Automation
|