CDB'04 - call for papers

From: Floris Geerts <geerts_at_cs.Helsinki.FI>
Date: Tue, 30 Sep 2003 18:27:18 +0300
Message-ID: <Pine.LNX.4.44.0309301826510.6514-100000_at_bogrund-6.cs.helsinki.fi>



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.ac.be Peter Revesz, University of Nebraska, revesz_at_cse.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) Received on Tue Sep 30 2003 - 17:27:18 CEST

Original text of this message