--------------------------------------------------------------
 
                First Call for Papers - ILPS'97

           International Logic Programming Symposium

            Port Jefferson, NY, October 12-17, 1997

              URL: http://www.ida.liu.se/~ilps97/

 --------------------------------------------------------------

 The International Logic Programming Symposium ILPS'97 will be
 held October 12-17, 1997 at Port Jefferson, NY. 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. A number of associated workshops will also be
 organized. The conference proceedings will be published by
 the MIT Press.

 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 files. (Instructions will be available in the
 conference home page.) 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. 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)

 Poster chair:
      C.R. Ramakrishnan (SUNY, Stony Brook.)

 Publicity chairs:
      Juliana Freire (SUNY, Stony Brook)
      Ulf Nilsson (Linkoeping Univ.)

 --------------------------------------------------------------