1. INTCP'06 Interval Analysis Constraint Propagation Applications Organizers : Christophe Jermann, Yahia Lebbah, Djamila Sam-Haroud Committee : Pedro Barahona, Martine Ceberio, David Daney, Luc Jaulin, Stefan Ratschan, Nick Sahinidis, Josep Vehi

2. September 25 th 2006 Session 1 8:50Attraction domain of a non-linear system using interval analysis Nicolas Delanoue, Luc Jaulin, Betrand Cottenceau 9:10Test of injectivity via interval analysis Sébastien Lagrange, Nicolas Delanoue, Luc Jaulin 9:30 A note on some multivariate relaxations in global optimization Rouba Baroudi, Yahia Lebbah 9:50 Constructive interval disjunction Gilles Trombettoni, Gilles Chabert 10:10Intelligent splitting for disjunctive numerical CSPs Thomas Douillard, Christophe Jermann, Frédéric Benhamou Coffee break (10:30 - 11:00) Session 2 11:00An interval-based approximation method for discrete changes in hybrid cc Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe 11:20 Computing inner approximations of numerical MaxCSP Marc Christie, Jean-Marie Normand, Charlotte Truchet 11:40 Combining CP and interval methods for solving the direct kinematic of a parallel robot under uncertainties Carlos Grandon, David Daney, Yves Papegay 12:00 Modeling and solving of a radio antennas deployment support application with discrete and interval constraints Michael Heusch Discussion on the goal of IntCP (ready your questions/remarks !) Program

3. September 25 th 2006 Post-workshop events Proceedings online Proceedings online Slides online Slides online Official post-proceedings (all CP workshops) by Hermes Science (selection of best full papers) Official post-proceedings (all CP workshops) by Hermes Science (selection of best full papers)

4. September 25 th 2006 Discussion Some trends in this edition: Some trends in this edition: Problems: MaxCSP, disjunctions, HybridCC, … Problems: MaxCSP, disjunctions, HybridCC, … Algorithms: constructive disjunction, relaxations, … Algorithms: constructive disjunction, relaxations, … Applications: robotics, antennas deployment, … Applications: robotics, antennas deployment, … Other hot topics: Other hot topics: Problems: Problems: discrete/continuous state systems (ODEs, PDEs, …) discrete/continuous state systems (ODEs, PDEs, …) diversity of objectives : decision, all solutions, representative solutions, best solution(s) w.r.t. one(several) criterion(a) diversity of objectives : decision, all solutions, representative solutions, best solution(s) w.r.t. one(several) criterion(a) Algorithms: combination of solvers SAT-CSP-NCSP-Math Algorithms: combination of solvers SAT-CSP-NCSP-Math Applications : model checking, … Applications : model checking, …  Representative of research directions?  Ultimate goal(s) of IntCP? Applications VS Theory/Algorithms Applications VS Theory/Algorithms Needs VS Characteristics (completeness, correctness, …) Needs VS Characteristics (completeness, correctness, …)

5. September 25 th 2006 Conclusion Thanks everyone ! See you in 2007 !