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.)
-------------------------------------------------------------------
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-