(DBWORLD) Call for Papers: DYNAMICS'97

Burkhard Freitag (freitag@fmi.uni-passau.de)
Thu, 10 Apr 1997 10:56:55 -0500 (CDT)

OUR APOLOGIES IF YOU RECEIVE THIS MESSAGE MORE THAN ONCE!

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

This call for papers is also available at

http://www.uni-passau.de/~freitag/dynamics_97/

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

========================================================================
DYNAMICS 97

Post-Conference Workshop on

(Trans)Actions and Change in Logic Programming and Deductive Databases

International Logic Programming Symposium

Port Jefferson, New York, USA

October 16-17, 1997
========================================================================

The static semantics of logic programming languages and the evaluation
of queries is well understood. However, there is no consensus about
the appropriate treatment of dynamic behaviour, i.e., the evolution of
databases or even entire programs with time. Thus, in spite of
substantial progress in the theory and implementation of logic
programming and deductive databases, they are likely to be ruled out
as platforms for information systems unless viable and widely accepted
solutions are found to the question of dynamics. In addition, the
need is not only for complex rule bases, but also for standard
database functionality, such as concurrent access, transaction
isolation and atomicity, large amounts of data, data distribution,
recovery from system failures, etc. Thus, the problems to be solved
span all of logic programming and databases, from theory to
implementation. Fortunately, a number of solid approaches to dynamic
behavior are beginning to emerge. This workshop is intended to bring
together researchers in the field and to stimulate discussion on the
foundations of (trans)actions and change in logic programming and
deductive databases.

A (by no means complete) list of issues to be addressed includes:

- abduction
- active logic databases
- concurrency
- consistency and integrity
- cooperation/communication/interaction between actions
- distributed (trans)actions
- dynamic agents
- dynamic constraints
- dynamics of logic and database systems
- frame problem
- hypothetical query answering
- implementation issues
- logical transactions and updates
- planning
- reactive systems
- reasoning about update programs
- reasoning about workflows
- semantics and proof theory
- transaction specification
- updating incomplete information
- update vs revision
- workflow specification

Contributions:
--------------

Authors are invited to submit papers written in English and not
exceeding 15 pages (11pt or above) or 5000 words. To speed up the
process of refereeing authors are requested to submit by electronic
mail. Conventional paper copies may be sent to the contact address
given below if an access to the appropriate electronic devices is not
available. In any case, submissions should contain full return mail
and email addresses (if applicable), phone number and FAX number (if
applicable) of the contact author. Prospective authors are kindly
asked to first send an indication of interest together with a paper
title to the organizers. Deadline for submissions is June 27, 1997.
Authors submitting by electronic mail will receive an acknowledgement
(also by electronic mail) within 2-3 days.

Electronic submission:

The only format accepted for this (preferred) form of submission are
self-contained uuencoded, gzipped Postscript files, to be e-mailed to
the following address:

dynamics_97@fmi.uni-passau.de

It is the responsibility of the authors to ensure that submissions can
be printed by standard printing software and will reach the organizing
committee by the deadline.

Accepted papers:

Each submitted paper will be reviewed by at least two referees.
Authors will be notified of acceptance by August 18, 1997. To be
included in the workshop proceedings, accepted papers must be
formatted using LaTeX and sent as both a source-file (together with
all included Postscript files) and a self-contained uuencoded, gzipped
Postscript file no later than September 19, 1997. Again, exceptions to
this procedure will be made only if electronic devices are not
available.

Electronic versions of the accepted papers will be stored
electronically (exclusively for the purpose of this workshop) and will
be made available on the WWW. Source files will be deleted after the
proceedings have been compiled.

The informal workshop proceedings will be available at the
workshop. It is intended to publish a proceedings volume in the
Springer LNCS series. Workshop participants will be invited to
submit full papers which will undergo a separate review process.
Contributors planning to submit a paper for the proceedings
volume may want to format their articles using the Springer LNCS
style which is available by anonymous FTP from

ftp://ftp.springer.de/pub/tex/latex/llncs/

Organizing committee:
---------------------

Anthony Bonner, Univ. Toronto, Canada bonner@db.toronto.edu
Burkhard Freitag (*), Univ. Passau, Germany freitag@fmi.uni-passau.de
Laura Giordano, Univ. Torino, Italy laura@di.unito.it
Robert Kowalski, Imperial College, UK rak@doc.ic.ac.uk

(*) Workshop Coordinator

Program Committee:
------------------

Anthony Bonner, Univ. Toronto, Canada bonner@db.toronto.edu
Hendrik Decker, Siemens AG, Germany hendrik@zfe.siemens.de
Burkhard Freitag, Univ. Passau, Germany freitag@fmi.uni-passau.de
Michael Gelfond, Univ. Texas at El Paso, USA mgelfond@cs.utep.edu
Laura Giordano, Univ. Torino, Italy laura@di.unito.it
Antonis Kakas, Univ. Cyprus antonis@turing.cs.ucy.ac.cy
Michael Kifer, SUNY at Stonybrook, USA kifer@cs.sunysb.edu
Georg Lausen, Univ. Freiburg, Germany lausen@informatik.uni-freiburg.de
Rainer Manthey, Univ. Bonn, Germany manthey@uran.informatik.uni-bonn.de
Ron van der Meyden, Univ. of Techn., Sydney ron@socs.uts.edu.au
Peter Revesz, Univ. Nebraska, USA revesz@tamana.unl.edu
Ernesto Teniente, Univ. Barcelona, Spain teniente@lsi.upc.es
Carlo Zaniolo, UCLA, USA zaniolo@cs.ucla.edu

Important dates:
----------------

Indication of interest: as soon as possible
Submission of papers: June 27, 1997
Notification to authors: August 18, 1997
Camera-ready version: September 19, 1997
Conference: October 12-17, 1997
Workshop: TBA, most likely October 16 or 17.

Contact address:
----------------

Burkhard Freitag
Dept. of Mathematics and Computer Science
University of Passau
D-94030 Passau, Germany

Phone: +49 (851) 509 3130
FAX: +49 (851) 509 3002

email: freitag@fmi.uni-passau.de

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