Explanations workshop, final call

[Tias Guns]

Dear constraints mailinglist,

This is the final call for the XLoKR & ExCoS 2026 workshop, hosted at
FLOC 26.

https://sites.google.com/view/xlokrexcos2026

The goal of this joint workshop is to bring together two communities
that have been working in parallel on these challenges:

- Explanations with Constraints and Satisfiability (ExCoS): this
workshop focuses on methods for making constraint solving algorithms and
tools more explainable, and the use of solvers to compute explanations
in applications such as planning and machine learning. The first edition
took place alongside CP/SAT in Scotland (Glasgow, 2025).

- Explainable Logic-Based Knowledge Representation (XLoKR): this series
of workshops has since 2020 provided a forum for discussing how symbolic
knowledge representation and reasoning can provide explanations of the
behaviour of symbolic and sub-symbolic AI systems. Previous editions of
XLoKR took place alongside KR in Greece (Rhodes, virtual 2020), Vietnam
(Hanoi, virtual 2021), Israel (Haifa, 2022), Greece (Rhodes, 2023),
Vietnam (Hanoi, 2024) and Australia (Melbourne, 2025).


The slightly extended deadline is Sunday 10 May.


Submission format is light-weight: 2-5 pages, can be previously published.


See you at FLOC,
Tias