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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
