keller@UTAH-CS.ARPA (Bob Keller) (01/07/86)
'86 SLP
Call for Papers
Third Symposium on Logic Programming
Sponsored by the IEEE Computer Society
September 21-25, 1986
Westin Hotel Utah
Salt Lake City, UT
The conference solicits papers on all areas of logic programming, including,
but not confined to:
Applications of logic programming
Computer architectures for logic programming
Databases and logic programming
Logic programming and other language forms
New language features
Logic programming systems and implementation
Parallel logic programming models
Performance
Theory
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
15 March 1986 to:
Robert M. Keller
SLP '86 Program Chairperson
Department of Computer Science
University of Utah
Salt Lake City, UT 84112
Acceptances will be mailed by 30 April 1986. Camera-ready copy will be due by
30 June 1986.
Conference Chairperson Exhibits Chairperson
Gary Lindstrom, University of Utah Ross Overbeek, Argonne National Lab.
Tutorials Chairperson Local Arrangements Chairperson
George Luger, University of New Mexico Thomas C. Henderson, University of Utah
Program Committee
Francois Bancilhon, MCC William Kornfeld, Quintus Systems
John Conery, University of Oregon Gary Lindstrom, University of Utah
Al Despain, U.C. Berkeley George Luger, University of New Mexico
Herve Gallaire, ECRC, Munich Rikio Onai, ICOT/NTT, Tokyo
Seif Haridi, SICS, Sweden Ross Overbeek, Argonne National Lab.
Lynette Hirschman, SDC, Paoli Mark Stickel, SRI International
Peter Kogge, IBM, Owego Sten Ake Tarnlund, Uppsala University