lusk%antares@antares.mcs.anl.GOV (01/20/89)
Call for Papers
North American Conference on Logic Programming
Cleveland, Ohio, October 16-19, 1989
The Symposium on Logic Programming has been renamed the
North American Conference on Logic Programming. Beginning
this year, it will be sponsored by the Association for Logic
Programming. We are soliciting papers in the following gen-
eral areas of research:
Applications of Logic Programming
Logic Programming and Databases
Theory of Logic and Functional Programming
Parallel Execution of Logic Programs
Implementation of Logic Programming Systems
Inference Machines
General Chairman: Leon Sterling
Program Chairmen: Ewing L. Lusk and Ross A. Overbeek
Howard Blair Ken Kunen
M. Bruynooghe Catherine Lassez
Saumya Debray M. Martelli
Doug DeGroot C. Mellish
Al Despain Richard O'Keefe
Ian Foster R. Ramakrishnan
Susan Gerhart Vijay Saraswat
Joxan Jaffar Peter Szeredi
Ken Kahn Akikazu Takeuchi
L. V. Kale Hidehiko Tanaka
Paris Kanellakis R. Topor
Robert Kowalski David S. Warren
Vipin Kumar
Authors should send five copies of their manuscripts to:
Ewing L. Lusk
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, Illinois 60439
U. S. A.
Papers are restricted to 20 double-spaced pages, including
figures. Papers must be received by March 31, 1989.
Authors will be notified of acceptance by June 10, 1989.
Camera-ready copy will be due at MIT Press by July 15.
Authors should include electronic mail addresses if possible.
This conference is sponsored by the Association for Logic
Programming.