posted by organizer: Steven_Prestwich || 355 views || tracked by 1 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 2017   Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming
CP 2016   Principles and Practice of Constraint Programming
SAM 2016   SAM 2016 - 9th System Analysis and Modelling Conference (SAM 2016)
ESM 2016   30th European Simulation and Modelling Conference - ESM'2016, October 26-28, 2016, SIANI, Univ. of Las Palmas, Spain
VaMoS 2017   11th International Workshop on Variability Modelling of Software-intensive Systems
CP 2016   2016 International Conference on Principles and Practice of Constraint Programming
Speclial Issue of JoCS on Intelligent CT 2016   Elsevier-Journal of Computational Science- Special Issue On Intelligent Computational Techniques (Intelligent CT)
AfricaMS 2016   The 6th IASTED African Conference on Modelling and Simulation ~AfricaMS 2016~
HPCMS 2017   *** Extended Deadline *** Fourth Special Session on High Performance Computing in Modelling and Simulation (HPCMS)
CSTVA 2016   International workshop on Constraints in Software Testing, Verification and Analysis 2016 (CSTVA'16)