<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Workshop on End-User Logic Programming (EULP), July 18</p>
<p>Part of FLOC 2026</p>
<p><b>Call for papers</b></p>
<p>Since its inception, Logic Programming has proven itself as a
powerful technique for tackling concrete problems, such as
configuration, scheduling, and planning. Yet, we see that LP and
related approaches have difficulties gaining wider traction within
industry, and that 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.</p>
<p>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.</p>
<p>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.</p>
<p>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 is as follows:</p>
<ul>
<li>User-friendly formalisms, such as Controlled Natural Languages
and graphical languages</li>
<li>Accessible interactivity with logic programs</li>
<li>Visualisation methods</li>
<li>Explainability</li>
<li>LLM-assisted workflows: LLMs in formalization, validation,
explanation, and others</li>
<li>Integration of LP approaches in traditional programs</li>
<li>Cognitive modeling complexity of LP</li>
<li>Accessible UI design for LP-based tools</li>
</ul>
<p><b>Submissions</b></p>
<p>We invite three types of papers:</p>
<ul>
<li>Long papers (up to 14 pages) describing original, unpublished
research</li>
<li>Short papers (up to 8 pages) describing original, unpublished
research</li>
<li>Extended abstract (2-4 pages) of work that has already been
published.</li>
</ul>
<p>Deadlines:</p>
<ul>
<li>Submission deadline: 9th of May</li>
<li>Notification of acceptance: 1st of June</li>
</ul>
<p><b>Organisers:</b></p>
<ul>
<li>Mario Alviano, University of Calabria</li>
<li>Susana Hahn, University of Potsdam</li>
<li>Luis Angel Rodriguez Reiners, University of Calabria</li>
<li>Torsten Schaub, University of Potsdam</li>
<li>Simon Vandevelde, KU Leuven</li>
</ul>
<p>More info, see our website (<a class="moz-txt-link-freetext" href="https://eulp.gitlab.io/eulp2026/">https://eulp.gitlab.io/eulp2026/</a>) or
contact <a class="moz-txt-link-abbreviated" href="mailto:s.vandevelde@kuleuven.be">s.vandevelde@kuleuven.be</a>.</p>
<p>Thanks!</p>
<p><br>
</p>
<p><br>
</p>
</body>
</html>