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: Call for Papers Message-ID: <1986.1.29.17.41.45.Mario.Barbacci@a.sei.cmu.edu> Date: Wed, 29-Jan-86 12:46:36 EST Article-I.D.: a.1986.1.29.17.41.45.Mario.Barbacci Posted: Wed Jan 29 12:46:36 1986 Date-Received: Tue, 11-Feb-86 07:48:29 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 82 Approved: arpa-bboard@mc.lcs.mit.edu ************************************************************************ * Note: an earlier version of this notice did not seem to have made it * through the net. If your host received it, my apologies for the repetition. * * This version contains additional information about local arrangements * (chairman's name and address). ************************************************************************ CALL FOR PAPERS 8TH INTERNATIONAL SYMPOSIUM ON COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS CHDL-87 APRIL 27-29, 1987, AMSTERDAM, THE NETHERLANDS Sponsored by the International Federation for Information Processing (IFIP) organized by IFIP TC-10 and IFIP WG 10.2. The theme of the symposium is: MULTIDISCIPLINARY SOLUTIONS TO CAD PROBLEMS A number of the challenges faced by digital system designers could be simplified by the use of techniques, tools, and methods developed in software engineering, artificial intelligence, and other fields. The objective of the Symposium is to cover the various aspects of (computer-supported) specification, verification, modelling, evaluation, and synthesis of computer systems based on suitable design languages, supported by appropriate methodologies, programming environments, databases, user interfaces, networks, etc. Topic areas include, but are not restricted to, the following: Multidisciplinary Techniques: Knowledge-based systems; Knowledge representation; Expert systems; Programming environments; Databases; User workstations and graphics. Analysis and Synthesis of Digital Systems: Hardware, Firmware, and Software (whole system) synthesis; Verification, Certification, and Simulation; Performance directed optimization methods; Test generation; Design metrics and evaluation; Complexity measures: theoretical and practical limits. Designing-in-the-large ("Beyond ALUs"): Tool integration; System partitioning aids; Performance estimation aids; Version control and configuration management in CAD systems; Reusability and parameterization of designs; Requirements traceability. Five (5) copies of the full length manuscript in English, not exceeding 20 double-spaced typewritten pages, should be sent to the Program Chairman to arrive no later than June 30, 1986. Notification of acceptance is planned for October 15, 1986. The final camera-ready version of accepted papers is due on December 31, 1986. General Chairman: Program Chairman: Dr. Cees J. Koomen Dr. Mario R. Barbacci Philips International Software Engineering Institute Product Development Coordination Carnegie-Mellon University VO-1, P.O. Box 218 Pittsburgh 5600 MD Eindhoven, Pennsylvania 15213 The Netherlands U.S.A. telephone (31) (40) 784962 telephone (1) (412) 268-7704 ArpaNet: Philips@sri-csl ArpaNet: Barbacci@sei Local Committee Chairman: IFIP WG 10.2 Chairman: Mrs. S. Maes Professor Reiner Hartenstein Philips International Universitaet Kaiserslautern Product Development Coordination Fachbereich Informatik VO-1, P.O. Box 218 Postfach 3049 5600 MD Eindhoven D-6750 Kaiserslautern The Netherlands Federal Republic of Germany telephone (31) (40) 785388 telephone (49) (631) 205-2606 telex 35000 phtc nl Program Committee: M. Barbacci (USA, Chairman), D. Borrione (France), E. Clarke (USA), S. Crocker (USA), J. Darringer (USA), S. Dasgupta (USA), R. Hartenstein (F.R. Germany), J. Jess (The Netherlands), F. Klaschka (F.R. Germany), C. Jan Koomen (The Netherlands), W. Magnuson jr. (USA), G. Milne (U.K.), R. Piloty (F.R. Germany), P. Prinetto (Italy), F. Rammig (F.R. Germany), W. Sherwood (USA), T. Sudo (Japan), T. Thorp (U.K.), T. Uehara (Japan), M. Vernon (USA), K. Woelchen (F.R. Germany), A. Yamada (Japan), G. Zimmermann (F.R. Germany)