[PlanetKR] [CFP] EULP at FLOC26 - First Edition of Workshop on End-User Logic Programming

[Simon Vandevelde]

Workshop on End-User Logic Programming (EULP), July 18

Part of FLOC 2026

*Call for papers*

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.

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.

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:

  * 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 papers:

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

Deadlines:

  * Submission deadline: 9th of May
  * Notification of acceptance: 1st of June

*Organisers:*

  * 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

More info, see our website (https://eulp.gitlab.io/eulp2026/) or contact 
s.vandevelde at kuleuven.be.

Thanks!


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20260203/a7fe124b/attachment.htm>