The 10th International Workshop on Constraint Modelling and Reformulation
(ModRef 2011)

To be held at the 17th International Conference on the
Principles and Practice of Constraint Programming (CP 2011)

Perugia, Italy
Monday 12 September 2011

*** NEW: Slides from the invited talk***


Constraint Programming (CP) is a powerful technology to model and solve combinatorial problems, which are ubiquitous in academia and industry. The last ten years or so have witnessed significant research devoted to modelling and solving problems with constraints. CP is now a mature field and has been successfully used for tackling a wide range of real-life complex applications. However, such a technology is currently accessible to only a small number of experts. For CP to be more widely used by non-experts, more research effort is needed in order to ease the use of the CP technology. We solicit original papers that contribute to widen the use of the CP technology.

Workshop topics include (but are not limited to):

  • Application papers describing interesting problems and interesting ways to model them;
  • Contributions to understanding modelling that could guide the manual or automatic formulation of models;
  • Identification of the criteria that should be used in evaluating models and the design of pragmatic techniques that facilitate the choice and possibly combination among alternative models;
  • Design of higher-level modelling languages;
  • Automatic reformulation techniques.

The workshop will be held as a full-day workshop. Please note that workshop-participants need to be registered for the workshop. Past events of this workshop series can be found here.


We are delighted to announce that Alan M Frisch (University of York, UK) will give an invited talk entitled

"A Decade of Research on Constraint Modelling and Reformulation:
The Quest for Abstraction and Automation"

Abstract: To mark the Tenth International Workshop on Constraint Modelling and Reformulation, this talk reviews research in the field over the past decade, focusing on the key themes of abstraction and automation. Looking to the future, the talk identifies key issues that must be confronted in furthering the quest for abstraction and automation. Slides from the invited talk


This year's workshop will contain a panel discussion on "Directions of CP Modelling and Reformulation in the Context of Extended Solver Representations" (based on an idea from Helmut Simonis) which will bring together representatives of various extensions to discuss future directions and their effects on the research agenda of our community. More details on the panel can be found here.


The workshop programme can be found here (pdf-version). The workshop will take place in the Department of Mathematics and Informatics (via Vanvitelli, 1 06123 Perugia) in Room A2 - see the CP-webpage on the venue for further details.


On the occasion of the tenth anniversary of this workshop series, we have arranged with Constraints to have a special issue based on re-submissions of the papers presented at this workshop. See the Call for Papers for more details.


The workshop proceedings can be found here.


Submission deadline Friday 1 July 2011 UTC-12
Author notification Sunday 31 July 2011
Camera-Ready Copy deadline Sunday 14 August 2011
Workshop Monday 12 September 2011


Andrea Rendl (chair) Austrian Institute of Technology, Austria
J. Christopher Beck (co-chair) University of Toronto, Canada

Alan M. Frisch University of York, United Kingdom
Stefan Heinz Zuse Institute Berlin, Germany
Brahim Hnich Izmir University of Economics, Turkey
Jimmy Lee The Chinese University of Hong Kong, China
Ian Miguel University of St Andrews, United Kingdom
Michela Milano University of Bologna, Italy
Nina Narodytska University of New South Wales, Australia
Justin K. Pearson Uppsala University, Sweden
Tom Schrijvers University of Ghent, Belgium
Helmut Simonis Cork Constraint Computation Centre, Ireland
Pascal Van Hentenryck Brown University, RI, USA
Mark Wallace Monash University, Australia


Submissions must be formatted in the Lecture Notes in Computer Science (LNCS) style and must not exceed 15 pages. Submissions of shorter papers, including position papers, are welcome.

Papers must be submitted in PDF format using EasyChair
until Friday, July 1 2011 UTC-12 (i.e. submitted anywhere on the world on July 1st will be on time).

All submissions will be reviewed and those that are well written and make a worthwhile contribution to the topic of the workshop will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at CP 2011. At least one author of each accepted paper must attend the workshop. Please note that every workshop-participant needs to be registered for the workshop.

last update: September 9, 2011