7th International Workshop on Designing Correct Circuits 2008. Az Etaps Szatellit konferenciája.
The aim of the workshop is to present the state of the art in hardware design and verification methods (from both an academic and an industrial viewpoint). Then, we hope to start a discussion on the question of what needs to be done next in research if we are to solve the huge problems facing both microprocessor manufacturers and the System on a Chip industry. We particularly hope that many doctoral students will attend the workshop and be enthused by this fascinating research area that lies on the border between academia and industry.
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of six computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the six conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering and two (ESOP, CC) are top ranked conferences on programming languages
- Koen Claessen, Chalmers University, Sweden Mike Gordon, University of Cambridge Warren Hunt, The University of Texas at Austin Samin Ishtiaq, ARM Andy Martin, IBM Tom Melham, University of Oxford John O'Leary, Intel Gordon J. Pace, University of Malta Tim Sheard, Portland State University Mary Sheeran, Chalmers University, Sweden Satnam Singh, Microsoft Research Walid Taha, Rice University - Programme Committee
Előadáskivonatok. Szerk: G. J. Pace, S. Singh. A NJSZT könyvtárában megtalálhatók (iTA/390)