Journals

Conferences and Journals covering
Computer Architecture, Arithmetic & Formal Verification

Journals

Integration, the VLSI journal 
IEEE Transactions on Computers 
IEEE Transactions on VLSI Systems 
IEE Proceedings - Computers and Digital Techniques 
IEE Proceedings - Circuits, Devices and Systems 
Journal of Circuits, Systems and Computers 
Circuits, Systems, and Signal Processing 
TCS (Theoretical Computer Science) 
SIAM Journal on Computing 
Journal of the ACM 
Journal of Systems Architecture 
The Journal of Instruction-Level Parallelism 
IPL (Information Processing Letters) 
Parallel Computing 
IEEE Concurency 
Journal of Parallel and Distributed Computing 
International Journal of High Speed Computing 
Networks 
Cluster Computing 
Journal of Supercomputing 
The International Journal of Supercomputer Applications and High Performance Computing 
International Journal of Parallel and Distributed Systems and Networks 
Parallel Algorithms and Applications 
Concurrency: Practice and Experience 
Distributed Computing 

 

Conferences

Name
Deadline
Objectives 
Jun.12,2000
Microarchitecture / Instruction-Level Parallelism 
Jul.10,2000
VLSI Design 
Jul.10,2000
High Performance Computer Architecture 
Oct.2,2000
Systems of Circuits 
Nov.15,2000
IEEE Intl Symp. on Computer Arithmetic 
Nov.24,2000
IEEE Intl Symp. on Computer Architecture 
Dec.1,2000
IEEE Annual Workshop on VLSI 
Jan.5,2001
TCS Special Issue on Real Numbers and Computers 
Jan.29,2001
European Conference on parallel computing 
Feb.28,2001
Special Section on VLSI Design and CAD Algorithms 
Mar.2,2001
European Symposium on Digital Systems Design 2001 
Mar.12,2001
IEEE Int. Conf. on Computer Design 
Apr.27,2001
IEEE Int. Symp. on Foundations of Computer Science 
Jun.22,2001
Microarchitecture / Instruction-Level Parallelism 
Jul.14,2001
VLSI Design 
Jul.20,2001
High-Performance Computer Architecture 
Jul.31,2001
Computer Communication and Networking 
Aug.10,2001
Compilers, Architectures and Synthesis for Embedded Systems 
Sep.14,2001
19th International Symposium on Theoretical Aspects of Computer Science 
Sep.28,2001
FPGAs 
Oct.26,2001
Runtime Reconfiguration 
Nov.12,2001
34th Annual ACM Symposium on Theory of Computing 
Dec.15,2001
IEEE Computer Society Annual Symposium on VLSI 
Dec.21,2001
VLSI Design 
Jan.8,2002
VLSI Circuits 
Jan.11,2002
VLSI Design 
Mar.15,2002
IEEE Int. Conf. on Computer Design 
Apr.25,2002
IEEE Int. Symp. on Foundations of Computer Science 
Jun.1,2002
2002 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 45) 
Jun.3,2002
Asilomar Conference Signal, Systems and Computers 
Jun.15,2002
Compilers, Architectures and Synthesis for Embedded Systems 
Jun.17,2002
Microarchitecture / Instruction-Level Parallelism 
Jul.10,2002
VLSI Design 
Jul.10,2002
Computer Communication and Networking 
Jul.12,2002
ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems 
Jul.15,2002
IEEE International Conference on Field-Programmable Technology (FPT) 
Jul.17,2002
High-Performance Computer Architecture 
Sep.03,2002
IEEE International Solid-State Circuits Conference 
Sep.15,2002
International Signal Processing Conference 
Sep.27,2002
FPGAs 
Oct.15,2002
IEEE COMPUTER SOCIETY ANNUAL Symposium ON VLSI (System Level Design) 
Oct.20,2002
Reconfigurable Architectures 
Oct.22,2002
IEEE Int. Symposium on Computer Arithmetic 
Nov.18,2002
30th Annual International Symposium on Computer Architecture 
Dec.6,2002
40th Design Automation Conference 
Jan.7,2003
2003 IEEE Symposium on VLSI Circuits 
Jan.10,2003
2003 Great Lakes Symposium on VLSI (GLSVLSI) 
Jan.13,2003
THE ELEVENTH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM) 
Jan.31,2003
Fifteenth ACM Symposium on Parallelism in Algorithms and Architectures 
Jan.31,2003
ACM SIGCOMM 2003 
Feb.9,2003
International Conference on Parallel and Distributed Computing 2003 
Feb.10,2003
ENGINEERING OF RECONFIGURABLE SYSTEMS AND ALGORITHMS 2003 
Feb.15,2003
IEEE 14th International Conference on Application-specific Systems, Architectures and Processors 
Mar.1,2003
NASA Symposium on VLSI Design 
Mar.3,2003
EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN Architectures, Methods and Tools 
Mar.14,2003
Int. Conf. on Field-Programmable Logic 
Mar.28,2003
28th International Symposium on Mathematical Foundations of Computer Science 
Apr.7,2003
44th Annual IEEE Symposium on Foundations of Computer Science 
Apr.11,2003
Correct Hardware Design and Verification Methods 
Apr.15,2003
SIGGRAPH/EUROGRAPHICS Graphics Hardware 2003 
Apr.16,2003
ICCAD'03 
Apr.27,2003
Bounded Model Checking 
May 2,2003
IEEE International Conference on Computer Design 
May 25,2003
IFIP Int. Conf. on Very Large Scale Integration 
May 28,2003
The 46th IEEE Midwest Symposium On Circuits and Systems 
May 30,2003
THE 36th ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE 
Jun.3,2003
Asilomar Conference Signal, Systems and Computers 
July 1,2003
The Confernce on Computer Communications 
July 11,2003
IEEE VLSI Design Conference 
July 16,2003
Asia and South Pacific Design Automation Conference 2004
July 14,2003
Tenth International Symposium on High Performance Computer Architecture
Sept 8,2003
IEEE International Solid-State Circuits Conference
Sept26,2003
ACM International Symposium on Field-Programmable Gate Arrays
Oct. 3,2003
11th Reconfigurable Architectures Workshop (RAW 2004)
Oct 25, 2003
IEEE Computer Society Annual Symposium on VLSI
Oct 31,2003
IEEE/ACM International Symposium on Computer Architecture

        see also Manoj Sinha's Conference page, Conferences on parallel and distributed Algorithms, Conferences at Datorteknik, Daniel Kroening's Conference page and 
        Conferences listed at Uni Konstanz