Subject: From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI>

From: [email-masked]
Date: Tue, 30 Jul 85 23:15:50 edt

Received: from sri-ai.arpa by csnet-relay.arpa id a012554; 30 Jul 85 0:19 EDT
Date: Mon 29 Jul 1985 20:37-PDT
Reply-to: AIList@SRI-AI
US-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA  94025
Phone: (415) 859-6467
Subject: AIList Digest   V3 #101
To: AIList@SRI-AI
Received: from rand-relay by vpi; Tue, 30 Jul 85 23:00 EST

AIList Digest            Tuesday, 30 Jul 1985     Volume 3 : Issue 101

Today's Topics:
  Conferences - Knowledge Engineering/Expert Systems &
    2nd ACM Northeast Regional Conference &
    3rd Conference on Logic Programming

----------------------------------------------------------------------

Date: Mon, 22 Jul 85 16:52:19 cdt
From: porter@anl-mcs (Porter)
Subject: Workshop on Knowledge Engineering/Expert Systems

Below is the tentative program for the Workshop on Knowledge
Engineering/Expert Systems, At Lake Arrowhead, California,
September 4-6, 1985.  For information regarding invitations
contact the General Chairman, Sig Porter (porter@anl-mcs
Merdan Group, Inc./PO Box 17098/San Diego, CA  92117).

                            Workshop on
                Knowledge Engineering/Expert Systems

                         Tentative Program
                          (July 22, 1985)

           Greg Kearsley, Courseware, Program Chairman

Wednesday, September 4, 1985, Afternoon

Knowledge Acquisition
   Carlton B. Solloway, JPL, Chair

   Knowledge Acquisition: Building the Oleophilic Advisor
   Gloria Reiss, Rockwell International Corp

   Automating Knowledge Acquisition:  Eliminating Your Job
   Jim Kornell, General Research Corp

   Knowledge Engineering and the New Arcana
   Lee Duke, Ames Dryden Flight Research Facility

   Autonomous Vehicle Planning System:  Development and Knowledge
        Acquisition
   David Tseng, Hughes Aircraft Co. AI Center

   Building a Weather Forecasting Expert System From Examples
   Charles Riese, Radian Corp

Thursday, September 5, 1985

Knowledge Representation/Tutoring
   Paul Harmon, Harmon Associates, Chair

   Achieving A General Intelligent Tutor Through a Flexible and
        Extendible Knowledge Representation
   Glen Silverstein, Lockheed Missiles and Space Corporation

   Building Knowledge Representation Structures Via Intelligent
        Authoring Systems
   Bret Wallach, Advanced Processing Laboratories

   Representation and Acquisition of Knowledge in Medical Expert
        Systems
   Klaus-Peter Adlassnig, University of Calif Berkeley

   Intelligent Simulations for Navy Training
   Jim Hollan, Institute for Cognitive Science, UCSD

Inference Strategies
   Penny Nii, Stanford, Chair

   Universal Weak Method
   John Laird, Xerox PARC

   High Level Control of Inferencing
   Peter Hirsch, IBM

   The Role of Frame Based Representation in Reasoning
   Richard Fikes, Intellicorp

   Using Logic as a basis of a Problem Solving Expert
   Richard Weyhrauch, Stanford University

Friday, September 6, 1985

Knowledge System Programming Environments
   Bruce Bullock, Teknowledge Federal Systems, Chair

   Overview of STROBE
   Read Smith, Schlumberger-Doll Research

   Perspective on KEE
   Mike Williams, Intellicorp

   Directions for Future Environments
   Mike Fehling, Teknowledge

------------------------------

