Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 177
AIList Digest Saturday, 9 Aug 1986 Volume 4 : Issue 177
Today's Topics:
Seminars - Helicopter Flight Path Control (Ames) &
Object Encapsulation and Inheritance (MIT) &
ACTORS in Concurrent Logic Programming Languages (MIT),
Conference - 4th International Conference on Logic Programming &
2nd Int. Rewriting Techniques and Applications &
1st Eurographics Intelligent CAD Systems
----------------------------------------------------------------------
Date: 8 Aug 1986 1121-PDT (Friday)
From: eugene@AMES-NAS.ARPA (Eugene Miya)
Subject: Seminar - Helicopter Flight Path Control (Ames)
National Aeronautics and Space Administration
Ames Research Center
Systems Autonomy Demonstration Program Seminar
Dr. Shoshana Abel
Expert-EASE Systems
Application of Evidential Reasoning to Helicopter
Flight Path Control
An innovative form of AI technology called evidential reasoning systems
will be presented for advanced helicopters. The reasoning system,
based on the mathematical theory of evidence by Glen Shafer, centers
on automatic reasoning inorder to derive the necessary conclusions
about feature extraction and obstacle avoidance. The advantage of
using this approach applied to advance helicopters will be
discussed.
Date: Thursday. 8/21/86
Time: 3:00 pm
Location: NASA, Ames Research Center, Bldg. 244 room 103
Inquires: David Jared, (415) 964-6533 jared%plu@ames-io.arpa
VISITORS ARE WELCOME: Register and obtain vehicle pass at Ames Visitor
Reception Building (N-253) or the Security Station near Gate 18. Do not
use the Navy Main Gate.
Non-citizens (except Permanent Residents) must have prior approval from the
Director's Office one week in advance. Submit requests to the point of
contact indicated above. Non-citizens must register at the Visitor
Reception Building. Permanent Residents are required to show Alien
Registration Card at the time of registration.
------------------------------
Date: 6 Aug 1986 1400-EDT
From: ALR@XX.LCS.MIT.EDU
Subject: Seminar - Object Encapsulation and Inheritance (MIT)
DATE: THURSDAY, AUGUST 7, 1986
REFRESHMENTS AT 1:45 PM
TALK AT 2:00 PM
PLACE: NE43-512A
Encapsulation and Inheritance in Object-Oriented Programming Languages
Alan Snyder
Hewlett Packard
Palo Alto, Ca.
Object-oriented programming is a practical and useful programming methodology
that encourages modular design and software reuse. Most object-oriented
programming languages support data abstraction by preventing an object from
being manipulated except via its defined external operations. In most
languages, however, the introduction of inheritance severely compromises the
benefits of this encapsulation. Furthermore, the use of inheritance itself is
globally visible in most languages, so that changes to the inheritance
hierarchy cannot be made safely. We examine the relationship between
inheritance and encapsulation and develop requirements for full support of
encapsulation with inheritance.
Host: Prof. Liskov
------------------------------
Date: Wed, 6 Aug 1986 14:38 EDT
From: PJ@OZ.AI.MIT.EDU
Subject: Seminar - ACTORS in Concurrent Logic Programming Languages (MIT)
****** SEMINAR ******
THURSDAY, AUGUST 7
8TH FLOOR PLAYROOM
11:00 am
******** ACTORS *******
IN CONCURRENT LOGIC PROGRAMMING LANGUAGES
*****************************
KENNETH KAHN
Knowledge Systems Area
Intelligent System Laboratory
XEROX PALO ALTO RESEARCH CENTER
ABSTRACT:
Concurrent logic programming languages support object-oriented
programming with a clean semantics and additional programming constructs
such as incomplete messages, unification, direct broadcasting, and
concurrency synchronization. While these languages
provide excellent computational support, we claim they do not provide
good notation for expressing the abstractions of object-oriented
programming. We describe a preprocessor that remedies this problem.
the resulting language, Vulcan, is then used as a vehicle for exploring
new variants of object-oriented programming which become possible in
this framework.
Host: Prof. Carl Hewitt
------------------------------
Date: 1 August 1986, 23:14:13 EDT
From: Jean-Louis Lassez <JLL@ibm.com>
Subject: Conference - 4th International Conference on Logic Programming
CALL FOR PAPERS
Fourth International Conference On Logic Programming
University of Melbourne, Australia
Late May 1987
The conference will consider all aspects of logic
programming, including, but not limited to:
Theory and Foundations
Architectures and Implementations
Programming Languages and Methodology
Databases
Knowledge Representation, Reasoning and Expert Systems
Relations to other computation models, programming
languages, and programming methodologies.
Of special interest are papers discussing novel applications
and applications that address the unique character of logic
programming.
Papers can be submitted under two categories, short - up to
2000 words, and long - up to 6000 words. Submissions will
be considered on basis of appropriateness, clarity,
originality, significance, and overall quality.
Authors should send six copies of their manuscript, plus an
extra copy of the abstract to:
Jean-Louis Lassez
ICLP Program Chairman
IBM T.J. Watson Research Center
H1-A12
P.O. Box 218
Yorktown Heights, NY 10598
USA
Deadline for submission of papers is December 1, 1986.
Authors will be notified of acceptance or rejection by
February 28, 1987. Camera ready copies are due April 1st,
1987.
General Chairman:
John Lloyd
Department of Computer Science
University of Melbourne
Parkville, Victoria 3052
Australia
Program Committee
Ken Bowen, Syracuse, USA
Keith Clark, Imperial College, U.K.
Jacques Cohen, Brandeis, USA
Veronica Dahl, Simon Fraser University, Canada
Maarten van Emden, University of Waterloo, Canada
Koichi Furukawa, ICOT, Japan
Ivan Futo, SZKI, Hungary
Seif Haridi, SICS, Sweden
Jean-Louis Lassez, Yorktown Heights, USA
Giorgio Levi, University of Pisa, Italy
Jacob Levy, Weizmann Institute, Israel
John Lloyd, University of Melbourne, Australia
Fumio Mizoguchi, Science University of Tokyo, Japan
Fernando Pereira, SRI International, USA
Antonio Porto, University of Lisbon, Portugal
Marek Sergot, Imperial College, U.K.
David Warren, Manchester University, U.K.
------------------------------
Date: Wed, 16 Jul 86 21:10:00 -0200
From: mcvax!crin!lescanne@seismo.CSS.GOV (Pierre LESCANNE)
Subject: Conference - 2nd Int. Rewriting Techniques and Applications
[Forwarded from TheoryNet by Laws@SRI-STRIPE.]
CALL FOR PAPERS
RTA-87
2nd INTERNATIONAL CONFERENCE
on
REWRITING TECHNIQUES AND APPLICATIONS
May 25-27 1987 Bordeaux, France
TOPICS
In May 1985 the First International Conference on Rewriting Techniques
and Applications met at Dijon. The conference was a great success, attracting
over 100 researchers working on rewriting techniques. The second conference
will take place at Bordeaux, another city famous for its wine, in May 1987.
Papers concerning the theory and applications of term rewriting are solicited
for the conference. Areas of interest include the following, but authors are
encouraged to submit papers on other topics as well.
Equational Deduction Functional and Logic Programming
Computer Algebra Automated Theorem Proving
Unification and Matching Algorithms Rewrite Rule Based Expert Systems
Algebraic and Operational Semantics Semantics of Nondeterminism
Theory of general rewriting systems Rewriting and Computer Architecture
Specification, Transformation, Validation and Generation of Programs
SUBMISSION
Each submission should include 11 copies of a one page abstract and 4
copies of a full paper of no more than 15 double spaced pages. Submissions are
to be sent to one of the Co-Chairmen:
For Europe: Pierre Lescanne, RTA-87, Centre de Recherche en
Informatique de Nancy, Campus Scientifique, BP 239,
54506 Vandoeuvre-les-Nancy Cedex, FRANCE.
For other countries: David Plaisted, RTA-87,
Department of Computer Science,
New West Hall 035-A,
University of North
Carolina at Chapel Hill,
Chapel Hill NC 27514, USA.
Paper selection will be done by circulating abstracts to all members of the
program committee, with each full paper assigned to several committee members
having appropriate expertise. In addition to selected papers, a few invited
lectures will be given by well-known researchers who have made major
contributions in the field:
INVITED LECTURERS
J-P. Jouannaud, University of Paris-Sud, France,
D. Musser, GE Research and Development Laboratory, Schenectady, USA,
M. O'Donnell, University of Chicago, Illinois, USA.
SCHEDULE
Paper submission deadline is December 15, 1986.
Acceptance/Rejection by January 25, 1987.
Camera ready copy by March 9.
Proceedings will be distributed at the conference and published by Springer
Verlag in the LNCS series.
PROGRAM COMMITTEE
B. Buchberger, University of Linz, Austria,
R. Book, University of Santa Barbara, USA,
B. Courcelle, University of Bordeaux, France,
N. Dershowitz, University of Illinois, USA,
J. Guttag, MIT, USA,
D. Kapur, General Electric, USA,
P. Lescanne, (Program co-Chairman) CRIN, France,
R. Loos, University of Karlsruhe, FRG,
D. Plaisted, (Program co-Chairman), University of North Carolina, USA
G. Plotkin, University of Edinburgh, UK,
M. Stickel, SRI-International, USA.
LOCAL COMMITTEE
B. Courcelle, R. Cori, M. Claverie
For information send mail on UUCP to: mcvax!inria!crin!lescanne
or on ARPAnet to: pierre@larch.
------------------------------
Date: Mon, 04 Aug 86 23:47:37 -0500
From: sriram@ATHENA.MIT.EDU
Subject: Conference - 1st Eurographics Intelligent CAD Systems
CALL FOR PAPERS
FIRST EUROGRAPHICS WORKSHOP ON
INTELLIGENT CAD SYSTEMS
APRIL 22-24, 1987
NOORDWIJKERHOUT, THE NETHERLANDS
ORGANIZED BY
CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE
AMSTERDAM, THE NETHERLANDS
SPONSORED BY
EUROGRAPHICS
AIM
Today, one of the main strengths in CAD research has become so-called
intellectualization of CAD systems, primarily, as an application of
knowledge engineering. This research may contain two aspects:
intellectualization of CAD systems by intelligence for helping
designers and intellectualization by problem solving ability. The
former approach may be achieved by developing intelligent user
interface concept, for instance, so that the designer can perform
his/her full ability, whereas the latter may be achieved by developing
systems, like expert systems, which can solve various engineering
problems.
However, it is obvious that either of these two approaches can alone
fulfill requirements to future CAD systems. It is necessary to
develop an integrated environment for intelligent CAD systems using
intelligent interactive techniques. Therefore, we pursue integration
of these two approaches in order to build intelligent CAD systems, and
we discuss issues such asL
- configuration of intelligent CAD systems,
- tools and techniques for developing those systems,
- methodology for developing.
We plan a series of three workshops beginning in 1987
- 1987: Theoretical and methodological aspects in developing
an intelligent CAD system.
- 1988: Architecture of an intelligent CAD system.
- 1989: Practical experiences and evaluation of an intelligent
CAD system.
SCOPE OF THE FIRST WORKSHOP IN 1987
1. Principle and configuration of intelligent CAD systems
2. Theory and methodology of development
3. Available tools for development, such as intelligent user
interace management systems and tools for problem solving
in design
4. Use and role of intelligent user interface systems in an
intelligent CAD environment
STYLE OF WORKSHOP
Approximately 10 invited papers and 10 refereed papers will be
presented. Participants will be limited roughly 50. In this workshop,
theoretical and methodological aspects are emphasized. The result of
this workshop will be published by Springer-Verlag.
SCHEDULE FOR THE WORKSHOP
December 1, 1986: Deadline for extended abstracts upto 1000 words
January 1987: Notification of acceptance
March 1987: Acceptance of participation
April 22-24, 1987: Workshop (Full papers are submitted on site)
July 1987: Deadline for final manuscripts for publication
ORGANIZATION
Co-charimen P. J. W. ten hagen (CWI, NL)
T. Tomiyama (CWI, NL)
Secretary P. J. Veerkamp (CWI, NL)
Program Committee
F. Arbab (USC, USA)
P. Bernus (Hungarian Academy of Sciences, H)
A. Bijl (University of Edinburgh, UK)
J. Encarnacao (TH Darmstadt, D)
S. J. Fenves (CMU, USA)
D. Gossard (MIT, USA)
F. Kimura (The University of Tokyo, J)
T. Kjelberg (Royal Institute of Technology, S)
M. Mac an Airchinnigh (University of Dublin, IR)
K. MacCallum (University of Strathclyde, UK)
F. J. Schramel (Philips, NL)
D. Sriram (MIT, USA)
T. Takala (Helsinki Technical University, SF)
F. Tolman (TNO, NL)
H. Yoshikawa (The Unviersity of Tokyo, J)
INFORMATION
Please submit an extended abstract up to 1,000 words to:
Ms. Marja Hegt
Centre for Mathematics and Computer Science
Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
Tel: (Overseas) +31-20-592-4058
Usenet: marja@mcvax.UUCP
------------------------------
End of AIList Digest
********************
