Deadline Extension XLoKR & ExCoS 2026 to May 7
Nico Potyka <[email protected]> Tue, 21 Apr 2026 07:55:00 +0000
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <CWXP265MB346141B1029EBFA70B1479CAED2C2@CWXP265MB3461.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB346141B1029EBFA70B1479CAED2C2CWXP265MB3461GBRP_
Content-Type: text/plain; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
[Apologies if you receive multiple copies]
Deadline Extension: Since the notification of several FLoC conferences, inc=
luding CP and SAT, is at the end of the month, we extended the XLoKR & ExCo=
S 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 2=965 pages (excluding references) on topic=
s related to explainability in symbolic, logic-based AI. For submissions o=
f already-published works, the submission may consist of the original publi=
shed paper together with a note stating the publication venue and year. Rev=
iewing will be single-blind. New papers should be formatted using the LIPIc=
s style (https://drops.dagstuhl.de/entities/series/LIPIcs) and must be subm=
itted via
https://submissions.floc26.org/xlokr-excos/
Accepted contributions which have not been published before will be made av=
ailable on the workshop website (unless the authors wish to opt out of this=
option).
--_000_CWXP265MB346141B1029EBFA70B1479CAED2C2CWXP265MB3461GBRP_
Content-Type: text/html; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1=
252">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
[Apologies if you receive multiple copies]</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p class=3D"elementToProof" style=3D"margin: 0px 0cm;"><span style=3D"font-=
family: Aptos, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">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.</spa=
n></p>
<div class=3D"elementToProof" style=3D"margin: 0cm; font-family: Aptos, san=
s-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
***************************************************************************=
****</p>
<p class=3D"elementToProof" style=3D"margin: 0cm; font-family: Aptos, sans-=
serif; font-size: 12pt;">
CALL FOR PAPERS (Extended Submission deadline May 7, 2026)</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
***************************************************************************=
****</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
FLoC 2026 Joint Workshop on</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
Explainable Logic-Based Knowledge Representation (XLoKR) and</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
Explanations with Constraints and Satisfiability (ExCoS)</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
<span style=3D"color: rgb(70, 120, 134);"><a href=3D"https://sites.google.c=
om/view/xlokrexcos2026/" id=3D"OWA5ffac3a2-e967-e514-21e0-666d017d51ed" cla=
ss=3D"OWAAutoLink" data-auth=3D"NotApplicable" style=3D"color: rgb(70, 120,=
134); margin-top: 0px; margin-bottom: 0px;"><u>https://sites.google.com/vi=
ew/xlokrexcos2026/</u></a></span></p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
Lisbon, Portugal, July 24th 2026</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
Co-located with the 9th Federated Logic Conference (FLOC) 2026,</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
including CP, KR, SAT and other related conferences.</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
***************************************************************************=
****</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
AUTHOR GUIDELINES AND SUBMISSION INFORMATION</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
***************************************************************************=
****</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p class=3D"elementToProof" style=3D"margin: 0px 0cm;"><span style=3D"font-=
family: Aptos, sans-serif; font-size: 12pt;">Paper Submission:
</span><span style=3D"font-family: Aptos, sans-serif; font-size: 12pt; colo=
r: rgb(0, 0, 0);">May 7</span><span style=3D"font-family: Aptos, sans-serif=
; font-size: 12pt;">, 2026</span></p>
<p class=3D"elementToProof" style=3D"margin: 0cm; font-family: Aptos, sans-=
serif; font-size: 12pt;">
Notification (potentially later due to deadline extension): May 25, 20=
26</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
Camera-ready papers: July 3, 2026</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
We invite extended abstracts of 2=965 pages (excluding references) on topic=
s related to explainability in symbolic, logic-based AI. For submissi=
ons of already-published works, the submission
may consist of the original published paper together with a note stating t=
he publication venue and year. Reviewing will be single-blind. New pap=
ers should be formatted using the LIPIcs style (<span style=3D"color: rgb(7=
0, 120, 134);"><a href=3D"https://drops.dagstuhl.de/entities/series/LIPIcs"=
id=3D"OWA9ae4f15d-15bb-1a8f-be11-648ba0316b8f" class=3D"OWAAutoLink" data-=
auth=3D"NotApplicable" style=3D"color: rgb(70, 120, 134); margin-top: 0px; =
margin-bottom: 0px;"><u>https://drops.dagstuhl.de/entities/series/LIPIcs</u=
></a></span>)
and must be submitted via</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
<span style=3D"color: rgb(70, 120, 134);"><a href=3D"https://submissions.fl=
oc26.org/xlokr-excos/" id=3D"OWAef13c3d6-0021-e48c-cc43-fb7dc5e60596" class=
=3D"OWAAutoLink" data-auth=3D"NotApplicable" style=3D"color: rgb(70, 120, 1=
34); margin-top: 0px; margin-bottom: 0px;"><u>https://submissions.floc26.or=
g/xlokr-excos/</u></a></span></p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
</p>
<p style=3D"margin: 0cm; font-family: Aptos, sans-serif; font-size: 12pt;">=
Accepted contributions which have not been published before will be made av=
ailable on the workshop website (unless the authors wish to opt out of this=
option).</p>
</body>
</html>
--_000_CWXP265MB346141B1029EBFA70B1479CAED2C2CWXP265MB3461GBRP_--