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.