|
| Name | Deadline | Objectives
|
|---|
| FME 2002 | Jan. 15, 2002 | Formal Methods Europe
|
| CAV 2002 | Jan. 15, 2002 | Computer-Aided Verification
|
| CADE-18 | Feb. 2, 2002 | Automated Deduction
|
| SAT 2002 | Feb. 6, 2002 | Theory and Applications of Satisfiability Testing
|
| AVoCS'02 | Feb. 15, 2002 | Automated Verification of Critical Systems
|
| TPHOLs 2002 | Feb. 23, 2002 | Theorem Proving in Higher Order Logics
|
| ASAP 2002 | Mar. 8, 2002 | Application-specific Systems, Architectures and Processors
|
| TPLP | Mar. 18, 2002 | Special Issue on Verification and Computational Logic
|
| ICCD 2002 | Mar. 22, 2002 | Computer Design
|
| MTV02 | Mar. 25, 2002 | Microprocessor Test and Verification
|
| CSL 2002 | Mar. 29, 2002 | Computer Science Logic
|
| FMCAD 2002 | Apr. 12, 2002 | Formal Methods in Computer Aided Design
|
| ICCAD 2002 | Apr. 17, 2002 | Computer Aided Design
|
| VERIFY 2002 | Apr. 22, 2002 | Verification
|
| EMSOFT 2002 | Apr. 29, 2002 | Embedded Software
|
| RT-TOOLS 2002 | May 2, 2002 | Real-Time Tools
|
| RTSS 2002 | May 7, 2002 | Real Time Systems
|
| HLVDT 2002 | June 28, 2002 | Microelectronic design, verification, and test
|
| VCL 2002 | July 6, 2002 | Verification and Computational Logic
|
| ASP DAC 03 | July 19, 2002 | Design Automation
|
| VSLI 2003 | July 24, 2002 | VLSI Design
|
| DATE 03 | Sep. 8, 2002 | Design Automation
|
| VMCAI 2003 | Sep. 17, 2002 | Verification, Model Checking
|
| TACAS 2003 | Oct. 25, 2002 | Construction and Analysis of Systems
|
| DSN 2003 | Nov. 18, 2002 | Dependable Systems and Networks
|
| SPIN 2003 | Dec. 6, 2002 | Specifying and Checking Properties of Software Systems
|
| DAC 2003 | Dec. 6, 2002 | Design Automation
|