14.00-17.30 Free invitation to participate
to the industrial session of the French Days of Constraint Programming JFPC'07 and club IliaTech 14.00-15.00 Exposé invité Thierry Benoist, Bouygues e-lab, La programmation par contraintes sur les chantiers de construction. 15.00-16.00 Table ronde et discussion avec
|
9.00-9.30 Welcome |
|
9.30-10.30 Invited talk
Gilles Pesant, Ecole Polytechnique de Montreal, Canada
Constraints: getting more out of them than filtered domains 10.30-11.30 Graph constraints Yves Deville, Gregoire Dooms and Stéphane Zampelli. CP(Graph+Map) for Approximate Graph Matching Daniel Goossens. Spontaneous Simplifications in Graphs of Partitions |
|
11.30-13.00 Lunch |
|
13.00-14.30
Consistency Roman
Barták. Generating Implied Boolean Constraints
via Singleton Consistency Marco Correia and Pedro Barahona.
On the Integration of Singleton Consistency and Look-Ahead
Heuristics Pavel Surynek. Projection Global Consistency: An Application in AI Planning |
|
14.30-15.00 Pause |
|
15.00-16.30
Search Toby Walsh Breaking Symmetry of Interchangeable Variables and Values Boutheina Jlifi and Khaled Ghedira. Maintaining Arc Consistency within an intelligent backtracking based informed algorithm Samba Ndojh Ndiaye and Cyril Terrioux. A generic bounded backtracking framework for solving CSPs |
|
17.30 Guided
tour in Versailles 20.00 Social Diner in Versailles at Restaurant le chapeau gris |
9.00-10.00 Invited Talk
Jean-Charles Régin, ILOG, France
|
|
10.00-11.30 Rules Marc Meister
and Thom
Fruehwirth. Reconstructing almost-linear Tree
Equation Solving Algorithms in CHR Rémy Haemmerlé, François
Fages and Sylvain Soliman.
Closures and Modules within Linear Logic Concurrent
Constraint Programming Marc Meister. Concurrency of the Preflow-Push Algorithm in Constraint Handling Rules |
|
11.30-13.00 Lunch |
|
13.00-14.30
Uncertainty Mirco Gelain, Maria Silvia Pini, Francesca Rossi and Kristen Brent Venable. Soft Constraint Problems with Incompleteness Marco Falda, Francesca Rossi and Kristen Brent Venable. Fuzzy Conditional Temporal Problems Said Al-Gattoufi. A Genetic Algorithm Solving Method for Confident-DEA: A Generalized Approach For Efficiency Analysis With Imprecise Data |
|
14.30-15.00 Closing coffee |