CP 2011 - Call for Participation

by CP2011_publicity, July 21, 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.

                            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/

** Registration at reduced rate available before september 4, 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