Call for Participation

Second International Workshop on
Modelling and Reformulating Constraint Satisfaction Problems

Towards Systematisation and Automation

To be held at the
9th International Conference on Principles and Practice of Constraint Programming (CP 2003)
Kinsale, County Cork, Ireland
29 September 2003

Many organisations have scheduling, assignment, supply chain and other problems that could be solved with a constraint programming toolkit. Although the solution of these problems is of vital importance, constraint programming toolkits are not widely used because there is insufficient expertise available to model problems as constraint programs.

This so-called modelling bottleneck could be reduced by the development of a general, principled understanding of modelling that in the future could guide the manual or automatic formulation of models and the choice among alternative models.

Researchers and practitioners have developed effective models for a wide range of problems. The time has come to form generalisations from these case studies that can be used to guide modelling in the future. These generalisations could then be systematised for use by a non-expert and be codified in textbooks in much the same way that data structuring expertise is. Ultimately this modelling expertise could be embedded in automated modelling tools. Progress on any of these fronts would bring the proven power of constraint programming to a wider user base.

This ``Second International Workshop of Modelling and Reformulating Constraint Satisfaction Problem: Towards Systematisation and Automation'' has been convened to provide a forum for researchers who share these goals.

The Workshop

This will be a half-day workshop held on the afternoon of 29 September 2003. The workshop is open to anyone interested in the topic, but all participants must register for CP'03 and for the workshop. The event will have a strong workshop flavour, with ample time allocated to discussion.

Here is the programme for the workshop.


The proceedings contain the thirteen contributed papers presented as talks or posters at the workshop as well as an abstract of the talk presented by the invited speaker, Pascal Van Hentenryck. The proceedings are available electronically in pdf format. Hard copies will be distributed at the workshop to all participants.

Programme Committee

Alan M. Frisch (Chair), University of York, United Kingdom. (
Marco Cadoli, Universita` di Roma "La Sapienza", Italy. (
Pierre Flener, Uppsala University, Sweden. (
Brahim Hnich, University College Cork, Ireland. (
Eugene Freuder, University College Cork, Ireland. (
Jimmy Lee, The Chinese University of Hong Kong, Hong Kong SAR, China. (
Ian Miguel, University of York, United Kingdom. (
Barbara M. Smith, University of Huddersfield, United Kingdom. (
Toby Walsh, University College Cork, Ireland. (

Created by AMF. Last modified 8 Sept 2003.