| Name | Deadline | Objectives
|
|---|
| CAV 2004 | Jan. 25, 2004 | Computer-Aided Verification
|
| Design&Test | Feb. 8, 2004 | Special Issue on Exploring Synergies for Design Verification
|
| MEMOCODE | Feb. 12, 2004 | Formal Methods and Models for Codesign
|
| FSE 2004 | Mar. 29, 2004 | Foundations of Software Engineering
|
| EMSOFT 2004 | Apr. 8, 2004 | Embedded Software
|
| FMCAD 2004 | Apr. 8, 2004 | Formal Methods in Computer-Aided Design
|
| ASE 2004 | Apr. 9, 2004 | Automated Software Engineering
|
| SAS 2004 | Apr. 13, 2004 | Static Analysis
|
| WCET 2004 | Apr. 15, 2004 | Worst Case Execution Time
|
| ICCAD 2004 | Apr. 21, 2004 | Computer-Aided Design
|
| FTRTFT 2004 | Apr. 22, 2004 | Formal Techniques in Real-Time and Fault Tolerant System
|
| RTSS 2004 | May 8, 2004 | HW/SW Co-Design, Real Time Systems
|
| BMC 2004 | May 9, 2004 | Bounded Model Checking
|
| ICCD 2004 | May 21, 2004 | Computer Design
|
| ICFEM 2004 | May 24, 2004 | Formal Engineering Methods
|
| FMSE 2004 | June 6, 2004 | Formal Methods in Security Engineering
|
| MTV03 | June 28, 2004 | Microprocessor Test and Verification
|
| HLDVT 2004 | July 7, 2004 | Microelectronic design, verification, and test
|
| ASP-DAC 2005 | July 22, 2004 | Design Automation
|
| ICSE 2005 | Sept. 1, 2004 | Software Engineering
|
| DATE 05 | Sep. 12, 2004 | Design Automation
|
| VMCAI 2005 | Sept. 14, 2004 | Verification, Model Checking, Abstract Interpretation
|
| TACAS 2005 | Oct. 8, 2004 | Construction and Analysis of Systems
|
| FASE 2005 | Oct. 8, 2004 | Software Engineering
|
| PLDI 2005 | Nov. 11, 2004 | Programming languages
|
| DSN 2005 | Nov. 19, 2004 | Dependable Systems and Networks
|
| DAC 2005 | Nov. 22, 2004 | Design Automation
|