From: utzoo!decvax!ucbvax!Mario.Barbacci@CMU-10A
Newsgroups: fa.arpa-bboard
Title: Call For Papers
Article-I.D.: ucbvax.7743
Posted: Wed Jun 23 08:55:09 1982
Received: Sun Jun 27 04:30:03 1982

From: Mario.Barbacci at CMU-10A
			CALL FOR PAPERS

6TH INTERNATIONAL SYMPOSIUM ON COMPUTER HARDWARE DESCRIPTION LANGUAGES AND
			THEIR APPLICATIONS
MAY 23-25, 1983, CARNEGIE-MELLON UNIVERSITY, PITTSBURGH, PENNSYLVANIA

Organized  by  IFIP  Technical  Committee 10 and its Working Group WG10.2
and Carnegie-Mellon  University,  with  the  Cooperation  of  the
Association  for Computing Machinery and the IEEE Computer Society.

Papers  are solicited on any subject in the general area of Computer
Hardware Description Languages (CHDLs), including but not limited to:

	Specification Description Languages
	Simulation and CHDL Analysis Tools
	Languages to Describe Hardware/Software Systems
	Automatic Hardware Generation
	Hardware Verification
	Test Sequence Generation from a CHDL Description
	Structured Design Methodology
	Impact of VLSI to CHDLs

Five (5) copies of the full length manuscript (maximum  of  20
double-spaced typewritten  pages)  should  be  sent to the Program Chairman
to be received no later than September 15, 1982.  Authors will be notified
of the acceptance of their  papers  by  December  1, 1982.  All  authors
will  be  asked  to  sign  a copyright release form. Final camera-ready
versions of accepted papers will  be  due  on  January  30,  1983.

General Chairman:			Program Chairman:
Dr. Mario Barbacci			Dr. Takao Uehara
Department of Computer Science		Software Laboratory
Carnegie-Mellon University		Fujitsu Laboratories Ltd.
Pittsburgh, Pennsylvania 15213		1015 Kamikodanaka Nakahara-ku
USA					Kawasaki 211, Japan
(412) 578-2578				(81) (44) 777 1111 ext. 6155
ArpaNet: BARBACCI@CMUA			Telex: 3842 122

[This is an abridged version of the official Call for Papers. For more details
retrieve the following file: DSKB:CallCMU.doc[L410MB25]@CMUA or contact the
General Chairman.]