Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 8/7/84; site ucbvax.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!ucbvax!arpa-bboard
From: arpa-bboard@ucbvax.ARPA
Newsgroups: fa.arpa-bboard
Subject: Call For Papers
Message-ID: <2432@ucbvax.ARPA>
Date: Tue, 9-Oct-84 02:05:31 EDT
Article-I.D.: ucbvax.2432
Posted: Tue Oct  9 02:05:31 1984
Date-Received: Wed, 10-Oct-84 03:55:07 EDT
Sender: daemon@ucbvax.ARPA
Organization: University of California at Berkeley
Lines: 39

From: Mario.Barbacci@cmu-cs-spice.arpa

			CALL FOR PAPERS  --   CHDL-85
			7th International Symposium on
	Computer Hardware Description Languages and their Applications
	   August 29-31, 1985 -- Keidanren Building, Tokyo, Japan

Sponsored by the International Federation for Information Processing (IFIP)
and the Information Processing Society of Japan (IPSJ), organized by IFIP
TC-10 and IFIP WG 10.2, in cooperation with IEEE-CS, ACM, GI, and NTG.

The theme of the symposium is: TOOL, METHOD, AND LANGUAGE INTEGRATION
The Symposium focuses on the design process as a whole. The objective is to
cover the various aspects of (computer-supported) specification,
verification, modelling, evaluation, and design of computer systems based on
suitable design languages.

Topic areas are:
- From Specification to Implementation of Digital Systems
- Computer System/Hardware Description Languages
- Tool Integration
- Acceptance and Experience

****    THIS IS AN ABRIDGED VERSION OF THE FORMAL CALL FOR PAPERS.    ****
****    FOR ADDITIONAL DETAILS CONTACT THE PROGRAM CHAIRMAN.          ****

DEADLINE FOR PAPERS: DECEMBER 15, 1984
NOTIFICATION TO AUTHORS: MARCH 15, 1985
DEADLINE FOR FINAL VERSION: MAY 15, 1985

General Chairman:			Program Chairman:
Professor Tohru Moto-oka		Dr. Cees Jan Koomen
Department of Electrical Engineering	Philips International
University of Tokyo			Product Development Coordination
Hongo, 7 chome				VO-1, P.O. Box 218
Bunkyo-ku				5600 MD Eindhoven,
Tokyo, Japan				The Netherlands
telephone (212) 2111 ext. 6652		telephone (31) (40) 884962