[news.announce.conferences] CFP: IFIP TC-10: Design MetHodologies for VLSI and Computer Arch.

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.

-----------------------------------------------------------------