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