Collocated within the 41st International Conference on Logic Programming

Unical, Rende (CS), Italy

September 12–13, 2025

Aim and Scope of the Workshop

Representation of legal rules and reasoning over them is a critical application area since laws and regulations are used in almost all human activities. Furthermore, corpora pertaining to laws and regulations are typically complex and enormous in size, and experts are usually needed in order to apply legal reasoning in everyday life. Thus, automating reasoning over legal documents by means of applying logic programming can speed up a process that is laborious and time consuming.

The aim of the workshop is to give the opportunity to legal experts and computer scientists to present recent research results and discuss related ideas on this particularly active area of research.

Topics of Interest

The workshop is open to both theoretical and application contributions regarding the use of Logic Programming towards solutions in legal reasoning, indicatively related, but not limited to the following themes:

• Legal reasoning (searching, compliance checking, decision support)
• Large-scale normative reasoning
• Computational methods for legal reasoning
• Formal analysis of normative concepts and normative systems
• Expressive vs. lightweight representations of legal knowledge
• Deontic Logic and Law
• Non-Monotonic Reasoning and Law
• Epistemic Logics and Law
• Applications of Logic Programming in the legal domain

Important Dates

• Submission deadline: June 1, 2025
• Notification: June 13, 2025
• Camera-ready: June 30, 2025
• Workshop: September 12–13, 2025
• Conference (ICLP 2025): September 15–19, 2025

The reference time-zone for all deadlines is Anywhere on Earth (AoE) UTC-12.

Programme

TBA

Submission Details

Submissions should be 7–14 pages in PDF format, including abstract, figures and references, and according to the CEUR-WS template (single column). The reviewing will be single-blind. All submissions will be made electronically through the EasyChair conference system.

At least one of the authors must register and attend ICLP to present the paper for inclusion in the workshop proceedings.

Workshop Co-Chairs