posted by organizer: Steven_Prestwich || 739 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 2018   15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
CP 2018   Twenty-Fourth Conference on Principles and Practice of Constraint Programming
CP 2018   24th International Conference on Principles and Practice of Constraint Programming
JFPC 2018   Quatorzièmes Journées Francophones de Programmation par Contraintes
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
COMS 2019   The 10th Workshop on Computational Optimization, Modelling and Simulation
SI-TNNLS-SMLMATA 2018   TNNLS Special Issue on Structured Multi-output Learning: Modelling, Algorithm, Theory and Applications
Scopus-ACPEE 2019   Scopus-2019 4th Asia Conference on Power and Electrical Engineering (ACPEE 2019)
SOCS 2018   Symposium on Combinatorial Search
EI-IC4M 2019   2019 4th International Conference on Mechanical, Manufacturing, Modeling and Mechatronics (IC4M 2019)