CDB'04: Call for Participation (detailed program included)

CALL FOR PARTICIPATION

1st INTERNATIONAL SYMPOSIUM ON APPLICATIONS OF
CONSTRAINT DATABASES (CDB'04)

in conjunction with SIGMOD-PODS 2004

Paris, France, 12-13 June 2004

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

*The site is open for registration*

-------------------------------------------------------------
INVITED TALKS

* Constraints and Queries over Strings and Trees.
Leonid Libkin (U Toronto)

* Constraint Databases, Data Structures and Efficient Query
Evaluation.
Joos Heintz (U Buenos Aires)

* Constraint-Based Model Checking of ECA Rules.
Andreas Podelski (Max Planck Institute)

-------------------------------------------------------------
DETAILED PROGRAM


SATURDAY, JUNE 12, 2004 (15h00-18h30)

Invited talk 1:

* Constraints and Queries over Strings and Trees.
Leonid Libkin (U Toronto)

Session 1: Query optimization

* Semantic Optimization of Preference Queries.
Jan Chomicki

* Improving Join Computation Using Constraint Processing Techniques.
Anagh Lal, Berthe Y. Choueiry

Session 2: The future of constraint databases

* Integrating constraint and relational database systems.
Mengchu Cai

* Taking Constraints out of Constraint Databases.
Dina Q. Goldin

SUNDAY, JUNE 13, 2004 (10h00-19h00)

Invited talk 2:

* Constraint Databases, Data Structures and Efficient Query Evaluation.
Joos Heintz

Session 3: Spatial and spatio-temporal data

* A New Shape Function Based Spatiotemporal Interpolation Method.
Lixin Li, Youming Li, Reinhard Piltner

* Moving objects and their equations of motion.
Floris Geerts

* A triangle-based logic for affine-invariant querying of two-
dimensional spatial data.
Sofie Haesevoets

Invited talk 3:

* Constraint-Based Model Checking of ECA Rules.
Andreas Podelski

Session 4: Applications

* Applying Constraint Databases in the Determination of Potential Minimal
Conflicts to Polynomial Model-based Diagnosis.
M. T Gómez, R. Ceballos, R. M. Gasca, C. Del Valle

* Constraint Database Solutions to the Genome Map Assembly Problem.
Viswanathan Ramanathan, Peter Revesz

* Dynamic FP-Tree Based Mining of Frequent Patterns Satisfying Succinct
Constraints.
Carson Kai-Sang Leung

Panel session

---------------------------------------------------------------
ADDITIONAL INFORMATION

You will find additional information on the Web site of the symposium.

In particular, you can get access to:
* info related to the organization of CDB'04
* Venue information
* registration