Programme of CSCLP 2007


Wednesday June 6th 2007
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
  • Thierry Benoist, Bouygues e-lab
  • Mehmet Dincbas, Cosytec
  • François Fages, INRIA (animateur)
  • Narendra Jussien, EMN
  • Daniel Le Berre, CRIL
  • Jean-Charles Régin, ILOG
16.00-17.30 Posters, demonstrations, cocktail


Thursday June 7th 2007
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

Friday June 8th 2007
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