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