ModRef 2017 will be the 16th in a series of workshops on Constraint Modelling and Reformulation.

ModRef has always been colocated with the Constraint Programming (CP) conference in the past. This year CP is colocated with ICLP and SAT, and we are excited to run ModRef in this context!

Recent years have witnessed significant research devoted to modelling and solving problems with constraints. The importance of modelling and model reformulation is widely recognised. There have been developments in systematic and automated ways of improving aspects of modelling and model reformulation. Tools and techniques which provide the ability of targeting multiple kinds of solvers were also developed.

The key goals of this workshop are to extend the understanding of constraint modelling, and to automate aspects of modelling or model reformulation to extend the reach of constraint solvers on difficult problems and ease the task of modelling. We solicit original papers that contribute to either or both of these goals.

Workshop topics include:

Important Dates

Submission date July 2nd, 2017
Notification of acceptance/rejection August 6th, 2017
Camera ready version August 20th, 2017
Workshop day August 28th, 2017

Program Committee

Özgür Akgün (Chair) University of St Andrews
Alan Frisch University of York
Serdar Kadioglu Oracle
Jean-Noël Monette Tacton
Mateu Villaret University of Girona

More PC members will be announced.


Submissions must be formatted in the Lecture Notes in Computer Science (LNCS) style and must be within 15 pages excluding references. Submissions of shorter papers, including position papers, are welcome.

Papers must be submitted in PDF format using EasyChair.

Please feel free to get in touch to express interest, to have an informal discussion, etc.

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 2017. At least one author of each accepted paper must attend the workshop. Please note that every workshop participant needs to be registered for the workshop.

Past events of this workshop series can be found here.