Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 112
AIList Digest Monday, 11 May 1987 Volume 5 : Issue 112
Today's Topics:
Presentation - Columbia AI/VLSI Project,
Course - Automated Mathematical Reasoning,
Conferences - Automated Reasoning Workshop &
Volunteers still needed for AAAI &
Hawaii Conf. on System Sciences &
ACL Applied Natural Language Conference
----------------------------------------------------------------------
Date: Tue, 28 Apr 87 07:56 EST
From: TAKEFUJI%scarolina.csnet@RELAY.CS.NET
Subject: Presentation - Columbia AI/VLSI Project
[I apologize for the late distribution of this and other announcements.
The list has been a bit more than I could handle this last month due
to illness and personal circumstances. -- KIL]
From: Dr. Yoshiyasu Takefuji
To: whom it may concern
Subjects: INVITATION TO AI & VLSI Project
presentation/demonstration
Date: May 4, 1987
Time: 4 PM
Place: On the third floor at Engineering Building in Columbia,
South Carolina
Hello.
We will have project presentation/demonstration on the following subjects:
15 graduate students are involved
in these projects.
1. Fuzzy inference VLSI parallel-engine
2. Expert system for determination of fuzzy inference engine
architecture
3. Function Description Translator from behavior description
to VLSI layout level (CIF or Magic file)
4. Terminal-based local network project to eliminate RS232c wire-jungle
5. Neuron Network Simulators
6. Error Correction Circuits based on Neuron Networks
7. Petri-to-FSM translator
Let me know whether you can come to see our demo.
csnet: takefuji%scarolina.edu
usenet: ncrcae!usccmi!takefuji
Thank you.
------------------------------
Date: Tue, 21 Apr 87 17:37:43 cst
From: stevens@anl-mcs.ARPA (Rick L. Stevens)
Subject: Course - Automated Mathematical Reasoning
UNIVERSITA' DI CATANIA
Dipartimento di Matematica
Viale A. Doria, 6
95125 CATANIA - ITALY
First Announcement CATANIA SICILY, ITALY
JUNE 8-12, 1987
INTERNATIONAL COURSE ON
NEW TRENDS IN AUTOMATED
MATHEMATICAL REASONING
The meeting will consists of 3 six hours courses form Monday through Friday
given by the following lecturers
- Prof. WU WEN-TSUN - Institute of Systems Science, Academia Sinica, University
of Beijng - CHINA
"Automated Theorem Proving in Geometry and Differential Geometry".
- Prof. JACOB T. SCHWARTZ - Department of Computer Science, Courant Institute
of Mathematical Sciences - New York University - USA.
"Pragmatic Issues in Verification of Programs and Mathematical Theorems".
- Prof. JIAWEI HONG - Beijng Computer Institute and University of Chicago - USA.
"Proving by Example in Geometry".
Director of the course
- Prof. Alfredo Ferro - Department of Mathematics, University of Catania - ITALY
Admission and General Information
---------------------------------
A $ 50 (80,000 Italian lire) registration fee which includes social dinner on
Thursday evening is required.
An excursion to Taormina will be organized on Friday afternoon.
Participants will be accommodated at the beautiful residence "La Perla Ionica".
Full board for each day:
double room L. 57,500 per person
single room L. 72,500 per person.
Half board for each day:
double room L. 48,300 per person
single room L. 63,300 per person.
For any information, hotel reservations, buses from the airport, etc., please
contact TRINACRIA VIAGGI via L. Rizzo 19/A - Catania - Italy - tel. 095/325155 -
Telex 970134.
Several daily flights connect Catania to Rome and Milan. Also, Catania is
connected to Paris, Frankfurt, and London by weekly flights.
Deadline for hotel reservations: May 22, 1987.
Please send applications to dott. G. Gallo, Dipartimento di Matematica -
Viale A. Doria 6, 95125 Catania - Italy.
------------------------------
Date: Tue, 21 Apr 87 17:30:38 cst
From: stevens@anl-mcs.ARPA (Rick L. Stevens)
Subject: Conference - Automated Reasoning Workshop
Automated Reasoning Workshop 1987
Mathematics and Computer Science Division
Argonne National Laboratory
You are invited to a workshop on automated reasoning to
be held at Argonne National Laboratory on June 23 and 24,
1987. This workshop, the sixth of its kind, will take the
form of a set of tutorials. No background is needed in
automated reasoning, simply curiosity and an interest in the
subject.
Our first objective is to acquaint people with the
basic aspects of automated reasoning and with the possible
applications. Thus we shall discuss some of the previously
open questions we have solved and feature topics such as the
design of logic circuits, the validation of existing circuit
designs, and proving properties of computer programs. Our
second objective is to learn of new problems on which the
current methodology might have an impact. In fact, the
preceding workshops did lead to such discoveries, as well as
to collaborative efforts to seek solutions to these prob-
lems.
Enclosed is a tentative schedule that briefly describes
the various talks. On the first day, we shall begin with an
introductory lecture on what automated reasoning is. We
shall illustrate the various concepts first with puzzles.
Next, we shall focus on some applications of automated rea-
soning. We shall include a demonstration of an automated
reasoning program (ITP) that is portable, runs on relatively
inexpensive machines, and is available to other users. On
the second day we shall give an introduction to Prolog, dis-
cuss additional applications, and focus on state/space prob-
lems. On both days, we have scheduled reviews of the
material and open discussions.
We welcome you to this 1987 workshop on automated rea-
soning. Participation will require a small charge, no more
than $60. Included in this fee will be the cost of the book
Automated Reasoning: Introduction and Applications, written
by Wos, Overbeek, Lusk, and Boyle and published by
Prentice-Hall. This book covers the field of automated rea-
soning from its basic elements through various applications.
Its tutorial nature will guide our approach to the workshop.
We urge you to respond to this invitation as soon as
possible for, to retain the tutorial atmosphere of the
workshop, we may be forced to limit the number of partici-
pants. The order in which requests are received will be an
important parameter in issuing invitations to attend the
workshop.
Sincerely,
L. Wos
Senior Mathematician
Schedule for Automated Reasoning Workshop 1987
June 23-24, 1987
Argonne National Laboratory
Argonne, Illinois
Tuesday, June 23
9:00 - 9:15 Preliminary remarks - Larry Wos
9:15 - 10:15 Introduction to automated reasoning
- Larry Wos
10:15 - 10:30 Break
10:30 - 11:30 Solving reasoning puzzles - Brian
Smith
11:30 - 12:30 Lunch
12:30 - 1:15 Choices of strategies and inference
rules - Rusty Lusk
1:15 - 1:30 Demonstration
1:30 - 1:45 Break
1:45 - 2:45 Proving properties of computer pro-
grams - Jim Boyle
2:45 - 3:00 Closing discussion - Larry Wos
Wednesday, June 24
9:00 - 9:15 Discussion - Larry Wos
9:15 - 10:15 Introduction to Prolog - Rusty Lusk
10:15 - 10:30 Break
10:30 - 11:30 State-space problems - Rusty Lusk
11:30 - 12:30 Lunch
12:30 - 1:15 Circuit design and validation - Jim
Boyle
1:15 - 1:45 Open problems in mathematics and
logic - Rusty Lusk
1:45 - 2:00 Break
2:00 - 2:45 Detailed solution of an open prob-
lem in logic - Larry Wos
2:45 - 3:15 Our automated reasoning software -
Rusty Lusk
3:15 - 3:30 Closing remarks - Larry Wos
------------------------------
Date: 24 Apr 87 23:08:36 GMT
From: feifer@locus.ucla.edu
Subject: Conference - Volunteers still needed for AAAI conf.
ANNOUNCEMENT:
Student Volunteers Still Needed for
Artificial Intelligence Conference
AAAI-87
AAAI-87 (American Association on Artificial Intelligence) will
be held July 13-17, 1987 in beautiful Seattle, Washington.
Student volunteers are needed to help with local arrangements
and staffing of the conference. To be eligible for a Volunteer
position, an individual must be an undergraduate or graduate
student in any field at any college or university.
This is an excellent opportunity for students to participate in
the conference. Volunteers receive FREE registration at AAAI-87,
conference proceedings, "STAFF" T-shirt, and are invited to the
volunteer party. More importantly, by participating as a volunteer,
you become more involved and meet students and researchers with
similar interests.
If you are interested in participating in AAAI-87 as a Student
Volunteer, apply by sending the following information:
Name
Electronic Mail Address
USMail Address
Telephone Number(s)
Dates Available
Student Affiliation
Advisor's Name
to:
feifer@locus.ucla.edu
or
Richard Feifer
UCLA
Center for the Study of Evaluation
145 Moore Hall
Los Angeles, California 90024
Thanks, and I hope you join us this year!
Richard Feifer
Student Volunteer Coordinator
AAAI-87 Staff
- Richard
------------------------------
Date: Tue 21 Apr 87 13:36:42-EDT
From: Gail E. Kaiser <KAISER@cs.columbia.edu>
Subject: Conference - Hawaii Conf. on System Sciences
Subject: revised call for papers: 20->26pp
CALL FOR PAPERS
21ST ANNUAL
HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES
(HICSS-21)
Papers are invited for the minitrack on Use of AI Techniques in Software
Design and Implementation in the software track of the 21st annual Hawaii
International Conference on System Sciences (HICSS-21), to be held in Kona,
Hawaii next January 5-8, 1988.
Topics of interest include, but are not limited to, the following artificial
intelligence areas as they apply to software design and implementation,
particularly for large-scale software systems. Techniques may apply to any or
all phases of the software development process: project management,
requirements, functional specification, design specification, modular
decomposition, coding, integration, testing, maintenance, documentation,
delivery, etc. Example applications are given in parentheses.
- Automatic deduction (detecting inconsistencies among programmers'
assumptions, automatic programming)
- Knowledge representation (semantic nets, frames, etc. for
representing programming information)
- Learning (self-tuning of software tools to specific programs,
generalization of program fragments to support reusability)
- Natural language (matching functionality of program parts with the
corresponding program documentation, explaining program components
and their interactions to new project member)
- Planning (detecting interactions among planned changes)
- Rule-based systems (program transformation, performance tuning)
- Search (retrieval of reusable program fragments)
Six copies of the full paper (maximum 26 double-spaced pages) should be sent
to the session chairman at the address given below. Papers must arrive by July
1, 1987. Authors will be notified of acceptance by September 7, 1987.
Camera-ready copies will be due by October 19, 1987.
Minitrack chairman: Prof. Gail E. Kaiser, Columbia University, Department of
Computer Science, New York, NY 10027. Phone: 212-280-3856. Electronic mail:
kaiser@cs.columbia.edu, ...seismo!columbia!cs!kaiser
Software track chairman: Dr. Bruce D. Shriver, IBM T.J. Watson Research
Center, P.O. Box 704, Yorktown Heights, NY 10598. Phone: 914-789-7626.
Electronic mail: shriver@ibm.com
------------------------------
Date: Mon, 27 Apr 87 18:02:30 edt
From: walker@flash.bellcore.com (Don Walker)
Subject: Conference - ACL Applied Natural Language Conference
"CALL FOR PAPERS"
SECOND CONFERENCE ON APPLIED NATURAL LANGUAGE PROCESSING
9-12 February 1988, Austin, Texas, USA
Organized by the Association for Computational Linguistics
CONFERENCE SUMMARY: This meeting will focus on the application of
natural language processing techniques to real world problems. It will
include invited and contributed papers, panel discussions, tutorials,
exhibits, and demonstrations. Original papers are being solicited in
areas such as human-machine interfaces (including databases, expert
systems, report writers, etc.), speech input and output, information
retrieval, text generation, machine translation, office automation,
writing aids, computer-aided instruction, tools for natural-language
processing, and applications to medical, legal, or other professional
areas. Papers may present applications, evaluations, limitations, and
general tools and techniques. Papers that critically evaluate a
formalism or processing strategy are especially welcome. Papers or
panel proposals discussing end-user experience with natural language
systems are also encouraged.
REQUIREMENTS FOR SUBMISSION: Authors should submit ten copies of a 6-8
page summary (single-spaced, exclusive of references, pica or elite
size type). The first page should begin with the title, the name(s) of
the author(s), complete address(es), and a short (5-6 line) abstract.
Papers should be sent to: Bruce Ballard
AT&T Bell Laboratories, 3C-440A
Murray Hill, NJ 07974
(201)582-5440
allegra!bwb@ucbvax.berkeley.edu
The submission should identify distinctive aspects of the work and
clearly indicate the extent to which an implementation has been
completed; vague or unsubstantiated claims will be given little
weight. Submissions should be substantively different from papers
currently under review or to be submitted elsewhere before the
notification date. All papers will be reviewed by members of the
Program Committee , which is composed of Bruce Ballard, chair (AT&T
Bell Laboratories), Madeleine Bates (BBN Laboratories), Tim Finin
(University of Pennsylvania), Ralph Grishman (New York University),
Carole Hafner (Northeastern University), George Heidorn (IBM
Corporation), Paul Martin (SRI International), Graeme Ritchie
(University of Edinburgh), and Harry Tennant (Texas Instruments).
SCHEDULE: Papers must be received by September 1, 1987. Notification
of acceptance will be sent by October 5, 1987. Camera-ready versions
of the full paper must be received by November 30, 1987.
OTHER ACTIVITIES: The meeting will include one day of tutorials by
noted contributors to the field. Facilities for exhibits and system
demonstrations will also be available. Persons wishing to arrange an
exhibit or present a demonstration should contact Kent Wittenburg or
Carl Weir, MCC, 3500 W. Balcones Center Drive, Austin, TX 78759;
(512)338-3626 or 338-3616; wittenburg@mcc.com or weir@mcc.com.
CONFERENCE INFORMATION: Local arrangements are being handled by
Jonathan Slocum and Barbara Smith, MCC, 3500 W. Balcones Center Drive,
Austin, TX 78759; (512)338-3571 and 338-3527; slocum@mcc.arpa and
barbara@mcc.arpa. For additional information on the conference or
about the ACL, contact Donald Walker, Bell Communications Research, 445
South Street, MRE 2A379, Morristown, NJ 07960; (201)829-4312;
walker@flash.bellcore.com or ucbvax!bellcore!walker. In addition to
the persons named above, the Conference Committee includes Norman
Sondheimer, USC/Information Sciences Institute, General Chair; Martha
Palmer, UNISYS, Tutorials; Jeffrey Hill and Brenda Nashawaty,
Artificial Intelligence Corporation, Publicity.
------------------------------
End of AIList Digest
********************
