udi@wisdom.weizmann.ac.il (Udi Shapiro) (08/03/89)
CALL FOR PAPERS Seventh International Conference on Logic Programming Jerusalem, Israel, 18-22 June 1990 The Association for Logic Programming is sponsoring the Seventh International Conference on Logic Programming, to be held in Jerusalem at the Hyatt-Regency Hotel. Previous conferences were held in Marseille, Uppsala, London, Melbourne, Seattle, and Lisbon. Papers are invited on any aspect of logic programming, including: Applications Deductive Databases Implementation Languages Machines Parallel Execution Programming Methodology and Tools Relations with Artificial Intelligence Theory and Foundations Papers must be written and presented in English, must contain a 200-250 word abstract, must not exceed 4,000 words (12-14 double-spaced pages), and must not be simultaneously submitted for publication elsewhere. Submit five copies of manuscripts to the Programme Chairmen. Papers must be received by 1 December 1989. Acceptance will be notified by 1 March 1990. Camera-ready copy will be due by 1 April 1990. The Proceedings will be published by MIT Press. Programme Chairmen Conference Chairman David H.D. Warren and Peter Szeredi Ehud Shapiro Department of Computer Science Department of Applied Mathematics University of Bristol and Computer Science Bristol BS8 1TR The Weizmann Institute of Science United Kingdom Rehovot 76100, Israel warren@compsci.bristol.ac.uk udi@wisdom.weizmann.ac.il Programme Committee Maurice Bruynooghe, Belgium Takashi Chikayama, Japan Seif Haridi, Sweden Manuel Hermenegildo, USA Chris Hogger, UK Feliks Kluzniak, Poland Jean-Louis Lassez, USA John Lloyd, UK Ewing Lusk, USA Maurizio Martelli, Italy Chris Mellish, UK Shamim Naqvi, USA Vijay Saraswat, USA Kazunori Ueda, Japan Jeff Ullman, USA David S. Warren, USA Preconference workshops will be held in Eilat at the Neptune Hotel on June 14-15, and will be announced separately. Local arrangements and exhibits by ORTRA, Israel. Telex 361142, FAX +3-660952, Telephone +3-664825. -- Someday has arrived