INTRODUCTION

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):

• 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 among alternative models;
• Design of higher level modelling languages;
• Automatic reformulation techniques;

PROGRAMME

• 1400-1410 Welcome
• 1410-1430 Puget, Smith Improved Models for Graceful Graphs
• 1430-1450 Bessiere, Quinqueton, Raymond Mining Historical Data to Build Constraint Viewpoints
• 1450-1510 Razgon, O'Sullivan, Provan Generalizing Global Constraints Based on Network Flows
• 1510-1530 Frisch, Grum, Jefferson, Martinez-Hernandez, Miguel Why ESSENCE? Frequently Asked Questions About a New Language for Specifying Combinatorial Problems
• 1530-1600 Coffee
• 1600-1620 Bessiere, Verger Strategic Constraint Satisfaction Problems
• 1620-1640 Soto, Granvilliers Exploring the Canopy of Constraint Modelling Languages
• 1640-1700 Martinez-Hernandez, Frisch The Automatic Generation of Redundant Representations and Channelling Constraints
• 1700-1720 Prestwich Consistency Reasoning for Removing Constraints and Clauses
• 1720-1730 Closing

PARTICIPATION

At least one author of each submission accepted for presentation must attend the workshop to present the contribution.

SUBMISSIONS

To submit a paper to the workshop, please e-mail to ianm@dcs.st-and.ac.uk a PS or PDF file in LNCS conference style. Papers should not exceed 15 pages. The organising committee will acknowledge all submissions. If a submitted paper is not acknowledged within two working days, please contact the workshop chair. All submissions will be reviewed and those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. The proceedings will be available electronically and in hard copy on the day of the workshop.

IMPORTANT DATES

• Paper submission deadline: 14 July (CLOSED)
• Notification to authors: 31 July
• Camera ready version deadline: 11 August
• Registration deadline: 15 August
• Workshop dates: 25 September

PROCEEDINGS

http://www.cs.ucc.ie/cp06/CP06modelling.pdf

ORGANISATION

Organising committee

Programme Committee