Call for and Participation


Third International Workshop on
Modelling and Reformulating Constraint Satisfaction Problems

Towards Systematisation and Automation

To be held at the
10th International Conference on Principles and Practice of Constraint Programming (CP 2004)
Toronto, Canada

27 September 2004





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, the use of constraint programming toolkits is limited by the lack of 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 ``Third 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 morning of 27 September 2004. The workshop is open to anyone interested in the topic, but all participants must register for CP'04 and for the workshop. The event will have a strong workshop flavour, with ample time allocated to discussion.

The workshop will feature an invited talk, entitled Formulations and Reformulations in Integer Programming, by Michael Trick, from Carnegie-Mellon University.

Here is the programme for the workshop.

Proceedings

The proceedings contain the nine contributed papers as well as a paper by the invited speaker. The proceedings are available available electronically in pdf format and hard copies will be distributed at the workshop to all participants.

Further Information

CP'04 Conference

Previous workshops in this series

Programme Committee

Alan M. Frisch (Co-chair), University of York, United Kingdom. (frisch@cs.york.ac.uk)
Ian Miguel (Co-chair), University of York, United Kingdom. (ianm@cs.york.ac.uk)
Marco Cadoli, Universita` di Roma "La Sapienza", Italy. (cadoli@dis.uniroma1.it)
Pierre Flener, Uppsala University, Sweden. (Pierre.Flener@it.uu.se)
Brahim Hnich, University College Cork, Ireland. (brahim@4c.ucc.ie)
Jimmy Lee, The Chinese University of Hong Kong, Hong Kong SAR, China. (jlee@cse.cuhk.edu.hk)
Barbara M. Smith, University of Huddersfield, United Kingdom. (b.m.smith@hud.ac.uk)
Peter Stuckey, University of Melbourne, Australia. (pjs@cs.mu.oz.au)
Peter van Beek, University of Waterloo, Canada. (vanbeek@uwaterloo.ca)
Pascal Van Hentenryck, Brown University USA. (pvh@cs.brown.edu)
Toby Walsh, University College Cork, Ireland. (tw@4c.ucc.ie)