taylor@hplabsc.UUCP (Dave Taylor) (11/10/86)
This article is from seismo!enea!sicsten!seif@hplabs.HP.COM
and was received on Sat Nov 8 14:32:27 1986
'87 SLP
Call for Papers
Fourth Symposium on Logic Programming
Sponsored by the IEEE Computer Society
August 31 - September 4, 1987
San Fransisco, CA
The Conference solicits papers in all areas of logic programming,
including, but not confined to:
Parallel and Concurrent Logic Programming Languages
Implementations on Multiprocessors
Computer Architectures for Logic Programming
Logic Databases
Logic Programming and Other Programming Paradigms
Logical Extensions of Logic Programming Languages
Performance Evaluation
Expert Systems Based on Logic Programming
Semantics, Program Transformations, and Theory
Applications of Logic Programming
Please submit full papers, indicating accomplishments of substance
and novelty, and including appropriate citations of related work.
The suggested page limit is 25 double-spaced pages. Send eight
copies of your manuscript no later than February 21, 1987 to:
Seif Haridi
SLP'87 Program Chairperson
Swedish Institute of Computer Science
Box 1263
S-163 13 Spanga
SWEDEN
Electronic Mail: enea!sics!seif@mcvax.uucp
Acceptance will be mailed by April 15, 1987. Camera-ready copy
will be due by June 7, 1987.
Conference Chairperson: David Scott Warren, Quintus Computer Systems Inc
Program Committee Members
Ken Bowen, Syracuse University
Andrzej Ciepielewski, SICS
Al Despain, U.C. Berkeley
Harvey Gallaire, ECRC, Munich
Steve Gregory, Imperial College
Lynette Hirschman, SDC
Peter Kogge, IBM, Owego
William Kornfeld, Quintus Computer Systems Inc
Jean-Louis Lassez, IBM Yorktown
George Luger, University of New Mexico
Roger Nasr, MCC/DEC
Ross Overbeek, Argonne National Lab.
Kotagiri Ramamohanarao, Melbourne University
Leon Sterling, Case Western Reserve Univ.
Mark Stickel, SRI International
Sten-Ake Tarnlund, Uppsala University
Shunichi Uchida, ICOT
David Scott Warren, Quintus Computer Systems Inc