[CP 2024] - Workshop submissions

[Jordi Coll]

Dear all,

The workshops described below, that will be held during CP 2024, are currently accepting submissions.

More details can be found at CP2024's webpage: https://cp2024.a4cp.org/workshops.html

26th International Workshop on Configuration (ConfWS 2024)

The Configuration Workshop (ConfWS) is a two-day event that started at the AAAI’96 Fall Symposium and from 1999 onwards has been continued at IJCAI, AAAI, ECAI, CP, and SPLC conferences, as well as stand-alone. The workshop promotes high-quality research in all technical areas related to configuration and to bring together researchers working in the various fields of applicable technologies and industry representatives. The main goal is to engage participants from academia and industry in a working group to foster synergies and act as incubator of solutions, scenarios possibilities, and future projects on Artificial Intelligence techniques in the configuration domain.

Organisers: Elise Vareilles, Chiara Grosso, José Miguel Horcas, Alexander Felfering.

Submission deadline: June 16th

23rd workshop on Constraint Modelling and Reformulation (ModRef 2024)

The ModRef workshop series aims to bring together researchers around the topic of modelling with constraints. 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.

Organisers: Nysret Musliu, Hélène Verhaeghe.

Submission deadline: July 3rd

Seventh Workshop on Progress Towards the Holy Grail (PTGH-24)

In 1996 the paper “In Pursuit of the Holy Grail” proposed that Constraint Programming was well-positioned to pursue the Holy Grail of computer science: the user simply states the problem and the computer solves it. The PTHG series of workshops aims to encourage and disseminate progress towards that goal, in particular regarding work on automating:

• Problem Acquisition: user interaction, learning from examples, model reformulation, debugging, maintenance, etc.
• Solver Construction: tuning parameters, selecting from portfolios, learning heuristics, deep learning, etc.
• User Explanation: reasons for failure, comparison of alternatives, implications for choices, bias detection, suggested modifications, visualization, etc.

Of particular interest is the intersection of the Holy Grail goal with the increasing attention being paid to machine learning, explainable AI, and human-centric AI, and with current work on chatbots and LLMs.

Organiser: Eugene Freuder

Submission deadline: July 4th

First Workshop on Discrete Optimization with Soft Constraints (Soft 2024)

The purpose of this Workshop is to bring together researchers from different fields that work on modeling and solving discrete optimization problems that can be factorized into independent pieces. Some paradigms that fall into this description are:

• Weighted CSPs
• Max-SAT
• Pseudo-Boolean Optimization
• Max-SMT
• Markov Random Fields
• Bayesian Networks
• Integer Programming
• Constraint Optimization Problem
• Graphical Model

Of particular interest to the workshop is the presentation of modeling and solving techniques in one paradigm that can be transferred to the others producing cross-fertilization.

Organisers: Simon de Givry, Javier Larrosa

Submission deadline: June 26th