PROLOG-REQUEST@SUSHI.STANFORD.EDU (Chuck Restivo, The Moderator) (07/15/87)
PROLOG Digest Thursday, 16 Jul 1987 Volume 5 : Issue 45
Today's Topics:
Announcement - Workshop & PODS Call For Papers,
LP Library - Declarative Languages Bibliography
----------------------------------------------------------------------
Date: Mon, 6 Jul 87 14:43:14 PDT
From: Ken Kahn <Kahn.pa@Xerox.COM>
Reply-to: Kahn.pa@Xerox.COM
Subject: Workshop
We are pleased to announce that Xerox PARC with support from AAAI will
host a workshop on concurrent logic programming, meta-programming, and
open systems programming on September 8 and 9 (the first business days
after the Fourth IEEE Symposium on Logic Programming in San
Francisco). Participation is by invitation only. The purpose of the
workshop is to promote informal scientific interchanges between
members of various laboratories doing research centered around
concurrent logic programming languages such Guarded Horn Clauses and
KL1 at ICOT, Parlog at Imperial College, FCP at Weizmann Institute of
Science, and Vulcan at Xerox PARC. Other topics of interest include
meta-programming to support programming abstractions and issues
related to programming large open distributed systems. The format of
the workshop will consist of informal presentations and discussions of
work in progress. Presentations given at the Fourth SLP are not to be
repeated. There will be several panel discussions on topics such as
the different proposals for dataflow synchronization in these
languages, the role of meta-programming in supporting abstractions,
and why it is that there are several indepenent implementation efforts
for different dialects of concurrent logic programming languages (or
are they committed choice programming langauges or open systems
programming languages?).
Live demonstrations of software is encouraged. Available computers
include Xerox computers running Xerox Common Lisp, Vaxes under Unix
4.2BSD, Sun 3's, IBM PC's, and Macintoshes (SE and II).
We will not be covering participants' transportation or living
expenses. Lunches will be provided. We are expecting between 20 and
40 participants. If you are interested in coming, or know someone who
might be, please send a letter or electronic message indicating what
you would like to talk about or demo to:
Kenneth Kahn
Xerox PARC
3333 Coyote Hill Road
Palo Alto, CA 94304
------------------------------
Date: Mon, 13 Jul 87 11:36:19 PDT
From: Jeff Ullman <ullman@navajo.stanford.edu>
Subject: PODS call
CALL FOR PAPERS
Seventh ACM SIGACT-SIGMOD-SIGART Symposium on
PRINCIPLES OF DATABASE SYSTEMS
Austin, Texas, March 21-23, 1988
The conference will cover new developments in both the theoretical and
practical aspects of database and knowledge-base systems. Papers are
solicited which describe original and novel research about the theory,
design, specification, or implementation of database and
knowledge-base systems.
Some suggested, although not exclusive, topics of interest are:
architecture, concurrency control, database and expert systems,
database machines, data models, data structures for physical
implementation, deductive databases, dependency theory, distributed
systems, incomplete information, user interfaces, performance
evaluation, physical and logical design, query languages, query
processing, recursive rules, spatial and temporal data, statistical
databases, and transaction management.
You are invited to submit ten copies of a detailed abstract (not a complete
paper) to the program chairman:
Mihalis Yannakakis
Room 2C-319
AT&T Bell Laboratories
600 Mountain Avenue
Murray Hill, NJ 07974
Submissions will be evaluated on the basis of significance,
originality, and overall quality. Each abstract should 1) contain
enough information to enable the program committee to identify the
main contributions of the work; 2) explain the importance of the work
- its novelty and its practical or theoretical relevance to database
and knowledge-base systems; and 3) include comparisons with and
references to relevant literature. Abstracts should be no longer than
ten double-spaced pages. Deviations from these guidelines may affect
the program committee's evaluation of the paper.
Program Committee
Serge Abiteboul Alberto Mendelzon
Krzysztof Apt Dale Skeen
Philip Bernstein Victor Vianu
Paris Kanellakis Mihalis Yannakakis
David Maier
The deadline for submission of abstracts is October 9, 1987. Authors
will be notified of acceptance or rejection by December 8, 1987. The
accepted papers, typed on special forms, will be due at the above
address by January 8, 1988. All authors of accepted papers will be
expected to sign copyright release forms. Proceedings will be
distributed at the conference, and will be subsequently available for
purchase through ACM.
General Chairman: Local Arrangements:
Avi Silberschatz Chris Edmondson-Yurkanan
Dept. of Computer Sciences Dept. of Computer Sciences
Univ. of Texas at Austin Univ. of Texas at Austin
Austin, Texas 78712 Austin, Texas 78712
------------------------------
Date: 14 Jul 87 14:44:47 GMT
From: Lauren L. Smith <lls@mimsy.umd.edu>
Subject: Declarative Languages Biblio available via FTP
Andy Cheese's bibliography is finally available via FTP. It is now
available via anonymous FTP to mimsy.umd.edu. The biblio is in the
directory biblio (~ftp/biblio or /oldusr/ftp/biblio). There are 3
files that you should get: func_biblio.README, func_biblio.part1,
If you cannot ftp to mimsy, let me know, and I will make other
arrangements with you.
-- Lauren Smith
[ these files are also available from sushi.stanford.edu:ps:<prolog>
-ed ]
------------------------------
End of PROLOG Digest
********************