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

From: Floris Geerts <geerts_at_cs.Helsinki.FI>
Date: Mon, 5 Apr 2004 22:25:38 +0300
Message-ID: <Pine.LNX.4.44.0404052225070.13535-100000_at_melkki.cs.helsinki.fi>

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 twodimensional 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

Received on Mon Apr 05 2004 - 21:25:38 CEST