posted by organizer: Steven_Prestwich || 438 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 2017   Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming
MIC 2017   The 36th IASTED International Conference on Modelling, Identification and Control ~MIC 2017~
RuleML+RR 2017   RuleML+RR 2017 Call for Papers
CPAIOR (2nd CfP) 2017   CPAIOR 2017 Second CfP - Integration of AI, OR and CP for optimization
CGDIP 2017   2017 International Conference on Computer Graphics and Digital Image Processing (CGDIP 2017)--Ei
ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
SIMPAT-AgentsSim 2017   SIMPAT special issue on Agent-based Modelling and Simulation
ACCS 2017   12th Asian Conference on Chemical Sensors
MULTIPHYSICS 2017   The International Conference of Multiphysics
EPEW 2017   EPEW 2017: 14th European Performance Engineering Workshop