Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!arpa-bboard From: Mario.Barbacci@A.SEI.CMU.EDU Newsgroups: net.announce.arpa-internet Subject: (none) Message-ID: <1986.1.12.1.25.26.Mario.Barbacci@a.sei.cmu.edu> Date: Sat, 11-Jan-86 20:47:19 EST Article-I.D.: a.1986.1.12.1.25.26.Mario.Barbacci Posted: Sat Jan 11 20:47:19 1986 Date-Received: Sat, 1-Feb-86 20:58:48 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 54 Approved: arpa-bboard@mc.lcs.mit.edu ----------------------------------------- This is an abridged version of the formal Call for Papers. For additional information contact Prof. Borrione. ----------------------------------------- IFIP International Working Conference: "From HDL Descriptions to Guaranteed Correct Circuit Designs" September 9-11, 1986 Grenoble, France Organized by IFIP Technical Committee 10, IFIP Working Group 10.2, the ARTEMIS/IMAG Laboratory of the University of Grenoble, and the University of Provence. The objective of the conference is to bring together developers and users of design automation tools from both academy and industry, and compare the various methods and algorithms by which correct circuit designs may be obtained from initial descriptions and specifications written in an appropriate hardware description language (HDL). Topics to be discussed, but not limited to, are: - Hardware modelling for symbolic manipulation - Proofs of correctness of hardware designs - Automatic hardware synthesis - Proofs and synthesis: alternative or cooperative approaches? - Performance factors - Expert systems for correct circuit design Attendance will be by invitation only. If you wish to participate in the conference, please submit 3 copies of a short summary of your interest and contribution for discussion. If you wish to submit a paper, to be included in the proceedings, submit 3 copies of the complete paper, not exceeding 30 double-spaced, type-written pages. All contributions should be written in English and mailed to the conference chairperson (below). Deadline for short summaries: May 1, 1986 Deadline for formal papers: April 1, 1985 Notification of acceptance: May 15, 1986 Deadline for camera ready papers: June 15, 1986 Conference Chairperson: Local Arrangements: Professor Dominique Borrione Mr. Yves Durand Universite de Provence ARTEMIS/IMAG UER de Mathematiques B.P. 68 3 Place Victor Hugo 38402 Saint Martin d'Heres CEDEX 13331 Marseille CEDEX 3 FRANCE FRANCE Telephone: (33) 91.95.90.71 Telephone: (33) 76.51.46.04 Telex: AMIUP 402014 Telex: 980 882 F-ARTEMIS No. 110