[EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26

--000000000000d97b4e0650aeedb1
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

*Call for Papers*

1st Workshop on End-User Logic Programming (EULP 2026)
July 18, 2026 | Lisbon, Portugal
https://eulp.gitlab.io/eulp2026/

Part of FLoC 2026
https://www.floc26.org/

IMPORTANT DATES (AoE):

    - Submission Deadline: *May 9, 2026*
    - Notification of Acceptance: *May 21, 2026*


*GENERAL INFORMATION*

Since its inception, Logic Programming (LP) has proven itself as a powerful
technique for tackling concrete problems, such as configuration,
scheduling,
and planning. Yet, LP and related approaches have difficulties gaining
wider
traction within industry, and LP adoption is still largely driven by an
academic
push rather than an industry pull. A key reason for this discrepancy is the
fact
that building accurate programs is a difficult, costly, and error-prone
process,
especially for people without prior LP experience. More generally, this
problem
is known as the Knowledge Acquisition Bottleneck, which is a challenge for
all
approaches in the broader field of knowledge representation.

To help tackle this issue, researchers have been looking at ways to improve
the
accessibility of LP. More recently, the research direction has seen a
significant
rise in interest. Still, with no dedicated event to support it, tools and
methodologies can be scattered and hard to find.

The "End-user Logic Programming" (EULP) workshop offers a dedicated forum
for work
on techniques and methodologies that lower the logic programming threshold
for
non-experts. Additionally, we also welcome work which allows LP-approaches
to be
turned into full-fledged, user-ready products. In this way, we facilitate
sharing
new techniques, and stimulate networking between researchers from different
fields.


*SCOPE*

EULP welcomes all works that aim to lower the threshold related to logic
programming
for non-experts and to help LP approaches gain more traction in real-life
situations.
A non-exhaustive list of topics includes:

    - User-friendly formalisms, such as Controlled Natural Languages and
graphical languages
    - Accessible interactivity with logic programs
    - Visualisation methods
    - Explainability
    - LLM-assisted workflows: LLMs in formalization, validation,
explanation, and others
    - Integration of LP approaches in traditional programs
    - Cognitive modeling complexity of LP
    - Accessible UI design for LP-based tools


*SUBMISSIONS*

We invite three types of submissions:

    - Long papers (up to 14 pages) describing original, unpublished
research.
    - Short papers (up to 8 pages) describing original, unpublished
research.
    - Extended abstracts (2-4 pages) of work that has already been
published.


Proceedings shall be submitted to CEUR-WS.org for online publication.
Therefore, all papers should use the CEURART style (
https://eulp.gitlab.io/eulp2026/ceur.zip).


Submission Site
Papers should be submitted through the dedicated EULP submission system:
https://submissions.floc26.org/eulp/


*ORGANIZATION*

    Mario Alviano, University of Calabria
    Susana Hahn, University of Potsdam
    Luis Angel Rodriguez Reiners, University of Calabria
    Torsten Schaub, University of Potsdam
    Simon Vandevelde, KU Leuven


For any questions regarding the workshop, please contact:
[email protected]

--=20
---------------------------------------------------------------------------=
---------------------------------------
Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica=
=20
dell'Universit=C3=A0 della Calabria
 <https://www.unical.it/5x1000>


--000000000000d97b4e0650aeedb1
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div><b><br></b></div><div><b>Call for Pa=
pers</b></div><br>1st Workshop on End-User Logic Programming (EULP 2026) <b=
r>July 18, 2026 | Lisbon, Portugal <br><a href=3D"https://eulp.gitlab.io/eu=
lp2026/" target=3D"_blank">https://eulp.gitlab.io/eulp2026/</a><br><br><div=
>Part of FLoC 2026=C2=A0</div><div><a href=3D"https://www.floc26.org/" targ=
et=3D"_blank">https://www.floc26.org/</a></div><br>IMPORTANT DATES (AoE):<b=
r><br>=C2=A0 =C2=A0 - Submission Deadline: <b>May 9, 2026</b><br>=C2=A0 =C2=
=A0 - Notification of Acceptance: <b>May 21, 2026</b><br><br><br><b>GENERAL=
 INFORMATION</b><br><br>Since its inception, Logic Programming (LP) has pro=
ven itself as a powerful <br>technique for tackling concrete problems, such=
 as configuration, scheduling, <br>and planning. Yet, LP and related approa=
ches have difficulties gaining wider <br>traction within industry, and LP a=
doption is still largely driven by an academic <br>push rather than an indu=
stry pull. A key reason for this discrepancy is the fact <br>that building =
accurate programs is a difficult, costly, and error-prone process, <br>espe=
cially for people without prior LP experience. More generally, this problem=
 <br>is known as the Knowledge Acquisition Bottleneck, which is a challenge=
 for all <br>approaches in the broader field of knowledge representation.<b=
r><br>To help tackle this issue, researchers have been looking at ways to i=
mprove the <br>accessibility of LP. More recently, the research direction h=
as seen a significant <br>rise in interest. Still, with no dedicated event =
to support it, tools and <br>methodologies can be scattered and hard to fin=
d.<br><br>The &quot;End-user Logic Programming&quot; (EULP) workshop offers=
 a dedicated forum for work <br>on techniques and methodologies that lower =
the logic programming threshold for <br>non-experts. Additionally, we also =
welcome work which allows LP-approaches to be <br>turned into full-fledged,=
 user-ready products. In this way, we facilitate sharing <br>new techniques=
, and stimulate networking between researchers from different fields.<br><b=
r><br><b>SCOPE</b><br><br>EULP welcomes all works that aim to lower the thr=
eshold related to logic programming <br>for non-experts and to help LP appr=
oaches gain more traction in real-life situations. <br>A non-exhaustive lis=
t of topics includes:<br><br>=C2=A0 =C2=A0 - User-friendly formalisms, such=
 as Controlled Natural Languages and graphical languages<br>=C2=A0 =C2=A0 -=
 Accessible interactivity with logic programs<br>=C2=A0 =C2=A0 - Visualisat=
ion methods<br>=C2=A0 =C2=A0 - Explainability<br>=C2=A0 =C2=A0 - LLM-assist=
ed workflows: LLMs in formalization, validation, explanation, and others<br=
>=C2=A0 =C2=A0 - Integration of LP approaches in traditional programs<br>=
=C2=A0 =C2=A0 - Cognitive modeling complexity of LP<br>=C2=A0 =C2=A0 - Acce=
ssible UI design for LP-based tools<br><br><br><b>SUBMISSIONS</b><br><br><d=
iv>We invite three types of submissions:</div><div><br></div>=C2=A0 =C2=A0 =
- Long papers (up to 14 pages) describing original, unpublished research.<b=
r>=C2=A0 =C2=A0 - Short papers (up to 8 pages) describing original, unpubli=
shed research.<br>=C2=A0 =C2=A0 - Extended abstracts (2-4 pages) of work th=
at has already been published.<br><br><br>Proceedings shall be submitted to=
 CEUR-WS.org for online publication. <br>Therefore, all papers should use t=
he CEURART style (<a href=3D"https://eulp.gitlab.io/eulp2026/ceur.zip" targ=
et=3D"_blank">https://eulp.gitlab.io/eulp2026/ceur.zip</a>).<br><br><br>Sub=
mission Site<div>Papers should be submitted through the dedicated EULP subm=
ission system:</div><div><a href=3D"https://submissions.floc26.org/eulp/" t=
arget=3D"_blank">https://submissions.floc26.org/eulp/</a></div><br><br><b>O=
RGANIZATION</b><br><br>=C2=A0 =C2=A0 Mario Alviano, University of Calabria<=
br>=C2=A0 =C2=A0 Susana Hahn, University of Potsdam<br>=C2=A0 =C2=A0 Luis A=
ngel Rodriguez Reiners, University of Calabria<br>=C2=A0 =C2=A0 Torsten Sch=
aub, University of Potsdam<br>=C2=A0 =C2=A0 Simon Vandevelde, KU Leuven<br>=
<br><br>For any questions regarding the workshop, please contact: <a href=
=3D"mailto:[email protected]" target=3D"_blank">s.vandevelde@kuleuve=
n.be</a><br><br></div>
</div>

<br>
<div style=3D"font-family:Arial,Helvetica,sans-serif;font-size:1.3em">-----=
-------------------------<span></span><span></span><span></span><span></spa=
n><span></span><span></span><span></span><wbr>-----------------------------=
-<span></span><span></span><span></span><span></span><span></span><span></s=
pan><span></span><wbr>------------------------------<span></span><span></sp=
an><span></span><span></span><span></span><span></span><span></span><wbr>--=
----------------------</div><div><font face=3D"Arial, Helvetica, sans-serif=
"><span style=3D"font-size:13px">Il banner =C3=A8 generato automaticamente =
dal servizio di posta elettronica dell&#39;Universit=C3=A0 della Calabria</=
span></font></div><div><font face=3D"Arial, Helvetica, sans-serif"><span st=
yle=3D"font-size:13px"><a href=3D"https://www.unical.it/5x1000" target=3D"_=
blank"><img src=3D"https://www.unical.it/uuid-media/ec0319a7-45d7-49d8-9d9d=
-45463b1ed86d/" alt=3D"https://www.unical.it/5x1000"></a><br></span></font>=
</div>
--000000000000d97b4e0650aeedb1--