doug@research7.computer-science.manchester.ac.uk (Doug Edwards) (02/25/88)
- - - IFIP TC-10 CONFERENCE: DESIGN METHODOLOGIES FOR VLSI AND COMPUTER ARCHITECTURE. PISA: 19th -- 23rd SEPTEMBER 1988 Technical Committee TC-10 of the International Federation of Information Processing aims to promote and coordinate information exchange on concepts, methodologies, evaluation methods and tools in the design of digital systems. As part of its programme for 1988, TC-10 is organising a conference on design methodologies for VLSI circuits and computer architectures, to be held in Pisa, Italy, from 19th to 23rd September 1988. The conference will cover all aspects of design, from circuit level to instruction-set level, including hardware description techniques, notational frameworks for specification and verification, and design automation tools. PROGRAM COMMITTEE Prof J. R. Gurd, University of Manchester, UK Prof M. Vanneschi, University of Pisa, Italy Dr D. Edwards, University of Manchester, UK Prof D. Borrione, University of Marseilles, France Dr M. Bolton, University of Bristol, UK Prof R. Bryant, CMU, USA Prof I. Hartenstein, Kaiserslautern University, W Germany Prof S. Michaelson, University of Edinburgh, UK Prof T. Ohtsuki, Waseda University, Japan Prof I. Shirakawa, Osaka University, Japan Dr B. Shriver, IBM, USA PROGRAM AREAS Papers are invited in the following (and allied) fields: Hierarchical Design Methodologies. Architecture Description Languages. Hardware Description Languages. Specification and Verification Techniques. Expert Systems in Design. Engineering User Interfaces. Design for Testability. Fault Coverage Schemes. Simulation and Testing. Silicon Compilation. Placement and Layout. Hardware Accelerators for CAD. PAPER SUBMISSION REQUIREMENTS The manuscript length should be between 15 and 20 pages in a 11 or 12 pt font size. Authors should send 4 copies of their full submission to: Dr D. A. Edwards Room 2-32 Department of Computer Science University of Manchester Oxford Road Manchester M13 9PL UK Tel: (0)61-275-6191 e-mail: ARPA: doug@r2.cs.man.ac.uk USENET: ..!mcvax!ukc!mur2!doug LOCAL ARRANGEMENTS: Prof M Vanneschi, Universita di Pisa Dip. Computer Science Corso Italia 40 56100 Pisa Italy Tel 010-39-50-510-11 (or -222) IMPORTANT DATES Closing Date for papers: 30 April 1988. Notification of paper acceptance: 15th July 1988 Deadline for revised papers: 19th Sept (at conference). Conference: Pisa, 19--23rd Sept 1988. Conference Proceedings to be published by North Holland shortly after the conference. -----------------------------------------------------------------