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 |