Mario.Barbacci@A.SEI.CMU.EDU (01/12/86)
IFIP Workshop Architectural Synthesis of Digital Systems Torino, Italy, 22-23 May 1986 Sponsored by IFIP Working Group 10.2 and Organized by CSELT (Centro Studi E Laboratory Telecomunicazioni). The aim of the workshop is to bring together experts from university and industry actively working in Architectural Synthesis of Digital Systems. Presentations and discussions will cover the following topics: - CAD tools for architectural synthesis of VLSI systems - VLSI algorithms - Complexity theory and VLSI models of computation - Synthesis methodologies and techniques - Logic synthesis - Testability aspects during the synthesis process - Use of transformation techniques - Optimization techniques The number of attendants will be limited. To encourage a free exchange of ideas, no proceedings will be published. If you would like to participate, write to the conference Chairperson, including a short abstract of current activities and interests. Deadline for abstracts: February 28, 1986 Conference Chairperson: Mr. Girolamo de Vincentiis CSELT via Reiss Romoli 274 10148 Torino, ITALY Telephone: (39) 11 21691 Telex: 220539
Mario.Barbacci@A.SEI.CMU.EDU (01/29/86)
************************************************************************
* 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)MCCARTY@RED.RUTGERS.EDU (09/05/86)
CALL FOR PAPERS:
First International Conference on
ARTIFICIAL INTELLIGENCE AND LAW
May 27-29, 1987
Northeastern University
Boston, Massachusetts, USA
In recent years there has been an increased interest in the applications of
artificial intelligence to law. Some of this interest is due to the potential
practical applications: A number of researchers are developing legal expert
systems, intended as an aid to lawyers and judges; other researchers are
developing conceptual legal retrieval systems, intended as a complement to the
existing full-text legal retrieval systems. But the problems in this field are
very difficult. The natural language of the law is exceedingly complex, and it
is grounded in the fundamental patterns of human common sense reasoning. Thus,
many researchers have also adopted the law as an ideal problem domain in which
to tackle some of the basic theoretical issues in AI: the representation of
common sense concepts; the process of reasoning with concrete examples; the
construction and use of analogies; etc. There is reason to believe that a
thorough interdisciplinary approach to these problems will have significance
for both fields, with both practical and theoretical benefits.
The purpose of this First International Conference on Artificial Intelligence
and Law is to stimulate further collaboration between AI researchers and
lawyers, and to provide a forum for the latest research results in the field.
The conference is sponsored by the Center for Law and Computer Science at
Northeastern University. The General Chair is: Carole D. Hafner, College of
Computer Science, Northeastern University, 360 Huntington Avenue, Boston MA
02115, USA; (617) 437-5116 or (617) 437-2462; hafner.northeastern@csnet-relay.
Authors are invited to contribute papers on the following topics:
- Legal Expert Systems
- Conceptual Legal Retrieval Systems
- Automatic Processing of Natural Legal Texts
- Computational Models of Legal Reasoning
In addition, papers on the relevant theoretical issues in AI are also invited,
if the relationship to the law can be clearly demonstrated. It is important
that authors identify the original contributions presented in their papers, and
that they include a comparison with previous work. Each submission will be
reviewed by at least three members of the Program Committee (listed below), and
judged as to its originality, quality and significance.
Authors should submit six (6) copies of an Extended Abstract (6 to 8 pages) by
January 15, 1987, to the Program Chair: L. Thorne McCarty, Department of
Computer Science, Rutgers University, New Brunswick NJ 08903, USA; (201)
932-2657; mccarty@rutgers.arpa. Notification of acceptance or rejection will
be sent out by March 1, 1987. Final camera-ready copy of the complete paper
(up to 15 pages) will be due by April 15, 1987.
Conference Chair: Carole D. Hafner Northeastern University
Program Chair: L. Thorne McCarty Rutgers University
Program Committee: Donald H. Berman Northeastern University
Michael G. Dyer UCLA
Edwina L. Rissland University of Massachusetts
Marek J. Sergot Imperial College, London
Donald A. Waterman The RAND Corporation
-------vardi@navajo.stanford.edu (Moshe Vardi) (09/09/86)
CALL FOR PAPERS
SECOND ANNUAL SYMPOSIUM ON
LOGIC IN COMPUTER SCIENCE
22 - 25 June 1987
Cornell University, Ithaca, New York, USA
THE SYMPOSIUM will cover a wide range of theoretical and practical issues in
Computer Science that relate to logic in a broad sense, including algebraic
and topological approaches.
Suggested (but not exclusive) topics of interest include: abstract data types,
computer theorem proving, verification, concurrency, type theory and constructi
ve
mathematics, data base theory, foundations of logic programming, program logics
and semantics, knowledge and belief, software specifications, logic-based
programming languages, logic in complexity theory.
Organizing Committee
K. Barwise E. Engeler A. Meyer
W. Bledsoe J. Goguen R. Parikh
A. Chandra (chair) D. Kozen G. Plotkin
E. Dijkstra Z. Manna D. Scott
Program Committee
S. Brookes D. Gries (chair) J.-P. Jouannaud A. Nerode
L. Cardelli J. Goguen R. Ladner G. Plotkin
R. Constable Y. Gurevich V. Lifschitz A. Pnueli
M. Fitting D. Harel G. Longo P. Scott
PAPER SUBMISSION. Authors should send 16 copies of a detailed abstract
(not a full paper) by 9 DECEMBER 1986 to the program chairman:
David Gries -- LICS (607) 255-9207
Department of Computer Science gries@gvax.cs.cornell.edu
Cornell University
Ithaca, New York 14853
Abstracts must be clearly written and provide sufficient detail to allow the
program committee to assess the merits of the paper. References and
comparisons with related work should be included where appropriate. Abstracts
must be no more than 2500 words. Late abstracts or abstracts departing
significantly from these guidelines run a high risk of not being considered.
If a copier is not available to the author, a single copy of the abstract
will be accepted.
Authors will be notified of acceptance or rejection by 30 JANUARY 1987.
Accepted papers, typed on special forms for inclusion in the symposium
proceedings, will be due 30 MARCH 1987.
The symposium is sponsored by the IEEE Computer Society, Technical Committee on
Mathematical Foundations of Computing and Cornell University, in cooperation wi
th
ACM SIGACT, ASL, and EATCS.
GENERAL CHAIRMAN LOCAL ARRANGEMENTS
Ashok K. Chandra Dexter C. Kozen
IBM Thomas J. Watson Research Center Department of Computer Science
P.O. Box 218 Cornell University
Yorktown Heights, New York 10598 Ithaca, New York 14853
(914) 945-1752 (607) 255-9209
ashok@ibm.com kozen@gvax.cs.cornell.edu
--------------
TN Message #73
--------------
------- End Forwarded Mail