Logic List Mailing Archive

CfP: XLoKR & ExCoS 2026 – FLoC Joint Workshop on Explainable Logic-Based Knowledge Representation and Explanations with Constraints and Satisfiability, 24 July 2026, Lisbon (Portugal), deadline: 7 May 2026 (extended)

[Apologies if you receive multiple copies]



Deadline Extension: Since the notification of several FLoC conferences, including CP and SAT, is at the end of the month, we extended the XLoKR & ExCoS submission deadline to May 7, 2026.




*******************************************************************************

CALL FOR PAPERS (Extended Submission deadline May 7, 2026)

*******************************************************************************



FLoC 2026 Joint Workshop on

Explainable Logic-Based Knowledge Representation (XLoKR) and

Explanations with Constraints and Satisfiability (ExCoS)



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



Lisbon, Portugal, July 24th 2026

Co-located with the 9th Federated Logic Conference (FLOC) 2026,

including CP, KR, SAT and other related conferences.



*******************************************************************************

AUTHOR GUIDELINES AND SUBMISSION INFORMATION

*******************************************************************************



Paper Submission: May 7, 2026

Notification (potentially later due to deadline extension): May 25, 2026

Camera-ready papers: July 3, 2026



We invite extended abstracts of 25 pages (excluding references) on topics related to explainability in symbolic, logic-based AI.  For submissions of already-published works, the submission may consist of the original published paper together with a note stating the publication venue and year. Reviewing will be single-blind. New papers should be formatted using the LIPIcs style (https://drops.dagstuhl.de/entities/series/LIPIcs) and must be submitted via



https://submissions.floc26.org/xlokr-excos/



Accepted contributions which have not been published before will be made available on the workshop website (unless the authors wish to opt out of this option).
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php