Computer Architecture Conferences and Journals 2002


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