CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases 
Author Message
 CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

========================================================================
FIRST call for papers    FIRST call for papers    FIRST call for papers
========================================================================
                           DYNAMICS 98

                   Post-Conference Workshop on

           Transactions and Change in Logic Databases

    Joint International Conference and Symposium on Logic Programming

                          Manchester, UK

                        June 20, 1998
========================================================================
        see also: http://www.*-*-*.com/ ~freitag/dynamics_98/
========================================================================

The declarative specification of transactions and change is becoming
increasingly important in a wide range of applications, including
workflow systems, active databases, distributed information systems,
cooperative systems, agent-based systems, to name just a few.

Although research on dynamic behaviour (i.e., the evolution of
databases or even entire information systems with time) is far from
complete, a number of interesting and solid approaches have begun to
emerge.  However, there is no general picture of the problem space,
there are no widely accepted solutions to the central problems, and it
is unclear how the various approaches relate to each other.

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.  In addition, many current
applications require an active, event-based approach as well as the
invocation of external, non-database actions.  The problems to be
solved therefore span all of logic programming and databases, from
theory to implementation.

This workshop is intended to bring together key researchers in the
field and to stimulate discussion on the foundations of transactions
and change in logic databases.  DYNAMICS'98 is the third in a sequence
of successful workshops on the subject, beginning with the Dagstuhl
seminar on "Logic Databases and the Meaning of Change" in 1996, and
followed by the ILPS'97 workshop DYNAMICS'97 on "(Trans)Actions and
Change in Logic Programming and Deductive Databases".  A collection of
selected papers of the two earlier workshops will soon be published in
the Springer LNCS series.

A list of issues to be addressed at the DYNAMICS'98 workshop includes
but is not limited to:

  -  {*filter*}
  -  active logic databases
  -  business processes
  -  concurrency
  -  consistency and integrity
  -  cooperation/communication/interaction between actions
  -  distributed (trans)actions
  -  distributed agents
  -  dynamic constraints
  -  dynamics of information systems
  -  dynamics of logic and database systems
  -  hypothetical query answering
  -  implementation issues
  -  logical transactions and updates
  -  parallel actions
  -  reactive systems
  -  reasoning about update programs
  -  reasoning about workflows
  -  responsiveness and cooperativity
  -  semantics and proof theory
  -  specification and refinement of actions
  -  transaction specification
  -  updating incomplete information
  -  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
below if access to electronic media is not available.  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 April 17, 1998.  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 is a
uuencoded, gzipped postscript file, which should be e-mailed to the
following address:


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 May 16, 1998.  To be
included in the workshop proceedings, accepted papers must be
formatted using{*filter*}and sent as both a source-file (together with
all included Postscript files) and a self-contained uuencoded, gzipped
Postscript file no later than May 29, 1998.  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 proceedings will be
available at the workshop.

In addition, we plan to publish a collection of selected papers in a special
issue of a journal or with a major publisher.

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



   (*) Workshop Coordinator

Program committee:
------------------



   additional referees TBA

Important dates:
----------------
   Indication of interest:    as soon as possible
   Submission of papers:           April 17, 1998  
   Notification of authors:          May 16, 1998
   Camera-ready version:             May 29, 1998
   Conference:                   June 15-20, 1998
   Workshop:                        June 20, 1998

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


DYNAMICS'98 Web Site:
---------------------
    http://www.*-*-*.com/ ~freitag/dynamics_98/

========================================================================



Mon, 14 Aug 2000 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Final CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

2. 2nd CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

3. Final CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

4. CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

5. 2nd CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

6. CfP: DYNAMICS'97 - (Trans)Actions and Change in Logic Programming and Deductive Databases

7. CfP: DYNAMICS'97 - (Trans)Actions and Change in Logic Programming and Deductive Databases

8. CFP: ILPS'95 Workshop on Constraints, Databases and Logic Programming

9. Final CFP ILPS'95 Workshop: Constraints, Databases, Logic Programming

10. Final CfP: ESSLLI'98 WS on Probabilistic Logic and Randomised Computation

11. 2nd CfP: ESSLLI'98 WS on Probabilistic Logic and Randomised Computation

12. CfP: ESSLLI'98 WS on Probabilistic Logic and Randomised Computation

 

 
Powered by phpBB® Forum Software