CP/SAT workshop on Explanations with Constraints and Satisfiability

[Tias Guns]

** Call for Presentations
**
** ExCoS 2025: 1st Workshop on
** Explanations with Constraints and Satisfiability
**
** A CP/SAT 2025 workshop, August 10, 2025, Glasgow, Scotland
**
** https://sites.google.com/view/excos2025
**
** Submission deadline: June 09, 2025
** Notifications: June 20, 2025

The main goal of the ExCoS workshop is to provide a platform for
discussing recent advances and exploring future research directions in the
intersection of constraint solving and explainability.

This includes developing techniques for explaining the outcome of a solver
(e.g. unsatisfiability, optimality), techniques for making the constraint
solving process more explainable, as well as ways of using constraint
solvers to compute explanations in various application settings, such as
in machine learning and planning.

The workshop is specifically targeted to both SAT and CP and is organized
as an in-person event on the first CP/SAT 2025 workshop day, August 10,
2025.

TOPIC OF INTEREST include

-explainable constraint solving
-minimal and optimal unsatisfiable subsets
-step-wise explanations
-explanations for optimality
-explainable proofs
-explanations with global constraints
-formal explanations for machine learning
-explainable planning
-model reconciliation and feasibility restoration
-interactive explanation systems
-counterfactual reasoning in constraint solving
-visual explanations
-debugging and trace analysis with explanations
-evaluation metrics for explainability
-user-centered explanation interfaces

and other related topics.

FORMAT

The workshop will consist of a number of 20+10-min talks, with 10 minutes
allocated for discussion for each talk to enable a true workshop-style
atmosphere.  A longer invited talk or panel may be organized as well.

Talks are solicited through an open call for papers and selected by the
workshop organizers based on suitability to the workshop theme.

SUBMISSION INSTRUCTIONS

Talks will be selected based on extended abstracts of at most 2 pages
(incl references) in pdf, including a starting one-paragraph summary. For
the extended abstract the authors may use e.g. the CP or SAT submission
templates. Presentations on already-published papers, works in progress,
position papers and system descriptions/demos are all invited.

Authors can optionally add up to 10 pages of technical report as an
appendix to the extended abstract. For already-published papers, a pointer
to a published version of the work should be provided.

All accepted talks will have their title and the one-paragraph summary
published on this page. Authors will be able to choose whether they want
the extended abstract and the slides also made available on this page.
Talks are presented in person in Glasgow. All presenters and attendees are
expected to register to the CP/SAT workshop day.

Submit your extended abstract via email to exc...@stes.fi with the subject
title "ExCoS25 submission" by the submission deadline.

For any questions related to the workshop, please use exc...@stes.fi
to reach all organizers.

ORGANIZERS

Bart Bogaerts (KU Leuven, Belgium)
Tias Guns (KU Leuven, Belgium)
Matti Järvisalo (University of Helsinki, Finland)
Jussi Rintanen (Aalto University, Finland)