Tue 10/12

08:30 - Registration and Opening Remarks
09:00 - Invited Talk (Apt)
10:00 - Break
10:15 - Technical Session 1 (4 papers)

Operational Equivalence of CHR Programs And Constraints
by Slim Abdennadher and Thom Fruehwirth 

Excluding Symmetries in Constraint Based Search
by Rolf Backofen and Sebastian Will 

Applying Constraint Programming to Protein Structure Determination
by Ludwig Krippahl and Pedro Barahona 

On Forward Checking for Non-binary Constraint Satisfaction
by Christian Bessiere, Pedro Meseguer, Eugene C. Freuder and Javier Larrosa 

12:00 - Lunch
13:30 - Technical Session 2 (4 papers)

Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP
by Marcus Bjareland and Peter Jonsson 

Closure Functions and Width 1 Problems
by Victor Dalmau and Justin Pearson 

Cost-based Domain Filtering
by Filippo Focacci, Andrea Lodi and Michela Milano 

A Meta-Heuristic Factory for Vehicle Routing Problems
by Yves Caseau, François Laburthe, Glenn Silverstein 

15:15 - Break
15:30 - PANEL (FUNDING)
16:30 - Break
16:45 - Technical Session 3 (3 papers)

Resource allocation in networks using constraint satisfaction
by Christian Frei and Boi Faltings 

Optimal Distributed Arc-Consistency
by Youssef Hamadi 

Multistep Filtering Operators for Ordinary Differential Equations
by Micha Janssen, Yves Deville, and Pascal Van Hentenryck 

18:00 - End of Day 1
19:00 - WELCOME RECEPTION

Wed 10/13

09:00 - Invited Talk (Bessiere)
10:00 - Break
10:15 - Technical Session 4 (4 papers)

The Goldilocks Problem
by Tudor Hulubei and Eugene C. Freuder 

Towards a complete classification of tractability in point algebras for 
nonlinear time
by Mathias Broxvall and Peter Jonsson 

Improving a Heuristic Repair Method for Large School Timetabling Problems
by Kazuya Kaneko, Masazumi Yoshikawa, and Yoichiro Nakakuki 

A Framework for Constraint Programming Based Column Generation
by Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo Vaaben, Torsten Fahle 
and Meinolf Sellmann 

12:00 - Lunch
13:30 - SOCIAL PROGRAM 
Sightseeing and Smithsonian Museums, Washington D.C.
Boat Trip on Potomac
Conference Banquet
23:59 - End of Day 2

Thu 10/14

09:00 - Invited Talk (Wah)
10:00 - Break
10:15 - Technical Session 5 (4 papers)

Partition-Based Lower Bound for Max-CSP
by Javier Larrosa and Pedro Meseguer

Steps Towards CLP(Diagram) 
by Bernd Meyer

Automatic generation of constraint propagation algorithms for small
finite domains
by Krzysztof R. Apt and Eric Monfroy

Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search
by Nicolas Prcovic and Bertrand Neveu

12:00 - CONFERENCE LUNCHEON
13:30 - SPECIAL ANNOUNCEMENT: CSPLib - A CSP Library, by Toby Walsh
13:45 - POSTER SESSION / INDUSTRIAL DEMO SESSION
17:00 - End of Day 3

Fri 10/15

09:00 - Invited Tutorial (Backofen and Gilbert)
10:30 - Break
10:45 - Technical Session 6 (3 papers)

Automatic Generation of Music Programs
by Francois Pachet and Pierre ROY 

Search Procedures and Parallelism in Constraint Programming
by Laurent Perron 

Enforcing arc consistency by solving subCSPs on the fly
by Christian Bessiere and Jean-Charles Regin 

12:00 - Lunch
13:30 - Technical Session 7 (4 papers)

Arc Consistency for Global Cardinality Constraints with costs
by Jean-Charles Regin 

The Brelaz Heuristic and Optimal Static Orderings
by Barbara M Smith 

A Fixpoint Definition of Dynamic Constraint Satisfaction
by Timo Soininen, Esther Gelle and Ilkka Niemelä 

On the Behavior and Application of Constraint Weighting
by John thornton and Abdul Sattar 

15:15 - Break
15:30 - Technical Session 8 (4 papers)

Simulated Annealing with Asymptotic Convergence for 
Nonlinear Constrained Global Optimization
by Benjamin W. Wah and Tao Wang 

Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation
by Takayuki Suyama, Makoto Yokoo, and Akira Nagoya 

Tight Cooperation for Combinatorial Optimization: An Application to 
Piecewise Linear Optimization
by Philippe Refalo 

An Overview of HAL
by Bart Demoen, Maria Garcia de la Banda, Warwick Harvey, 
Kim Marriott and Peter Stuckey 

17:15 - End of Day 4 (End of Main Conference)

Sat 10/16

Workshops