FlowerIn Memoriam: Marco CadoliFlower
Marco Cadoli, a friend to this workshop series and to many of us,
passed away on November 21, 2006.
This year's workshop is dedicated to his memory.

Sixth International Workshop on Constraint Modelling and Reformulation (ModRef'07)

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

Providence, Rhode Island, USA
September 23, 2007

Constraint Programming (CP) is a powerful technology to 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):


To submit a paper, send an email to Jimmy Lee (jlee@cse.cuhk.edu.hk) with title, authors' names and emails, name of corresponding author, and a URL of the submission in postscript or (preferably) in pdf. 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.

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 and in hardcopy at CP 2007. At least one author of each accepted paper must attend the workshop.

The Workshop

This will be a half-day workshop 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 2007 registration fee in addition to the workshop fee.

The workshop features an invited talk by Peter Stuckey on the topic of "Trials and Tribulations of Designing a Modelling Language".

Important Dates

Submission deadlineJuly 1, 2007
Notification of acceptanceJuly 21, 2007
Camera Ready deadlineAugust 10, 2007
WorkshopSeptember 23, 2007

Program Committee

Pierre FlenerSabanci University, Turkey, and Uppsala University, Sweden.
Alan M. FrischUniversity of York, United Kingdom.
Brahim HnichIzmir University of Economics, Turkey
Yat-Chiu LawThe Chinese University of Hong Kong, Hong Kong SAR, China.
Jimmy Lee (Co-chair)The Chinese University of Hong Kong, Hong Kong SAR, China.
Toni ManciniUniversita di Roma, Italy.
Ian MiguelUniversity of St Andrews, United Kingdom.
Barbara SmithUniversity of Leeds, United Kingdom.
Peter Stuckey (Co-chair)University of Melbourne, Australia.
Peter van BeekUniversity of Waterloo, Canada.
Toby WalshNICTA and University of New South Wales, Australia.

Program Schedule

  Sunday, September 23
Trials and Tribulations of Designing a Modelling Language
Peter J. Stuckey
9:50 GRASPER: A framework for graph CSPs
Ruben Duarte Viegas and Francisco Azevedo
Crossword Grid Composition with a Hierarchical CSP Encoding
Adi Botea
Exploiting Problem Data to Enrich Models of Constraint Problems
Martin Michalowski, Craig A. Knoblock, and Berthe Y. Choueiry
10:45 A Rule-based System for Model Transformation
Sebastian Brand, Gregory J. Duck, Jakob Puchinger, and Peter J. Stuckey
11:10 A Soft COP Model for Goal Deliberation in a BDI Agent
John Thangarajah, James Harland, and Neil Yorke-Smith
11:35 On the Expressive Power of Essence
David G. Mitchell and Eugenia Ternovska
12:00 Two Set-Constraints for Modeling and Efficiency
Willem-Jan van Hoeve and Ashish Sabharwal