From - Wed Feb 19 15:12:55 1997 Path: Radon.Stanford.EDU!news.Stanford.EDU!su-news-hub1.bbnplanet.com!cam-news-hub1.bbnplanet.com!news.bbnplanet.com!news.maxwell.syr.edu!newsfeeds.sol.net!nntp.uio.no!news.kth.se!news.ifm.liu.se!liuida!usenet From: Ulf Nilsson Newsgroups: comp.databases.theory,comp.object.logic,comp.theory,comp.object Subject: CFP: Intl Logic Programming Symposium 97 Date: Wed, 19 Feb 1997 09:54:52 +0100 Organization: Dept. of Computer and Information Science, Linkoping University Lines: 128 Distribution: inet Message-ID: <330ABFDC.345D@ida.liu.se> NNTP-Posting-Host: mir17.ida.liu.se Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mailer: Mozilla 3.0 (X11; I; SunOS 5.4 sun4m) Xref: Radon.Stanford.EDU comp.databases.theory:8860 comp.object.logic:1084 comp.theory:11213 comp.object:51672 ------------------------------------------------------------------- Call for Papers - ILPS'97 International Logic Programming Symposium 97 Port Jefferson, N.Y., October 12-17, 1997 http://www.ida.liu.se/~ilps97/ ------------------------------------------------------------------- The International Logic Programming Symposium ILPS'97 will be held October 12-17, 1997 at Port Jefferson, N.Y., close to New York City. Sponsored by the Association of Logic Programming in cooperation with the University at Stony Brook, it is fourteenth in the series of symposia on logic programming initiated in the US in 1984. The aim of ILPS'97 is to discuss new theoretical and practical accomplishments in logic programming, together with new research directions where the ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Original papers on all aspects of logic programming are solicited. The topics of interest include, but are not limited to: * Theoretical foundations * Language design and implementation * Integration of LP with other paradigms * Programming methodology * Programming environments * Constraints * Deductive databases * Inductive LP * Concurrency and parallelism * Reasoning about programs * Program analysis and transformation * Non-monotonic reasoning * LP and Internet * LP and natural language The technical programme will include invited talks in addition to the presentation of the accepted papers and tutorials. There will also be a number of associated workshops (see the ILPS'97 home page) offering possibilities of focused discussions on special topics of interest. The conference proceedings will be published by the MIT Press and workshop proceedings will be available electronically. Papers must describe work not previously published. They must not be submitted concurrently to an archival journal or to another conference. Accepted papers must be presented at the conference. Papers must not exceed 5000 words (15 pages of the MIT Press proceedings format). Authors are invited to send manuscripts by electronic mail as uuencoded gzipped Postscript or dvi files. (See the ILPS'97 home page for instructions.) In addition a separate e-mail message should be sent containing the paper title and abstract, authors, keywords, postal address, e-mail address and fax number. (A form is available at the ILPS'97 home page.) The e-mail address for submissions is: ilps97@ida.liu.se. If e-mail is not available five (5) copies of the paper should be sent to: Jan Maluszynski Linkoeping University Department of Computer and Information Science S-581 83 Linkoeping, Sweden All submissions (electronic and hardcopy) should be received before April 4 1997 at 5:00 PM GMT. Note that this deadline will be strictly enforced. Important dates: Deadline for submissions: April 4, 1997 at 5:00 PM GMT Notification of acceptance/rejection: June 16, 1997 Deadline for final text: August 1, 1997 Conference chairs: I.V. Ramakrishnan (SUNY, Stony Brook) Terrance Swift (SUNY, Stony Brook) PC chair: Jan Maluszynski (Linkoeping Univ.) Programme Committee: Frank de Boer (Univ. Utrecht) Annalisa Bossi (Univ. di Venezia) Maurice Bruynooghe (KU Leuven) Michael Codish (Ben Gurion Univ.) Saumya Debray (Univ. of Arizona, Tucson) Pierre Deransart (INRIA, Rocquencourt) Maria Garcia de la Banda (Monash Univ.) Gopal Gupta (New Mexico State Univ.) Michael Hanus (RWTH Aachen) Seif Haridi (SICS, Stockholm) Jonathan Lever (IC-Parc, London) Giorgio Levi (Univ. di Pisa) Jan Maluszynski (Linkoeping Univ.) Stephen Muggleton (Oxford Univ.) Ulf Nilsson (Linkoeping Univ.) Andreas Podelski (Max-Planck-Institut f. Informatik) I.V. Ramakrishnan (SUNY, Stony Brook) Uday Reddy (Univ. of Illinois, Urbana) Olivier Ridoux (IRISA, Rennes) Vijay Saraswat (AT&T Research) Robert Staerk (Univ. of Fribourg) Leon Sterling (Univ. of Melbourne) Terrance Swift (SUNY, Stony Brook) Paul Tarau (Univ. de Moncton) Kazunori Ueda (Waseda Univ.) Pascal Van Hentenryck (Brown Univ.) David S. Warren (SUNY, Stony Brook) Carlo Zaniolo (UCLA) Workshop coordinators: Frederic Benhamou (Univ. Orleans) Annalisa Bossi (Univ. di Venezia) Burkhard Freitag (Univ. Passau) Michael Leuschel (KU Leuven) German Puebla (UP Madrid) Teodor Przymusinski (UC Riverside) Poster chair: C.R. Ramakrishnan (SUNY, Stony Brook.) Publicity chairs: Juliana Freire (SUNY, Stony Brook) Ulf Nilsson (Linkoeping Univ.) -------------------------------------------------------------------