*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] -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>
_______________________________________________ Haskell mailing list -- [email protected] To unsubscribe send an email to [email protected]
