INTCP'06

1
INTCP'06

• Interval AnalysisConstraint 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
Program

• Session 1
• 850 Attraction domain of a non-linear system
  using interval analysis Nicolas Delanoue, Luc
  Jaulin, Betrand Cottenceau
• 910 Test of injectivity via interval
  analysis Sébastien Lagrange, Nicolas Delanoue,
  Luc Jaulin
• 930 A note on some multivariate relaxations in
  global optimization Rouba Baroudi, Yahia Lebbah
• 950 Constructive interval disjunction Gilles
  Trombettoni, Gilles Chabert
• 1010 Intelligent splitting for disjunctive
  numerical CSPs Thomas Douillard, Christophe
  Jermann, Frédéric Benhamou
• Coffee break (1030 - 1100)
• Session 2
• 1100 An interval-based approximation method for
  discrete changes in hybrid cc Daisuke Ishii,
  Kazunori Ueda, Hiroshi Hosobe
• 1120 Computing inner approximations of
  numerical MaxCSP Marc Christie, Jean-Marie
  Normand, Charlotte Truchet
• 1140 Combining CP and interval methods for
  solving the direct kinematic of a parallel robot
  under uncertainties Carlos Grandon, David
  Daney, Yves Papegay
• 1200 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 !)

3
Post-workshop events

• Proceedings online
• Slides online
• Official post-proceedings (all CP workshops) by
  Hermes Science (selection of best full papers)

4
Discussion

• Some trends in this edition
• Problems MaxCSP, disjunctions, HybridCC,
• Algorithms constructive disjunction,
  relaxations,
• Applications robotics, antennas deployment,
• Other hot topics
• Problems
• discrete/continuous state systems (ODEs, PDEs, )
• 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
• Applications model checking,
• Representative of research directions?
• Ultimate goal(s) of IntCP?
• Applications VS Theory/Algorithms
• Needs VS Characteristics (completeness,
  correctness, )

5
Conclusion

• Thanks everyone !
• See you in 2007 !