CFP: DD&LP at JICSLP'96 (Workshop Deductive Databases and Logic Programming)

Ulrich Geske geske@prosun.first.gmd.de
Tue, 30 Apr 96 17:20:20 +0200


-----------------------------------------------------------------------------
This is the text version. LaTeX version follows at the end of the document
----------------------------------------------------------------------------

     
                            Call For Papers 

                            4th Workshop on 
            Deductive Databases and Logic Programming

                     in conjunction with the 
  Joint International Conference and Symposium on Logic Programming
                             JICSLP'96 


               Bonn, Germany, September 2 - 6, 1996  


World-Wide-Web 
    http://www.first.gmd.de/~geske/dd_lp_96.html 
    http://www-info1.informatik.uni-wuerzburg.de/staff/seipel/dd_lp_96.html

   

Following the previous meetings in Budapest (1993), Santa Margherita
Ligure (1994) and Kanagawa (1995), the 4th ICLP-workshop on 
Deductive Databases and Logic Programming will be held in Bonn, Germany.

The meeting will be run as a post-conference workshop of the 
1996 Joint International Conference and Symposium on Logic Programming, 
which will be held on September 2-6, 1996.

The integration of techniques from deductive databases and logic programming
leads to intelligent information systems. Techniques from deductive databases
must be used for achieving efficient retrieval and reasoning in large knowledge
bases. Logic programming provides a powerful declarative language for accessing 
and maintaining knowledge in databases. 
Recent results in logic programming, program transformation and optimization,
and non-monotonic reasoning are useful for extending the expressive power and
the computational efficiency of deductive database systems.

The one-day workshop is intended to attract researchers working in the related
areas of deductive databases and logic programming.  
The presentations are planned to be half an hour. A fundamental goal is to give
opportunities for active discussions on new research directions and the 
exchange of latest results. Suggested topics include, but are not limited to:
 
Topics
    disjunctive databases, incomplete information
    data mining
    program transformations 
    execution and debugging  models
    query languages and optimization
    constraint reasoning
    object-orientation
    active databases, updates, temporal databases
    non-monotonic semantics


Submissions
The primary focus is on new and original research.  But we also encourage the
submission of papers describing products, prototypes in development or
benchmarks.

Full papers or extended abstracts in English of 6 to 10 pages are welcome on 
any aspects of deductive databases and new concepts of logic programming
supporting it, until June 21, 1996.
Authors are invited to send their papers to one of the organizers. Submission 
in LaTeX or plain TeX format by e-mail is encouraged. Notification of 
acceptance will be no later than July 10, 1996. The final, camera-ready versions
of the accepted papers must be received by August 2, 1996 to be included into
the workshop proceedings.


Important Dates 
      Submission deadline                 June 21, 1996   
      Notification of acceptance          July 10, 1996 
      Camera ready version               August 2, 1996


Organizing Committee 
   Fosca Giannotti  CNUCE-CNR Pisa, Italy 
   Dmitri Boulanger  CNUCE-CNR Pisa, Italy
 
Program Committee 
   Paulo Azevedo  Univ. Minho, Portugal 
   Dmitri Boulanger  CNUCE-CNR, Pisa, Italy 
   Francois Bry  Univ. Munich, Germany 
   Burkhard Freitag  Univ. Passau, Germany 
   Ulrich Geske  GMD Berlin, Germany 
   Fosca Giannotti  CNUCE-CNR Pisa, Italy 
   Georg Gottlob  TU Vienna, Austria 
   Jorge Lobo  Univ. Illinois, Chicago, USA 
   Jack Minker  Univ. Maryland, USA 
   Dino Pedreschi  Univ. Pisa, Italy 
   Chiaki Sakama  ASTEM Kyoto, Japan 
   Dietmar Seipel  Univ. Wuerzburg, Germany 
   Carlo Zaniolo  UCLA Los Angeles, USA


