The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08)

To be held at
the 14th International Conference on the Principles and Practice of Constraint Programming (CP'08)

Sydney, Australia
September 14 or 15, 2008

Collocated with the Special Session on Declarative Programming Paradigms and Systems for Non-Monotonic Reasoning at NMR'08

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.

Submission

To submit a paper, send an email to both programme chairs (Pierre Flener and Helmut Simonis) with title, author(s)' name(s) and email(s), name of corresponding author, abstract, and a URL of the paper 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 at CP'08. 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.

The workshop features an invited talk by TBA on the topic of "TBA".

Important Dates

Programme Committee

Programme