Date: Fri, 26 Jul 85 18:05:33 edt
From: Alan Gunderson <[email-masked]>
Subject: Extended Deadline-2nd ACM Northeast Regional Conference

                                CALL FOR PAPERS

                           *** DEADLINE EXTENDED ***

                SECOND ANNUAL ACM NORTHEAST REGIONAL CONFERENCE

                     Integrating the Information Workplace:
                            the Key to Productivity

                               28-30 October 1985

                              Sheraton-Tara Hotel
                               Framingham, Mass.
                                      and
                              The Computer Museum
                                 Boston, Mass.

 The conference sessions  are grouped into tracks corresponding  to major areas
 of interest in the computer field.   Papers are solicited for the Conference's
 Artificial  Intelligence Track.    The Track's  program  will emphasize  "real
 world" approaches and applications of A. I.

                          Topics of interest include:
                          ___________________________

                             Natural Language
                             Man-Machine Interface
                             A. I. Tools and Environments
                             A. I. Hardware
                             Expert Systems

               Due to publication delays of the Call for Papers,
           the paper deadline has been extended to: September 1, 1985

                   Please send three copies of your paper to:

                         Dr. David S. Prerau
                         Track Chairman
                         Artificial Intelligence Track
                         ACM Northeast Regional Conference
                         GTE Laboratories Inc.
                         40 Sylvan Road
                         Waltham MA 02254

              For additional information on the Conference, write:

                         ACM Northeast Regional Conference
                         P.O. Box 499
                         Sharon MA 02067

------------------------------

Date: Mon, 29 Jul 85 19:05:39 -0200
From: Ehud Shapiro  <[email-masked]>
Subject: call for papers - Logic Programming

                      CALL FOR PAPERS

     Third International Conference on Logic Programming

    Imperial College of Science and Technology, London, UK

                     July 14-18, 1986

In cooperation with:

                Association for Computing Machinery
                British Computer Society
                IEEE Computer Society
                Japan Society for Software Science and Technology

The conference will consider all aspects of logic programming,
including, but not limited to:
        Theory and foundations
        Architectures and Implementations
        Methodology
        Programming Languages and Environments
        Applications
        Relations to other computation models, programming
        languages, and programming methodologies.

Of special interest are papers related to parallel processing,
papers discussing novel applications and applications that address the
unique character of logic programming, and papers
which constitute a contribution
to computer science at large.

Papers can be submitted under two categories, short --
up to 2000 words,  and long -- up to 6000 words.  Submissions will be
considered on the basis of appropriateness, clarity, originality,
significance, and overall quality.

Authors should send eight copies of their manuscript, plus an
extra copy of the abstract, to:
        Ehud Shapiro
        ICLP Program Chairman
        The Weizmann Institute of Science
        Rehovot 76100, Israel.

Deadline for submission of papers is December 1, 1985.
Authors will be notified of acceptance or rejection
by February 28, 1986.
Camera ready copies are due April 1st, 1986.

General Chairman
        Keith Clark
        Imperial College of Science and Technology
        180 Queen's Gate
        London SW7 2BZ, United Kingdom

Local Arrangements and Exhibition Chairman
        Richard Ennals
        Imperial College of Science and Technology
        180 Queen's Gate
        London SW7 2BZ, United Kingdom

Program Committee
        Martin van Caneghem, University of Marseille, France
        Veronica Dahl, Simon Fraser University, Canada
        Maarten van Emden, University of Waterloo, Canada
        Kazuhiro Fuchi, ICOT, Japan
        Koichi Furukawa, ICOT, Japan
        Ake Hanssen, Uppsala University, Sweden
        Kenneth M. Kahn,  Xerox PARC, USA
        Peter Koves, Logicware Inc., Canada
        Giorgio Levi, University of Pisa, Italy
        John Lloyd, University of Melbourne, Australia
        Frank G. McCabe, Imperial College, UK
        Jack Minker, Maryland University, USA
        Fernando Pereira, SRI International, USA
        Luis M. Pereira, University of Lisbon, Portugal
        Antonio Porto, University of Lisbon, Portugal
        Ehud Shapiro, Chairman, Weizmann Institute, Israel

------------------------------

End of AIList Digest
********************