CDB'04

First CALL FOR PAPERS

1st INTERNATIONAL SYMPOSIUM ON APPLICATIONS OF
CONSTRAINT DATABASES

in conjunction with SIGMOD-PODS 2004

Paris, France, 12-13 June 2004

http://www.luc.ac.be/cdb04


SCOPE

The last few years saw a growing interest of constraint
database theory, query evaluation, and applications in a
variety of conferences, journals, and books. This symposium
wants to bring together people from several diverse areas
that can contribute to the practice and the application of
constraint databases. It is a continuation and extension of
previous workshops held in Friedrichshafen, Germany (1995),
Cambridge, USA (1996), Delphi, Greece (1997), and Seattle,
USA (1998) as well as of the work in the comprehensive volume
"Constraint Databases" edited by G. Kuper, L. Libkin and J.
Paredaens (2000) and the textbook "Introduction to
Constraint Databases" by P. Revesz (2002).


TOPICS OF INTEREST

We especially encourage submissions
- opening new and future directions in constraint database
research;
- addressing constraints over domains other than the reals;
- contributing to a better implementation of constraint
database systems, in particular of query evaluation;
- addressing efficient quantifier elimination; and
- describing applications of constraint databases.

The following is a non-exclusive list of topics of interest.

applications:
bioinformatics
CAD and GIS
computer security
data mining
model checking
string databases

data and knowledge representation:
approximation techniques
constraint data extraction
constraint interpolation
incomplete information
spatiotemporal models
visualization

query evaluation:
algebras
indexing
quantifier elimination

query languages:
complexity
expressive power
new operators


INVITED SPEAKERS

Joos Heintz, Universities of Buenos Aires and of Cantabria
Leonid Libkin, University of Toronto
Andreas Podelski, Max-Planck-Institut für Informatik

PROCEEDINGS

The proceedings will be published as part of the Lecture Notes
in Computer Science (LNCS) series by Springer-Verlag. Authors
are expected to sign a copyright release form to Springer-Verlag.

SUBMISSION INSTRUCTIONS

The submission procedure will be electronic: Potential presenters
should submit e-mail copies of a paper in English and maximum 15
pages in either PostScript or PDF form to one of the program
co-chairs. Selection of papers will be mainly based on relevance,
clarity, and significance. The presented results should be original,
not published somewhere else and not under submission elsewhere.
Please follow the Springer LNCS guidelines for formatting.

IMPORTANT DATES

Abstract submission: January 23, 2004
Submission deadline: February 2, 2004
Notification of acceptance: March 15, 2004
Camera ready copy deadline: March 26, 2004
Symposium dates: June 12-13, 2004

PROGRAM CO-CHAIRS

Bart Kuijpers, University of Limburg (LUC), bart.kuijpers (AT) luc (DOT) ac.be
Peter Revesz, University of Nebraska, revesz (AT) cse (DOT) unl.edu

PROGRAM COMMITTEE

Saugata Basu (Georgia Tech)
Alex Brodsky (George Mason University)
Jan Chomicki (SUNY, Buffalo)
Berthe Choueiry (University of Nebraska)
Giorgio Delzanno (University of Genova)
Floris Geerts (University of Helsinki)
Marc Giusti (CNRS, Polytechnique)
Dina Goldin (University of Connecticut)
Stephane Grumbach (INRIA, Paris)
Joxan Jaffar (National University of Singapore)
Manolis Koubarakis (Technical University of Crete)
Stephan Kreutzer (Humboldt-Universität Berlin)
Bart Kuijpers (University of Limburg, LUC)
Gabriel Kuper (University of Trento)
Zoe Lacroix (Arizona State Univiveristy)
Lixin Li (Georgia Southern University)
Jan Paredaens (University of Antwerp)
Peter Revesz (University of Nebraska)
Philippe Rigaux (Universite Paris Sud)
Kai-Uwe Sattler (Technische Universität Ilmenau)
Jianwen Su (University of California, Santa Barbara)
David Toman (University of Waterloo)
Jan Van den Bussche (University of Limburg, LUC)
Dirk Van Gucht (Indiana University)
Nicolai Vorobjov (University of Bath)
Mark Wallace (Imperial College, London)

PROCEEDINGS AND PUBLICITY CHAIR

Floris Geerts (University of Helsinki)