Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!linus!vaxine!wjh12!genrad!decvax!ittvax!dcdwest!sdcsvax!sdcrdcf!hplabs!sri-unix!Mario.Barbacci@cmu-cs-spice.arpa From: Mario.Barbacci@cmu-cs-spice.arpa Newsgroups: net.ai Subject: call for papers Message-ID: <954@sri-arpa.UUCP> Date: Wed, 13-Jun-84 08:41:32 EDT Article-I.D.: sri-arpa.954 Posted: Wed Jun 13 08:41:32 1984 Date-Received: Wed, 20-Jun-84 00:42:40 EDT Lines: 41 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