(DBWORLD) Call for Abstracts: Workshop on Tabling in Logic Programming

Juliana Freire (juliana@CS.SunySB.EDU)
Sun, 23 Feb 1997 16:48:14 -0600 (CST)

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

CALL FOR ABSTRACTS

First International Workshop on

Tabling in Logic Programming

(An ICLP'97 Post-conference Workshop)

Leuven, Belgium, July 11/12, 1997.

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

Tabling in logic programming is becoming a promising research area. It has
proven to be a powerful paradigm with diverse applications, including
non-monotonic reasoning, deductive databases and program analysis. During
the past few years a significant body of both theoretical and practical
knowledge has been accumulated, so much so that we now have a better
understanding of tabling and its capabilities.

This workshop will serve as a forum for disseminating research and
experience in this rapidly advancing area. This workshop aims to bring
together researchers and developers to discuss not only the results
achieved, but also ongoing research and future directions.

Topics of interest include (but are not limited to) the following:

* Foundations and principles
* Systems: implementations and experiences
* Applications
* Programming techniques
* Constraints
* Abstract interpretation
* Parallel and distributed computing
* Non-monotonic reasoning
* Deductive databases
* DDB constraints

Workshop Format:

The workshop is organized under the auspices of the Interational
Conference on Logic Programming, at Leuven, Belgium. The conference
runs from July 8th through 12th. The workshop will be scheduled on a
half-day session following ICLP'97, on July 11th or 12th. The program
will consist of short, informal presentations of works-in-progress and
position papers on tabling and applications, and a panel discussion on
``Programming with Tables''.

Submissions:

Short abstracts (in English, less than 5 pages) describing works in
progress or position papers are welcome on any of the above topics or
related issues. Authors are invited to send their abstracts by e-mail
(in ASCII or uuencoded, compressed PostScript) to iwtlp@cs.sunysb.edu
by April 18, 1997. Notification of acceptance will be sent by May 8,
1997. Final versions of the accepted papers must be received by June
9, 1997 for inclusion in the workshop proceedings.

Organizers:

Juliana Freire (Stony Brook)
C.R. Ramakrishnan (Stony Brook)

Program Committee:

Roland Bol (Uppsala)
Weidong Chen (SMU)
Michael Codish (Ben Gurion)
Lars Degerstedt (SoftLab)
Bart Demoen (Leuven)
Juliana Freire (Stony Brook)
Burkhard Freitag (Passau)
Bharat Jayaraman (Buffalo)
Rui Marques (Lisbon)
Ulf Nilsson (Linkoeping)
Luis Pereira (Lisbon)
C.R. Ramakrishnan (Stony Brook)
Konstantinos Sagonas (Leuven)
Divesh Srivastava (AT&T)
David Toman (Toronto)
David Warren (Stony Brook)

Important dates:

Submission: April 18, 1997
Notification: May 8, 1997
Final version: June 9, 1997

Contact Information:
http://www.cs.sunysb.edu/~iwtlp
Email: iwtlp@cs.sunysb.edu
Phone: +1 516 632 8218
Fax: +1 516 632 8334

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

-------------------------------------------------------------------------------
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-