Main Track

Call For Paper

The 41st International Conference on Logic Programming (ICLP’25)

University of Calabria, Rende, Italy | September 12-19, 2025

SCOPE

Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:


Theoretical Foundations:

Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results.


Language Design and Programming Methodologies:

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Answer Set Programming, Inductive Logic Programming, Coinductive Logic Programming


Program Analysis and Optimization:

Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs.


Implementation Methodologies:

Compilation, Parallel/distributed execution, Constraint implementation, Tabling, Logic-based prompt engineering, User interfaces.

IMPORTANT DATES
(all times are 23:59 Anywhere On Earth, UTC-12)

SUBMISSION INSTRUCTION

All submissions must be written in English. Papers accepted at ICLP may appear either in


Submissions may have one of two forms:



1) Regular papers and IJCAI Fast Track papers are at most 14 pages in TPLP format, including references. Accepted regular and IJCAI Fast Track papers will be published in a special issue of TPLP. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing:


The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI’25 to share all submitted information with ICLP’25 to verify its accuracy. ICLP’25 may summarily reject papers for several reasons, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original authors without justification.


Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’25. The authors can choose to convert a regular paper accepted for the Technical Communication Proceedings into an extended abstract (2 or 3 pages in EPTCS format), which should allow for submitting a long paper version elsewhere.


2) Technical Communication (TC) papers are at most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings.


Submissions will be made via EasyChair, following the link https://easychair.org/conferences/?conf=iclp25


All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to Recently Published Research Track submissions as well as previously accepted workshop papers with a limited audience and/or without archival proceedings.


All accepted papers will be presented during the conference. Authors of accepted papers will be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.




TRACKS AND SPECIAL SESSIONS

In addition to the main track, ICLP’25 will host:

AFFILIATED EVENTS

VENUE

ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts.

ORGANIZATION

General Chair: 

Francesco Ricca


Program Co-chairs: 

Daniela Inclezan 

Martin Gebser


Publicity Chairs: 

Manuel Borroto 

Francesco Calimeri


Local Chairs: 

Antonio Ielo

Giuseppe Mazzotta