DIKRAN@SU-CSLI.ARPA (07/26/84)
From: Dikran Karagueuzian <DIKRAN@SU-CSLI.ARPA>
[Forwarded from the CSLI Newsletter by Laws@SRI-AI.]
WORKSHOP ON HARDWARE DESIGN VERIFICATION
The IFIP Working Groups 10.2 and 10.5. Program have issued a call for papers
to be delivered at a workshop to be held on November 26 and 27, 1984, in
Technical University of Darmstadt, F.R. Germany. The workshop is on hardware
design verification and will cover all aspects of verification methods for
hardware systems, including temporal logic, language issues, and application
of AI techniques, as well as other areas.
The workshop committee is chaired by Hans Eveking, Institut fuer
Datentechnik, Technical University of Darmstadt, D-6100 Darmstadt, Fed. Rep.
Germany, (49) (6151) 162075, and includes Stephen Crocker, Aerospace
Corporation, P.O. Box 92957, Los Angeles, California 90009.