🚀 go-pugleaf

From: francois@ecrc.de (Francois Bry)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Wed, 5 Dec 90 08:18:31 +0100
Subject: <mod-ki 0602> Call: DDA 91
Keywords: Workshop

mod-ki message 0602            COPYRIGHT 1990 Hans-Werner Hein, Dortmund
************************************************************************
DDA 91 -- Call For Papers
 
International Workshop on Deductive Database Applications
Munich, Germany, September 9-11, 1991

After a decade of theoretical and applied research,  deductive  database
systems have  matured  into  a  practicable  technology.  This  emerging
technology extends the declarative knowledge  representation  facilities
of relational systems by allowing the storage and  querying  of  general
specifications in the form of rules  and  integrity  constraints.  Thus,
data and knowledge base applications  can  now  be  described  not  only
extensionally but  also  intensionally.  Different  kinds  of  deductive
database system prototypes have been developed and are  currently  being
tested on various applications.

The aim of the workshop is to bring together  researchers  experimenting
with deductive database systems, or analyzing the  potential  impact  of
this new technology on traditional as well as novel application areas.

The workshop will  be  a  forum  for  comparing  and  exchanging  ideas,
problems, and solutions. In order to ensure a  working  atmosphere,  the
attendance will be limited to about 25  participants.  All  participants
will be expected to contribute to the workshop by presenting an article.

Contributions reporting on practical experiments as  well  as  analysing
potential applications are  solicited.  Application  areas  of  interest
include (but are not limited to):
 
     * CAD, CAM
     * Software development and maintenance
     * Graphic, cartographic and geographic data
     * Statistical and scientific data
     * Legislation, case law and legal reasoning
     * Chemistry, medicine and genetics
     * Music, text, multimedia documents
     * Automated translation and linguistics
     * Application areas of traditional database systems
       (business, banking, insurance, on-line reservation, etc.)

Deductive concepts of interest include (but are not limited to):
 
     * Production and deduction rules
     * Integrity constraints
     * Declarative specifications of evaluation and updating strategies

------------------------------------------------------------------------
                          Program Committee

       Francois Bry (Germany)                  Eric Simon (France)
       Ramamohanarao Kotagiri (Australia)      Shalom Tsur (US)
       Fumio Mizuguchi (Japan)                 David Wahl (US)

                          Workshop Chairmen
           Francois Bry                  Shalom Tsur
           ECRC, Arabellastr. 17,        MCC, 3500 West Balcones Drive
           8000 Munich 81, Germany       Austin, TX 78759, USA
           email: bry@ecrc.de            email: tsur@mcc.com
           fax:   (089) 92 69 91 70      fax:   (512) 338 36 00

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

Authors are invited to submit 6 copies of a full paper so  as  to  reach
one of the workshop chairmen by March 15 1991. Papers must be written in
English. They must not exceed 5000 words in length,  excluding  abstract
and references (This corresponds to about 10 pages in 10 point spacing).
In  addition  an  abstract  of  about  200 words  must  be  given.   The
affiliation of the  authors  should  include  the  full  address  and  a
telephone or telefax number.

Contributions to the Workshop will be  selected  on  the  basis  of  the
quality of the  insight  achieved  rather  than  on  properties  of  the
applications described.  Authors  will  be  notified  of  acceptance  or
rejection by June 15, 1991. The final versions of  the  accepted  papers
will be required by  July 15, 1991. Proceedings of the workshop will  be
published by a major publisher.

------------------------------------------------------------------------
                          Important Dates

      March       15 1991:  Deadline for receipt of papers
      June        30 1991:  Notification of acceptance
      September 9-11 1991:  Venue of the workshop in Munich, Germany
 
------------------------------------------------------------------------
************************************************************************