[DMANET] ModRef 2020 (The 19th International Workshop on Constraint Modelling and Reformulation)

(Our apologies if you receive multiple copies of this call)

-------------------------------------------------------------------
ModRef 2020: The 19th International Workshop on Constraint Modelling and Reformulation (September 7, 2020)
https://modref.github.io/ModRef2020
-------------------------------------------------------------------

The workshop will run at the 26th International Conference on Principles and Practice of Constraint Programming, CP2020 (https://cp2020.a4cp.org/). In line with the organisation of CP2020, the Workshop will be fully virtual this year.

***************** IMPORTANT DATES *****************
- Abstract submission deadline: July 23rd, 2020
- Final submission deadline (for both extended abstracts and full papers): July 29th, 2020
- Acceptance notification: August 7th, 2020
- Workshop date: September 7th, 2020

****************** AIM AND SCOPE ***********
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 time. 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 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 possible combination among alternative models;
- Design of higher-level modelling languages;
Automatic reformulation techniques;
- Techniques which allow automatically targeting multiple kinds of solvers from a single declarative model.

***************** CALL FOR CONTRIBUTIONS ***********
Authors are invited to submit their works in one of the following categories:
(1) extended abstract (up to 2 pages, excluding references); we especially welcome talks describing ongoing work, recent breakthroughs, future directions, and descriptions of interesting aspects of existing systems.
(2) full paper (up to 15 pages, excluding references); submissions of shorter papers, including position papers, are also welcome.

Submissions must be done through EasyChair: https://easychair.org/conferences/?conf=modref2020 and formatted in the Lecture Notes in Computer Science(LNCS). 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 2020. Accepted contributions will be allowed a time slot for a presentation at the workshop. At least one author of each accepted paper must attend and present at the workshop. Please note that every workshop participant needs to be registered for the workshop.

For more information please visit the Workshop website: https://modref.github.io/ModRef2020

or get in touch with the workshop chairs:
- Joan Espasa Arxer, University of St Andrews, UK (jea20[at_symbol]st-andrews.ac.uk)
- Nguyen Dang, University of St Andrews, UK (nttd[at_symbol]st-andrews.ac.uk)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************