[ACP members] ModRef 2021 CALL FOR PAPERS

From: 

no-reply@a4cp.org

Category: 

ACP members

To: 

no-reply@a4cp.org

BCC: 

remy.garcia@i3s.unice.fr
charles.prudhomme@imt-atlantique.fr
gael.glorian@gmail.com
susanneheipcke@fico.com
uli.junker@free.fr
nicolas.isoart@gmail.com
michael.maher@reasoning.org.au
pierre-alain.yvars@supmeca.fr
arth.godet@gmail.com
graeme.gange@monash.edu
jfoley@norwichresearch.com
andrea.rendl@gmail.com
alexey.ignatiev@gmail.com
xaviergillard@gmail.com
vincent.gingras.cem@gmail.com
helene.verhaeghe27@gmail.com
mohamedsami.cherif@lis-lab.fr
lazaar@lirmm.fr
lau.sena.gabriel@gmail.com
marciominicz@gmail.com
hanka@fi.muni.cz
alexandre@ensta.fr
france.dacar@ijs.si
Russ.Abbott@gmail.com

Headers: 

Content-Type: text/html; charset=UTF-8 Bcc: remy.garcia@i3s.unice.fr, charles.prudhomme@imt-atlantique.fr, gael.glorian@gmail.com, susanneheipcke@fico.com, uli.junker@free.fr, nicolas.isoart@gmail.com, michael.maher@reasoning.org.au, pierre-alain.yvars@supmeca.fr, arth.godet@gmail.com, graeme.gange@monash.edu, jfoley@norwichresearch.com, andrea.rendl@gmail.com, alexey.ignatiev@gmail.com, xaviergillard@gmail.com, vincent.gingras.cem@gmail.com, helene.verhaeghe27@gmail.com, mohamedsami.cherif@lis-lab.fr, lazaar@lirmm.fr, lau.sena.gabriel@gmail.com, marciominicz@gmail.com, hanka@fi.muni.cz, alexandre@ensta.fr, france.dacar@ijs.si, Russ.Abbott@gmail.com
  <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:

  1. (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.
  2. (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.

Invited Talks

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 (modref2021@tudelft.nl) 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.

Important Dates:

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): modref2021@tudelft.nl

--
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 webmaster@a4cp.org.

Result: 

1