(Early announcement: deadlines after CP 2022 notification)
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. 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.
Detailed instructions for submission can be found at: https://modref.github.io/ModRef2022.html
IMPORTANT DATES:For questions about the workshop, please contact the chairs Dr. Jip J. Dekker and Dr. Guido Tack: jip.d...@monash.edu