| Name | Deadline | Objectives | |
|---|---|---|---|
| CAV 2001 | Jan. 15, 2001 | Computer aided Verification | |
| Parco 2001 | Jan. 15, 2001 | Parallel Computing | |
| PACT 2001 | Jan. 20, 2001 | Parallel Architectures | |
| SPAA'2001 | Jan. 27, 2001 | Parallel Algorithms and Architectures | |
| Euro-Par 2001 | Feb. 12, 2001 | Parallel Computing | |
| TPHOLs 2001 | Feb. 23, 2001 | Theorem Proving in Higher Order Logics | |
| PACT 2001 | Mar. 5, 2001 | Parallel Architectures | |
| CHARME 2001 | Mar. 10, 2001 | Correct Hardware Design and Verification Methods | |
| IWLS 2001 | Mar. 12, 2001 | Logic and Synthesis | |
| ICCD 2001 | Mar. 19, 2001 | Computer Design | |
| SBAC 2001 | Apr. 27, 2001 | Computer Architecture and High Performance Computing | |
| DSN 2001 | Apr. 30, 2001 | Dependable Systems and Networks | |
| Micro 34 | Jun. 15, 2001 | Microarchitecture / Instruction-Level Parallelism | |
| HLDVT 01 | Jun. 30, 2001 | High Level Design Validation and Test | |
| HPCA8 | Jul. 13, 2001 | High-Performance Computer Architecture | |
| Date02 | Sep. 9, 2001 | Design, Automation and Test | |
| TACAS 2002 | Oct. 19, 2001 | Construction and Analysis of Systems | |
| DSN 2002 | Nov. 19, 2001 | Dependable Systems and Networks | |
| DAC39 | Dec. 7, 2001 | Design Automation | |
Please send updates to Daniel Kroening, kroening@kroening.com