posted by organizer: ansotegui || 1903 views || tracked by 6 users: [display]

ModRef 2014 : The Thirteenth International Workshop on Constraint Modelling and Reformulation


When Sep 8, 2014 - Sep 8, 2014
Where Lyon, France
Submission Deadline Jul 9, 2014
Notification Due Aug 15, 2014
Final Version Due Aug 22, 2014
Categories    constraint programming   modelling   reformulation

Call For Papers

Call for Papers *** Submission deadline July 9 2014 ***

ModRef 2014
The Thirteenth International Workshop
on Constraint Modelling and Reformulation

at the

20th International Conference on the Principles and Practice
of Constraint Programming (CP 2014) in Lyon, France, on
September (TBD), 2014.

Aims and Scope

Constraint Programming (CP) is a powerful technology to model and
solve combinatorial problems, which are ubiquitous in academia and
industry. The last ten years or so have witnessed significant research
devoted to modelling and solving problems with constraints. CP is now
a mature field and has been successfully used for tackling a wide
range of real-life complex applications. However, such a technology is
currently accessible to only a small number of experts. For CP to be
more widely used by non-experts, more research effort is needed in
order to ease the use of the CP technology. We solicit original papers
that contribute to widen the use of the CP technology.

Workshop topics include (but are not limited to):

Application papers describing interesting problems and interesting
ways to model 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
models and the design of pragmatic techniques that facilitate the
choice and possibly combination among alternative models;

Design of higher-level modelling languages;

Automatic reformulation techniques.

The workshop will be held as a full-day or half-day workshop. Please
note that workshop-participants need to be registered for the
workshop. Past events of this workshop series can be found here

Important Dates

Submission date: July 9th, 2014
Notification of acceptance: August 15th, 2014
Camera ready version: August 22nd, 2014
Workshop day: September (TBD), 2014

Program Committee

Carlos Ansotegui Universitat de Lleida, Spain
Jessica Davies University of Toronto
Ivan Dotu UPC, Spain
Alan Frisch University of York
Emmanuel Hebrard LAAS, CNRS
George Katsirelos INRA, Toulouse, France
Christopher Jefferson University of St. Andrews, UK
Daniel Le Berre Artois University, France
Jimmy Lee The Chinese University of Hong Kong
Yuri Malitsky Cork Constraint Computation Centre
Joao Marques-Silva University College Dublin, Ireland
Ian Miqguel University of St. Andrews, UK
Peter Nightingale University of St. Andrews, UK
Jean-Charles Regin University of Nice-Sophia Antipolis / I3S / CNRS
Ashish Sabharwal IBM Research
Horst Samulowitz IBM Research
Meinolf Sellmann IBM Research
Roberto Sebastiani University of Trento, Italy
Peter Stuckey University of Melbourne, Australia
Mateu Villaret Universitat de Girona, Spain


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

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 2014. 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.

ModRef 2014 Chair:

Carlos Ansotegui (

Related Resources

CPAIOR 2022   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
IJCCMS 2022   International Journal of Chaos, Control, Modelling and Simulation
DADH 2022   The Thirteenth International Conference of Digital Archives and Digital Humanities
HDSSMD 2023   HDSSMD 2023: Special Session on Healthcare decision support systems modelling and development
SEN 2022   Social Epidemic Network (SEN), Call for Book Chapters
ISEM 2023   The International Society for Ecological Modelling Global Conference 2022: Ecological Models for Tomorrow’s Solutions
CTCM 2022   8th International Conference of Control Theory and Computer Modelling
AMMS--EI and Scopus 2022   2022 4th International Applied Mathematics, Modelling and Simulation Conference (AMMS 2022)--EI Compendex, Scopus
CPAIOR 2022   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Recommender systems 2021   SN Computer Science Call for Papers: Topical Issue on Advanced Theories and Algorithms for Next-generation Recommender Systems