|
| Name | Deadline | Objectives
|
|---|
| CAV 2000 | Jan. 15, 2000 | Computer Aided Verification
|
| SPAA'2000 | Jan. 20, 2000 | Parallel Algorithms and Architectures
|
| EUROPAR'2000 | Jan. 31, 2000 | European conference on parallel computing
|
| WS14 | Jan. 31, 2000 | Workshop on Instruction-Level Parallelism and Processor Architecture
|
| TPHOLs 2000 | Feb. 25, 2000 | Theorem Proving in Higher Order Logics
|
| Journal | Feb. 29, 2000 | Journal of Systems Architecture
|
| ICCD 2000 | Mar. 10, 2000 | Computer Systems Design, Processor Architecture
|
| PDPTA 2000 | Mar. 15, 2000 | Parallel and Distributed Processing Techniques and Applications
|
| ASIC/SOC 2000 | Apr. 3, 2000 | Systems-on-Chip
|
| ICCAD 2000 | Apr. 3, 2000 | Computer Aided Design
|
| FMCAD 2000 | Apr. 30, 2000 | Formal Methods in Computer-Aided Design
|
| ISCA 27 Worksh. | May 1, 2000 | Workshop on Complexity-Effective Design
|
| PACT 2000 | May 2, 2000 | Parallel Architectures and Compilation Techniques
|
| HiPC 2000 | May 8, 2000 | High Performance Computing
|
| PDCS 2000 | May 30, 2000 | Parallel and Distributed Computing
|
| SBAC-PAD 2000 | Jun. 1, 2000 | Computer Architecture and High Performance Computing
|
| PDP 2001 | Jun. 6, 2000 | Parallel and Distributed Processing
|
| ICA3PP 2000 | Jun. 6, 2000 | Algorithms & Architecture for Parallel Processing
|
| Micro 33 | Jun. 19, 2000 | Microarchitecture / Instruction-Level Parallelism
|
| HLDVT'00 | Jun. 30, 2000 | High Level Design Validation and Test Workshop
|
| VLSI 2001 | Jul. 10, 2000 | VLSI Design
|
| DATE 2001 | Sep. 15, 2000 | Design, Automation & Test
|
| AI 2001 | Oct. 1, 2000 | Applied Informatics
|
| DAC 38 | Oct. 27, 2000 | Design Automation
|
| ISCA 2001 | Nov. 24, 2000 | Computer Architecture
|