Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site ucbvax.UUCP
Path: utzoo!watmath!clyde!burl!mgnetp!ihnp4!cbosgd!ucbvax!daemon
From: daemon@ucbvax.UUCP
Newsgroups: fa.arpa-bboard
Subject: call for papers
Message-ID: <1089@ucbvax.UUCP>
Date: Fri, 15-Jun-84 20:08:58 EDT
Article-I.D.: ucbvax.1089
Posted: Fri Jun 15 20:08:58 1984
Date-Received: Fri, 22-Jun-84 03:20:49 EDT
Sender: daemon@ucbvax.UUCP
Organization: U.C. Berkeley
Lines: 42

From GSB@MIT-MC  Fri Jun 15 17:08:52 1984
			CALL FOR PAPERS

		WORKSHOP ON HARDWARE DESIGN VERIFICATION
			November 26-27, 1984
		Technical University of Darmstadt, F.R. Germany

This workshop is organized by IFIP Working Groups 10.2 and 10.5. Program
will cover all aspects of verification methods for hardware systems,
including:

	Correctness of hardware design,
	Tools and methodologies for verification,
	Verification of multilevel descriptions,
	Timing verification,
	Temporal logic,
	Correctness by construction,
	Circuit extractors,
	Design rule checkers,
	Language issues,
	Application of AI techniques.

PARTICIPATION IS BY INVITATION ONLY. If you would like to propose a
contribution to the workshop send a short summary of the intended
presentation to the Workshop Chairman before July 31, 1984. Notices of
acceptance will be sent by September 15, 1984.

Workshop Committee:

Hans Eveking (Chairman)			Stephen Crocker
Institut fuer Datentechnik		Aerospace Corporation
Technical University of Darmstadt	P.O. Box 92957
D-6100 Darmstadt			Los Angeles
Fed. Rep. Germany			California 90009
(49) (6151) 162075

George J. Milne				Robert Piloty
Computer Science Department		Institut fuer Datentechnik
University of Edinburgh			Technical University of Darmstadt
Edinburgh, Scotland			D-6100 Darmstadt
United Kingdom				Fed. Rep. Germany