ModRef 2022

The 21st workshop on Constraint Modelling and Reformulation

July 31st / August 1st, 2022; Part of FLoC 2022

Contact the chairs: modref@a4cp.org

ModRef 2022 is the 21st in a series of workshops on Constraint Modelling and Reformulation organized as part of FLoC 2022, the Federated Logic Conference. It will be held in the pre-FLoC workshop block (July 31st - August 1st), preceding CP 2022, the 28th International Conference on Principles and Practice of Constraint Programming.

Recent years have witnessed significant research devoted to modelling and solving problems with constraints. The importance of modelling and model reformulation is widely recognized. There have been developments in systematic and automated ways of improving aspects of modelling and model reformulation. Tools and techniques which provide the ability to target multiple kinds of solvers were also developed.

The key goals of this workshop are to extend the understanding of constraint modelling and to automate aspects of modelling or model reformulation to extend the reach of constraint solvers on difficult problems and ease the task of modelling. We solicit original papers that contribute to either or both of these goals. Workshop topics include:

Invited Talks

To be announced …

Call for Papers

This year ModRef will again paper submissions. In addition to the presentation of research results, we especially welcome submissions of novel (ongoing) work, recent breakthroughs, future directions, and descriptions of interesting aspects of existing systems.

There are two types of paper submissions: extended abstracts (at most two pages) and full papers (at most fifteen pages). References are not part of the page limit. Papers are submitted through EasyChair, as a PDF file following LIPIcs guidelines.

We also accept (and encourage) non-traditional electronic submissions, such as interactive works/tool demonstrations. In this case, please contact the chairs to discuss the suitability of your submission for ModRef.

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

Call for Lightning Talks

To be announced …

Important Dates

Paper Abstract Submission May 3rd, 2022
Paper Full Submission May 10th, 2022
Lightning talk Proposals TBA
Notification of acceptance/rejection June 15th, 2022
Camera ready version July 1st, 2022
Workshop day TBA (July 31st / August 1st, 2022)

For questions about the workshop, please contact the chairs Dr. Jip J. Dekker and Dr. Guido Tack: modref@a4cp.org

Program Committee

To be announced …

Program

To be announced …

Previous ModRef Workshops

The ModRef workshop has been running for 21 years and has hosted many interesting presentations.