<div id="header"> <div id="logo"> <a href="http://www.a4cp.org"><img src="/sites/default/files/corolla_logo.png" alt="Association for Constraint Programming"> </a> </div> <div id="header-name"> <a href="http://www.a4cp.org">Association for Constraint Programming</a> </div> </div> <div id="content">
ModRef 2021 CALL FOR PAPERS
ModRef 2021 (https://modref.github.io/ModRef2021.html) is the 20th in a series of workshops on Constraint Modelling and Reformulation. It takes place virtually on October 25, preceding CP2021, the 27th International Conference on Principles and Practice of Constraint Programming.
The main aim of the workshop is to identify recent trends in constraint modelling, including (but not limited to) innovative modelling techniques, reformulation and preprocessing techniques, and understanding search. This year we have two important components:
- (half a day) Short presentations and talks about recent developments by the participants.
Topics of interest include:
- 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.
- (half a day) The second half will be a collaborative exercise to identify challenges for the next five years of modelling, with the goal of producing a jointly-written white/research paper to guide future research. This component will consist of a series of lightning talks (from both users and developers of modelling tools) pointing out pain-points or desired features for modelling, then a series of focussed discussions to identify common features, possible solutions and research directions.
Professor Torsten Schaub, University of Potsdam, Germany - Answer Set Programming (ASP)
Dr Bart Bogaerts, Vrije Universiteit Brussel, Belgium - Predicate Logic as a Modelling Language: The IDP System
Call for Papers
We invite submissions of novel (ongoing) work, recent breakthroughs, future directions, and descriptions of interesting aspects of existing systems related (but not limited) to the following topics:
Application papers describing interesting problems and innovative 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.
There are two types of 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 (https://easychair.org/conferences/?conf=modref2021) in the Lecture Notes in Computer Science (LNCS) style (https://resource-cms.springernature.com/springer-cms/rest/v1/content/192...).
We also accept (and encourage) non-traditional electronic submissions, such as interactive works/tool demonstrations. In this case, please contact the chairs (firstname.lastname@example.org) 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 2021. 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
This year, ModRef will host a round-table discussion to identify exciting directions for future improvements in modelling, and model transformation. As a lead-in to this, we will be holding a series of 2-3 minute lightning talks, with the theme What really bugs me about modelling is....
Do you have some favourite problem, that is just really awkward to model? Or a really nice formulation, that somehow becomes garbage by the time it reaches a solver? Some way you really want to use solvers, and they just won’t let you? Come along, and vent your spleen! And together, maybe we’ll come up with some neat ideas.
Please submit your lightning talk ideas through EasyChair by submitting a PDF with a few sentences describing the main idea of your talk.
Abstract submission: August 23rd, 2021
Final submission (extended abstract/full paper/lightning talk): September 2nd, 2021
Notification of acceptance/rejection: September 13th, 2021
Camera ready version: September 30th, 2021
Workshop day: October 25th, 2021
For questions about the workshop, please contact the chairs Dr Emir Demirović (TU Delft, The Netherlands) and Dr Graeme Gange (Monash University, Australia): email@example.com
This message was sent on behalf of the Association for Constraint Programming. If you do not wish to receive further messages, please cancel your account at http://www.a4cp.org or send an email to firstname.lastname@example.org.