Papers 
   Fosca Giannotti,
   CNUCE-CNR
   via S. Maria 36,
   56126 Pisa (Italy) 
   Email: dd_lp_96@orione.cnuce.cnr.it


Contact and Publicity 
   Ulrich Geske, GMD-FIRST,  
   E-mail: geske@first.gmd.de 

   Dietmar Seipel, Univ. Wuerzburg, 
   E-mail: seipel@informatik.uni-wuerzburg.de 


%%%%%% 4th Workshop on Deductive Databases and Logic Programming %%%%%%%%% 
\documentstyle[]{article}

\addtolength{\topmargin}{-12mm}
\addtolength{\textwidth}{57mm}
\addtolength{\textheight}{70mm}
\addtolength{\oddsidemargin}{-30mm}
\addtolength{\evensidemargin}{-30mm}
\parindent0pt

\newcommand{\fns}{\footnotesize}
% \newcommand{\hf}{\hfill}
\newcommand{\hf}{\ }
\newcommand{\name}[1]{\makebox[24mm][l]{#1}}

\begin{document}
\pagestyle{empty}

\begin{center}
{\Large     Call For Papers } \vspace{5mm}

{\large     4th Workshop on } \vspace{2mm} \\
{\LARGE\bf  Deductive Databases and Logic Programming } \vspace{5mm}

{\large\it  in conjunction with the } \vspace{2mm} \\
{\large\it  Joint International Conference and Symposium 
            on Logic Programming -- JICSLP'96 }
\vspace{5mm}

{\large     Bonn, Germany, September 2 -- 6, 1996 } 
\end{center}
\vspace{8mm}

\begin{minipage}[t]{6.6cm}
\small

{\normalsize\bf Organizing Committee} \vspace{2mm} \\
   \name{Fosca Giannotti} \hf {\fns\it CNUCE-CNR Pisa, Italy} \\
   \name{Dmitri Boulanger} \hf {\fns\it CNUCE-CNR Pisa, Italy}
\vspace{4mm}
 
{\normalsize\bf Program Committee} \vspace{2mm} \\
   \name{Paulo Azevedo} \hf {\fns\it Univ.\ Minho, Portugal} \\
   \name{Dmitri Boulanger} \hf {\fns\it CNUCE-CNR, Pisa, Italy} \\
   \name{Fran\c{co}is Bry} \hf {\fns\it Univ.\ Munich, Germany} \\
   \name{Burkhard Freitag} \hf {\fns\it Univ.\ Passau, Germany} \\
   \name{Ulrich Geske} \hf {\fns\it GMD Berlin, Germany} \\
   \name{Fosca Giannotti} \hf {\fns\it CNUCE-CNR Pisa, Italy} \\
   \name{Georg Gottlob} \hf {\fns\it TU Vienna, Austria} \\
   \name{Jorge Lobo} \hf {\fns\it Univ.\ Illinois, Chicago, USA} \\
   \name{Jack Minker} \hf {\fns\it Univ.\ Maryland, USA} \\
   \name{Dino Pedreschi} \hf {\fns\it Univ.\ Pisa, Italy} \\
   \name{Chiaki Sakama} \hf {\fns\it ASTEM Kyoto, Japan} \\
   \name{Dietmar Seipel} \hf {\fns\it Univ.\ W\"urzburg, Germany} \\
   \name{Carlo Zaniolo} \hf {\fns\it UCLA Los Angeles, USA}
\vspace*{4mm}

{\normalsize\bf Important Dates} \vspace*{1.5mm}

 {\fns
%   \begin{center}
      \normalsize
      {\small Submission deadline}\hspace*{0.72cm}   {\bf June 21, 1996} \\  
      {\small Notification of acceptance}\          {\bf July 10, 1996} \\
      {\small Camera ready version}\hspace*{0.28cm} {\bf August 2, 1996}
%   \end{center}
 }
\vspace*{3mm}

{\normalsize\bf Papers} \vspace*{1.5mm}

 {\fns 
  Fosca Giannotti,
  CNUCE-CNR\\
  via S. Maria 36,
  56126 Pisa (Italy)\vspace*{1mm} \\ 
  {\it Email}: dd\_lp\_96@orione.cnuce.cnr.it
 }
\vspace*{3mm}

{\normalsize\bf Contact and Publicity} \vspace*{1.5mm}

   {\fns
      Ulrich Geske, GMD--FIRST, \\ 
      E-mail: {\it geske@first.gmd.de} \vspace*{1mm} \\
      Dietmar Seipel, Univ.\ W{\"u}rzburg, \\
      E-mail: {\it seipel@informatik.uni-wuerzburg.de} \\
   }
\vspace*{3mm}

{\normalsize\bf World--Wide--Web} \vspace*{1.5mm}

   {\fns
      For further information see the WWW-pages: \\
      {\it http://www.first.gmd.de/$\sim$geske/dd\_lp\_96.html} \\
      {\it http://www-info1.informatik.uni-wuerzburg.de/staff/seipel/dd\_lp\_96.html}
   }
\end{minipage} \hfill 
% \rule[-17.3cm]{0.1mm}{17.55cm} 
\begin{minipage}[t]{10.9cm}
\small

Following the previous meetings in Budapest (1993), Santa Margherita
Ligure (1994) and Kanagawa (1995), the 4th ICLP-workshop on 
{\em Deductive Databases and Logic Programming} will be held in 
Bonn, Germany.

The meeting will be run as a post--conference workshop of the 
1996 Joint International Conference and Symposium on Logic Programming, 
which will be held on September 2--6, 1996.
\vspace{5mm}

The integration of techniques from deductive databases and logic 
programming leads to intelligent information systems.
Techniques from deductive databases must be used for achieving efficient
retrieval and reasoning in large knowledge bases.
Logic programming provides a powerful declarative language for accessing 
and maintaining knowledge in databases. 
Recent results in logic programming, program transformation and optimization,
and non-monotonic reasoning
are useful for extending the expressive power and the computational
efficiency of deductive database systems.
% Query and program optimization techniques play an important role in
% program evaluation. 
\vspace{5mm}

The one--day workshop is intended to attract researchers working in the 
related areas of deductive databases and logic programming.  
The presentations are planned to be half an hour.
A fundamental goal is to give opportunities for active discussions on 
new research directions and the exchange of latest results.
Suggested topics include, but are not limited to: 
\vspace{5mm}

\hspace*{-2ex}
\begin{minipage}[t]{5.10cm}
{\small
\begin{itemize}
\parsep0ex
\leftmargin0ex
\item    disjunctive databases, \\ incomplete information
\item    data mining
\item    program transformations 
\item    execution and debugging \\ models
\end{itemize}
 }
\end{minipage}\hfill
\begin{minipage}[t]{5.95cm}
{\small
\begin{itemize}
\parsep0ex
\leftmargin0ex
\item    query languages and optimization
\item    constraint reasoning
\item    object--orientation
\item    active databases, updates, \\ temporal databases
\item    non--monotonic semantics
\end{itemize}
}
\end{minipage}
\vspace{6.5mm}

{\large\bf Submissions}
\vspace{2.5mm}

The primary focus is on new and original research.  But we 
also encourage the submission of papers describing products,
prototypes in development or benchmarks.

Full papers or extended abstracts in English of 6 to 10 pages are 
welcome on any aspects of deductive databases and new concepts of
logic programming supporting it, until June 21, 1996.
Authors are invited to send their papers to one of the organizers.
Submission in \LaTeX\ or plain \TeX\ format by e-mail is encouraged.
Notification of acceptance will be no later than July 10, 1996.
The final, camera--ready versions of the accepted papers must be received 
by August 2, 1996 to be included into the workshop proceedings.

\end{minipage}

\end{document}