Call for Participation

International Workshop on
Reformulating Constraint Satisfaction Problems

Towards Systematisation and Automation

To be held at the
8th International Conference on Principles and Practice of Constraint Programming (CP 2002)
Cornell University, Ithaca, NY, USA
8 September 2002

Many companies 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 commercial importance, constraint programming toolkits are not widely used because there is insufficient expertise available to model problems as constraint programs.

This formulation bottleneck can be reduced by the development of systems that can take a problem specification from a non-expert and automatically reformulate it into a form that can be solved efficiently. The facilities and capabilities of such a system might include

Researchers in the field of constraint programming have written numerous papers showing how particular complex problems can be formulated as a constraint program. We now have sufficient examples from which to abstract generalisations that ultimately can be systematised and embedded in automated reformulation systems. This ``International Workshop on Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation'' has been convened to provide a forum for researchers who share the goal of making such a reformulation system a reality.

The Workshop

This will be held on the afternoon of 8 September 2002 and is open to anyone interested in the topic. The event will have a strong workshop flavour, with ample time allocated to discussion. All workshop participants must pay the CP-2002 workshop registration fee. The tentative timetable for the workshop is


The proceedings are available electronically. 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. (
Tom Ellman, Vassar College, USA. (
Pierre Flener, Uppsala University, Sweden. (
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. (
Patrick Prosser, Glasgow University, United Kingdom. (
Toby Walsh, University College Cork, Ireland. (