Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 114
AIList Digest Monday, 11 May 1987 Volume 5 : Issue 114
Today's Topics:
Conference - Artificial Life Workshop &
IFIP Workshop on Intelligent CAD &
4th International Conference on Logic Programming
----------------------------------------------------------------------
Date: Fri, 8 May 87 15:24:26 MDT
From: cgl@LANL.GOV (C G Langton)
Subject: Conference - Artificial Life Workshop
About a year ago, I posted a query about work being done on the computer
simulation of life. From the replies to that query and from what I have
been able to dig up in the literature, it has become apparent that there
is an imminent explosion of research in the simulation and synthesis of
life, both in computers and in the laboratory. Therefore, I am organizing
the following workshop:
ARTIFICIAL LIFE
An Interdisciplinary Workshop
on the Synthesis and Simulation
of Living Systems
organized by
Chris Langton
Center for Nonlinear Studies
Los Alamos National Laboratory
Los Alamos, New Mexico 87545
September 21-25 1987
Artificial life is the study of artificial systems that exhibit
behavior characteristic of natural living systems. This includes
computer simulations, biological and chemical experiments, and purely
theoretical endeavors. Processes occurring on molecular, cellular, neural,
social, and evolutionary scales are subject to investigation. The ultimate
goal is to extract the logical form of living systems.
Microelectronic technology and genetic engineering will soon give us
the capability to create new life forms "in-silico" as well as in-vitro.
This capacity will present humanity with some of the most far-reaching
technical, theoretical, and ethical challenges it has ever confronted.
The time seems appropriate for a gathering of those involved in
attempts to simulate or synthesize aspects of living systems. This
workshop will provide a forum to address the fundamental problems
inherent in such an enterprise.
The goals of this first workshop on artificial life are:
To bring the field of artificial life into focus.
To present current work in artificial life, and to provide
an historical perspective.
To open a channel of communication between researchers from
disciplines whose work is relevant to artificial life.
To produce a list of fundamental questions that the field
should address.
To identify ways in which work on artificial life can
contribute to theoretical biology.
To organize the literature in the field by compiling an
annotated bibliography.
-------- (cut here and post above on appropriate bulletin boards) ----------
I have posted a more complete announcement to "news.announce.conferences",
which contains further information about the workshop and includes a
registration form to fill out and return. In the interest of brevity, I
have not included the full posting here. If you are interested in attending
or contributing to a workshop on computer - and other - models of life, its
constituent processes, or the processes that living systems support, please
see the more complete posting in "news.announce.conferences".
One of the primary activities at the workshop will be an "artificial 4H show"
with prizes for the most life-like models or simulations submitted. You need
not attend the workshop to submit an entry to the "4H-show". So, if you have
some simulation of a living system, an origin of life model, an evolving
population of "bugs", a model of social dynamics, a self-replicating Meccano
set, or something else you have been working on - whether as your primary
line of research or as a project that you've been doing on the side - dust
it off, polish it up, and send it (or a brief description) to the address
listed below. I am hoping for a workshop with a large number of hands-on
demonstrations and exhibits, combined with a few selected talks and panel
discussions, so that we can really exchange ideas on a personal level in a
computater-rich environment, allowing us to test new ideas or model parameters
on the spot. I want to avoid the typical format of bumper-to-bumper talks with
little time for discussion in between. I will provide a number of Sun
workstations running 4.2 BSD UNIX, Apple Macintoshes, IBM PC's, and a CAM-6
cellular automaton machine. If your system requires other equipment, let me
know the details and I will try to obtain it.
More information will be available as the workshop evolves.
----------------------------------------------------------------------------
Chris Langton email: cgl@lanl.gov
Center for Nonlinear Studies phone: 505-665-0049 (office)
Los Alamos National Laboratory 505-667-1444 (messages)
Los Alamos, New Mexico
87545
------------------------------
Date: Wed, 6 May 87 22:07:46 pdt
From: farhad%arbab3b2.uucp@usc-cse.usc.edu
Subject: Conference - IFIP Workshop on Intelligent CAD
CALL FOR PAPERS
IFIP W.G.5.2 Workshop on
Intelligent CAD
October 6-8, 1987
Massachusetts Institute of Technology
Cambridge, Massachusetts
U.S.A.
OBJECTIVES
----------
The purpose of this workshop is to provide a forum for discussion of
theories and methodologies of intelligent CAD, aiming at better
realization of practical systems. This workshop is the first in a series
of three, to be held in successive years in the U.S.A., Europe and Japan.
Future CAD systems capable of providing intelligent assistance in design
activities or of autonomous design activity will be of large practical
importance. Major theoretical and practical problems must be solved,
however, before such systems can be realized. Design is a complex human
activity, involving a variety of high-level cognitive tasks. There are
few unifying principles and little consensus as to the basic nature of the
design process, the types of knowledge or reasoning mechanisms involved
or basic approaches to generic systems.
At this first workshop in the series, the organizers wish to bring
together researchers in the fields of artificial intelligence and
computer-aided design with the goal of identifying and developing basic
theoretical foundations for future intelligent CAD systems. This workshop
will be a unique opportunity for the exchange of views and ideas.
The second workshop will focus on the specialization of intelligent CAD
systems, and in the third workshop, practical applications of intelligent
CAD systems based on new theories are expected to appear.
The organizers would like to encourage your participation in the first
workshop of this challenging and important series.
WORKSHOP TOPICS
---------------
- Design theory and methodology
- Cognitive models of the design process
- Artificial intelligence in the design process
- Design knowledge and representations
- Paradigms for intelligent CAD
CALL FOR PAPERS
---------------
Potential participants are invited to submit three copies of a 1000 word
abstract or a full paper before June 30, 1987. The abstracts or full
papers should be position papers indicating the viewpoints of the
prospective participant in the workshop. Contributors whose abstracts are
accepted are requested to send revised abstracts or full papers by
September 10, 1987. Notification of acceptance for participation will be
issued by July 31, 1987.
CONFERENCE FORMAT
-----------------
The number of participants will be limited to about 40. 2 or 3
presentations will be made by invited speakers. A number of subgroups
will be formed during the workshop to discuss specialized topics. Each
subgroup will consist of discussion by the participants, though some
papers may be presented as appropriate. The preliminary schedule is as
follows:
- October 6 -
Morning Presentation by 2 or 3 invited speakers
Afternoon Discussion about the format of the workshop and the formation
of subgroups
- October 7 -
All day Discussion and presentations in subgroups
- October 8 -
Morning Discussion and presentation in subgroups
Afternoon Summary and remarks by chairmen of subgroups, discussion of
future plans
LANGUAGE
--------
The official language of the workshop will be English.
CONFERENCE FEE
--------------
The registration fee for the workshop will be $200. The payment method
will be noticed with the notification of acceptance.
BOOK
----
The proceedings of the workshop will be published by North Holland. The
Organizing Committee will ask some of the participants to write papers for
this book.
TIMETABLE
---------
June 30 Deadline for abstracts or full papers
July 31 Notification of acceptance
Sept. 10 Deadline for revised abstracts or full papers
ORGANIZING COMMITTEE
--------------------
- Chairmen -
Yoshikawa, H. University of Tokyo, Japan
Gossard, D. Massachusetts Institute of Technology, U.S.A.
- Secretary -
Kimura, F. University of Tokyo, Japan
- Members -
Arbab, F. University of Southern California, U.S.A.
Bo, K. Productivity Support AS, Norwary
Chairman of W.G. 5.2 IFIP
Forbus, K.D. University of Illinois, U.S.A.
Fox, M. Carnegie Group, U.S.A.
Onosato, M. University of Tokyo, Japan
Popplestone, R. J. University of Massachusetts, U.S.A.
Suzuki, H. University of Tokyo, Japan
ADDRESS FOR CORRESPONDENCE
--------------------------
Professor Hiroyuki Yoshikawa,
Dept. of Precision Machinery Engineering,
Faculty of Engineering, University of Tokyo
7-3-1 Hongo, Bunkyo-ku Tokyo 113, Japan
Phone: (03) 812-2111, ext. 6446
Fax: (03) 812-8849
Telex: 272 2111 FEUT J
==========================================================================
IFIP W.G.5.2 Workshop on Intelligent CAD
October 6-8, 1987 Massachusetts U.S.A.
Please complete and return this separate form with your abstract or paper
before June 30, 1987.
Family Name:____________________________ First Name:_____________________
Company/Institute_________________________________________________________
Title/Position:___________________________________________________________
Mail Address:_____________________________________________________________
__________________________________________________________________________
Country:__________________________________
Business Phone:_____________________ ext. ( ) Telex:_________________
Title of your Paper (Abstract):___________________________________________
__________________________________________________________________________
------------------------------
Date: Tue, 05 May 87 10:38:39 +1000
From: munnari!mulga.oz!kgm@seismo.CSS.GOV
Subject: Conference - 4th International Conference on Logic
Programming
could you please post this to comp.ai.digest ...thanks
----------------------------------------------------------
4th International Conference on Logic Programming
University of Melbourne, Australia
25-29 May 1987
The 4th International Conference on Logic Programming is to
be held at the University of Melbourne. Melbourne is a city
in the south east of Australia. It is located beside a large
bay and has a population of around 3 million. During May
the weather is expected to be clear and sunny but bring an
umbrella(!).
Accommodation is available at the adjacent University Col-
leges, a nearby hotel and a hotel in the city itself.
Delegates staying at the University Colleges are requested
to check in at the registration desk at Trinity College
which will be staffed on the Sunday and Monday.
There is a Sky Bus coach service from Tullamarine (Mel-
bourne) Airport to central Melbourne about 25km away. It
departs on the hour and half hour and the cost is about $6
per person. When boarding the coach delegates should tell
the driver the name of the hotel they are staying at.
Delegates staying at the University Colleges should ask to
be dropped off at Trinity College.
Anybody still requiring a registration form or more informa-
tion concerning the conference should contact either
Ms Buzz McCarthy
Director
Bloomsbury Conference Services
319 Lennox Street
Richmond, 3121, Victoria, Australia
Telephone: (03) 428 1983
Telex: AA 36224
or
UUCP: iclp@munnari.uucp
ARPA: iclp%munnari.oz@seismo.css.gov
CSNET: iclp%munnari.oz@australia
JANET: iclp%munnari.oz@uk.ac.ukc
The preliminary conference programme follows.
Monday 25 May (Tutorials Only)
09:00 - 13:00: Tutorial A
Topic: Introduction to Logic Programming
Speakers: L. Naish, K. Ramamohanarao (University of Melbourne)
09:00 - 13:00: Tutorial B
Topic: Natural Language Processing
Speaker: V. Dahl (Simon Fraser University)
14:00 - 18:00: Tutorial C
Topic: Logic Programming for Expert Systems
Speaker: M. Sergot (Imperial College)
14:00 - 18:00: Tutorial D
Topic: Parallel Logic Programming Languages
Speaker: K. Ueda (ICOT)
14:00 - 18:00: Tutorial E
Topic: Advanced PROLOG Programming
Speaker: L. Sterling (Case Western Reserve University)
Tuesday 26 May
09:00 - 10:00: Keynote Address: J.A. Robinson (Syracuse
University), Chairperson: J-L. Lassez (IBM T.J. Watson
Research Center)
10:40 - 12:20: Session on Warren Abstract Machine, Chairper-
son: E. Lusk (Argonne National Lab)
* Advantages of Implementing PROLOG by Microprogramming a
Host General Purpose Computer, J. Gee, S.W. Melvin and Y.N.
Patt (Univ. of California, Berkeley)
* Efficient Implementation of a Defensible Semantics for
Dynamic PROLOG Code, T. Lindholm and R.A. O'Keefe (Quintus
Computer Systems)
* Freeze, Indexing and Other Implementation Issues in the
WAM, M. Carlsson (SICS)
* A Performance Comparison between PLM and an M68020 PROLOG
Processor, H. Mulder and E. Tick (Stanford University)
13:30 - 15:35: Session on Databases, Chairperson: R.W. Topor
(University of Melbourne)
* A Database-Complete Proof Procedure based on SLD-
Resolution, L. Vieille (ECRC)
* Implementation of Recursive Queries for a Data Language
based on Pure Horn Logic, D. Sacca (CRAI) and C. Zaniolo
(MCC)
* Stratification and Knowledge Based Management, C. Lassez,
K. McAloon (IBM T.J. Watson Research Center) and G.S. Port
(University of Melbourne)
* Set Grouping and Layering in Horn Clause Programs, O.
Shmueli and S. Naqvi (MCC)
* Concurrent Database Updates in PROLOG, L. Naish, J.A.
Thom and K. Ramamohanarao (University of Melbourne)
16:05 - 17:20: Session on Constraints, Chairperson: R. Nasr
(MCC)
* Methodology and Implementation of a CLP System, J. Jaffar
(IBM T.J. Watson Research Center) and S. Michaylov (Monash
University)
* Answer Sets and Negation-as-Failure, K. Kunen (University
of Wisconsin)
* Forward Checking in Logic Programming, P. van Hentenryck
and M. Dincbas (ECRC)
17:20 - 18:05: Invited Talk: K.L. Clark and S. Gregory
(Imperial College), PARLOG and PROLOG United, Chairperson:
H. Tamaki (Ibaraki University)
Wednesday 27 May
09:00 - 09:45: Invited Talk: F. Pereira (SRI International),
Grammars and Logics of Partial Information, Chairperson:
R.A. O'Keefe (Quintus Computer Systems)
10:15 - 12:20: Session on Parallelism - Part I, Chairperson:
S. Morishita (IBM Tokyo Research Lab)
* A Distributed Implementation of Flat GHC on the Multi-
PSI, N. Ichiyoshi, T. Miyazaki and K. Taki (ICOT)
* Multiple Reference Management in Flat GHC, T. Chikayama
and Y. Kimura (ICOT)
* PARLOG and ALICE: a Marriage of Convenience, M. Lam and
S. Gregory (Imperial College)
* An OR-parallel Execution Algorithm for PROLOG and its FCP
Implementation, E. Shapiro (Weizmann Institute)
* KL1 Execution Model for PIM Cluster with Shared Memory,
M. Sato, H. Shimizu, A. Matsumoto, K. Rokusawa and A. Goto
(ICOT)
13:30 - 15:35: Session on Implementation Issues, Chairper-
son: M. Carlsson (SICS)
* Making Exhaustive Search Programs Deterministic, Part II,
K. Ueda (ICOT)
* Stream-based Compilation of Ground I/O PROLOG into
Committed-choice Languages, H. Tamaki (Ibaraki University)
* Meta-level Programming: a Compiled Approach, H. Bacha
(Syracuse University)
* Hash Tables in Logic Programming, J. Barklund and H.
Millroth (Uppsala University)
* Evaluating Logic Programs via Set-valued Functions, C.
Cecchi, D. Sartini and L. Aiello (Universita di Roma)
Thursday 28 May
09:00 - 09:45: Invited Talk: M. Sato (Tohoku University),
Quty: A Concurrent Language based on Logic and Functions,
Chairperson: K. Kunen (University of Wisconsin)
10:15 - 12:20: Session on Language Issues, Chairperson: C.
Palamidessi (Universita di Pisa)
* Near-Horn PROLOG, D.W. Loveland (Duke University)
* A Theoretical Combination of SLD-resolution and Nar-
rowing, A. Yamamoto (Kyushu University)
* Inductive and Deductive Control of Logic Programs, A.R.
Helm (University of Melbourne)
* An Efficient Logic Programming Language and its Applica-
tion to Music, K. Ebcioglu (IBM T.J. Watson Research Center)
* Symbolical Construction of Truth Valued Domain for Logic
Programs, S. Morishita, M. Numao and S. Hirose (IBM Tokyo
Research Lab)
13:30 - 15:35: Session on Parallelism - Part II, Chairper-
son: N. Ichiyoshi (ICOT)
* Relating Goal-scheduling, Precedence and Memory
Management in AND-parallel execution of Logic Programs, M.V.
Hermenegildo (MCC)
* Experiments with OR-parallel Logic Programs, T. Disz, E.
Lusk and R. Overbeek (Argonne National Lab)
* A Performance-oriented Design for OR-parallel Logic Pro-
gramming, P. Tinker and G. Lindstrom (University of Utah)
* Parallel Evaluation of Logic Programs: the REDUCE-OR Pro-
cess Model, L.V. Kale (University of Illinois, Urbana-
Champaign)
* Implementing Backward Execution in Non-deterministic
AND-parallel Systems, J.S. Conery (University of Oregon)
16:05 - 17:20: Session on Applications, Chairperson: P. Cox
(Tech. Univ. of Nova Scotia)
* PYTHON: An Expert Squeezer, L. Sterling and Y. Nygate
(Case Western Reserve University)
* CLP(R) and Some Electrical Engineering Problems, N.C.
Heintze, S. Michaylov and P.J. Stuckey (Monash University)
* Logical Secrets, M.S. Miller, D. Bobrow, E.D. Tribble and
J. Levy (XEROX PARC)
17:20 - 18:05: Invited Talk: H. Gallaire (ECRC), Boosting
Logic Programming, Chairperson: F. Kluzniak (Warsaw Univer-
sity)
Friday 29 May
09:00 - 09:45: Invited Talk: K. Ramamohanarao and J.A.
Shepherd (University of Melbourne), Answering Queries in
Deductive Database Systems, Chairperson: C. Zaniolo (MCC)
10:15 - 12:20: Session on Program Analysis, Chairperson:
M.J. Maher (IBM T.J. Watson Research Center)
* Finite Fixed-point Theorems, R.A. O'Keefe (Quintus Compu-
ter Systems)
* Construction of Logic Programs based on Generalised
Fold/Unfold Rules, T. Kanamori and K. Horiuchi (Mitsubishi
Research Lab)
* A System of Precise Modes for Logic Programs, Z. Somogyi
(University of Melbourne)
* Type Synthesis for Ground PROLOG, F. Kluzniak (Warsaw
University)
* Derivation of Polymorphic Types for PROLOG Programs, J.
Zobel (University of Melbourne)
13:30 - 15:35: Session on Concurrent Languages, Chairperson:
S. Gregory (Imperial College)
* Channels: a Generalization of Streams, E.D. Tribble, M.S.
Miller, K. Kahn, D.G. Bobrow, C. Abbott (XEROX PARC) and E.
Shapiro (Weizmann Institute)
* Logic Semantics for a Class of Committed-choice Programs,
M.J. Maher (IBM T.J. Watson Research Center)
* An Approach to the Declarative Semantics of Synchroniza-
tion in Logic Languages, G. Levi and C. Palamidessi (Univer-
sita di Pisa)
* An Object-oriented Programming Language based on the
Parallel Logic Programming Language KL1, M. Ohki, A. Takeu-
chi and K. Furukawa (ICOT)
* Logic Operating Systems: Design Issues, I.T. Foster
(Imperial College)
16:05 - 16:55: SICS Presentation, S. Sundstrom
16:55 - 18:05: Panel Discussion: What are the Novel Applica-
tions of Logic Programming?, Chairperson: F. Mizoguchi
(Science University of Tokyo)
------------------------------
End of AIList Digest
********************
