CP 2011 - Call for Participation
The CP conference is the annual international conference on constraint programming. It is concerned with all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.
in Conferences by [Deactivated account] on June 15, 2011

                            Call for Participation

                                   CP 2011

                   Seventeenth International Conference on

               Principles and Practice of Constraint Programming

                           September 12-16, 2011

                              Perugia, Italy

                      http://www.dmi.unipg.it/cp2011/

** Early-bird Registration available before July 7, 2011 **

The CP conference is the annual international conference on constraint

programming.  It is concerned with all aspects of computing with

constraints, including theory, algorithms, environments, languages, models,

systems, and applications such as decision making, resource allocation, and

agreement technologies.

CP 2011 will feature pre-conference workshops and a 4-day technical program

packed with invited talks, award-winning paper presentations, research and

application track sessions, tutorials, panels, and a Doctoral Program.

Invited Speakers

Leonardo de Moura, Microsoft

Laurent Perron, Google

Jean-Charles Regin, University of Nice-Sophia Antipolis

Tutorials

Automatic Solver Configuration and Solver Portfolios

  Meinolf Sellmann (IBM, USA)

Integer Programming for Constraint Programmers

  Chris Beck (University of Toronto, Canada), Timo Berdhold, Ambros Gleixner,

  Stefan Heinz, Kati Wolter (Zuse Institute Berlin, Germany) 

Machine Learning and Data Mining: Challenges and Opportunities for

  Constraint Programming

  Luc De Raedt, Siegfried Nijssen (K.U. Leuven, Belgium)

Workshops

Soft'11: Preferences and Soft Constraints

LSCS 2011: Local Search Techniques in Constraint Satisfaction

WCB11: Constraint Based Methods for Bioinformatics

Lococo 2011: Logics for Component Configuration

SymCon'11: Symmetry in Constraint Satisfaction Problems

ModRef 2011: Constraint Modelling and Reformulation

PMCS'11: Parallel Methods for Constraint Solving

MZN 2011: MiniZinc

Registration and accommodation information can be found on the conference

website.

We look forward to seeing you all in Perugia.

Best regards,

Stefano Bistarelli

Conference Chair, CP 2011

Jimmy Lee

Program Chair, CP 2011