posted by organizer: Steven_Prestwich || 886 views || tracked by 2 users: [display]

ModRef 2016 : 15th International Workshop on Constraint Modelling and Reformulation


When Sep 5, 2016 - Sep 5, 2016
Where Toulouse, France
Submission Deadline Jul 8, 2016
Notification Due Jul 25, 2016
Final Version Due Aug 15, 2016

Call For Papers


Constraint Programming (CP) is a powerful set of techniques to model
and solve combinatorial problems, which are ubiquitous in academia and
industry. CP has been successfully used for tackling a wide range of
real-life complex applications, but finding a good model of a given
problem often requires considerable expertise and effort. Recent
years have witnessed significant research devoted to modelling and
solving problems with constraints. The key goals of this workshop are
to extend the understanding of constraint modelling, to automate
aspects of modelling or model reformulation, to extend the reach of
constraint solvers on difficult problems, and to ease the task of
modelling. Workshop topics include but are not limited to:

* Application papers describing interesting problems and ways of
modelling 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
* Higher-level modelling languages.
* Automatic reformulation techniques.


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 also
welcome. Please submit papers by emailing a PDF file to the workshop
chair (

All submissions will be reviewed by at least two members of the
programme committee. Please note that at least one author of each
accepted paper must register for and attend the workshop and pay the
workshop fee, otherwise the paper and presentation will be withdrawn.

The proceedings of the event will be available electronically at

CHAIR: Steve Prestwich, University College Cork, Ireland

George Katsirelos, INRA Toulouse, France
Jimmy Lee, Chinese University of Hong Kong
Ian Miguel, University of St Andrews, Scotland
Justin Pearson, Uppsala University, Sweden
Gilles Pesant, École Polytechnique de Montréal, Canada
Helmut Simonis, University College Cork, Ireland
Peter Stuckey, University of Melbourne, Australia

Co-located with the 22th International Conference on Principles and
Practice of Constraint Programming (

Previous workshops in the series:

Related Resources

CPAIOR 2019   Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
CP 2019   CP 2019 - Call for Papers
ESM 2019   33rd European Simulation and Modelling Conference
AMMS--EI Compendex and Scopus 2019   2019 International Applied Mathematics, Modelling and Simulation Conference (AMMS 2019)--EI Compendex and Scopus
WLP 2019   33rd Workshop on (Constraint) Logic Programming
DataMod 2019   8th International Symposium “From Data to Models and Back (DataMod)”
VaMoS 2020   Variability Modelling of Software-Intensive Systems
INAP 2019   22nd International Conference on Applications of Declarative Programming and Knowledge Management
CMSB 2019   17th International Conference on Computational Methods in Systems Biology
MWRM 2020   Special Issue on Modelling for Water Resources Management