[ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

*[apologize for multiple postings]*



*First Call for Papers*

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

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

https://iclp25.demacs.unical.it/



*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, Theory reasoning, 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 and Applications:*

Compilation, Constraint implementation, Ethics and trustworthiness,
Explainability, Parallel/distributed execution, Search and optimization
problems, Heuristic methods, Logic-based prompt engineering, Tabling, User
interfaces.



*IMPORTANT DATES*

- Paper registration (regular papers): April 13, 2025

- Paper submission (regular papers): April 18, 2025

- Notification (regular papers): May 25, 2025

- Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025

- Revision submission (TPLP papers): June 15, 2025

- Final notification: July 6, 2025

- Final version: July 27, 2025

- Main conference: September 15-19, 2025



*TRACKS AND SPECIAL SESSIONS*

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

- IJCAI Fast Track: The notification date for IJCAI’25 does not allow
authors of rejected papers to submit to ICLP’25. In coordination with the
IJCAI’25 program chairs, we have therefore instituted a process by which
authors can submit revised versions of such rejected papers directly to
ICLP’25. Authors must submit a cover letter explaining how they have
addressed the critical issues raised by IJCAI’25 reviewers before
submitting their revised paper to the IJCAI Fast Track of ICLP’25. The
submission will then enter the “revision” phase and be considered for
publication in TPLP.

- Recently Published Research Track: Detailed information will be announced
separately.



*AFFILIATED EVENTS*

- Workshops: September 12-14, 2025

- Autumn School in Computational Logic: September 12-14, 2025

- Doctoral Consortium: September 12-14, 2025

- Logic Programming Contest: September 16 or 17, 2025

- International Symposium on Principles and Practice of Declarative
Programming (PPDP 2025)

- International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2025)



*SUBMISSION DETAILS*

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

-   The journal Theory and Practice of Logic Programming (TPLP) published
by Cambridge University Press. TPLP format is described at:
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials

-   The ICLP 2025 Technical Communication Proceedings published by
Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS
format is described at: http://style.eptcs.org



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 improvements made to the paper compared to the previous
(IJCAI’25) submission, including clarifications on any perceived errors in
the reviewers' assessments, if applicable

-          The paper ID of the IJCAI’25 submission

-          The authors listed on the IJCAI’25 submission

-          The title of the IJCAI’25 submission

-          The original PDF submitted to IJCAI’25

-          The IJCAI’25 reviews, including scores and text evaluations



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.



*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: Martin Gebser and Daniela Inclezan

Publicity Chairs: Manuel Borroto and Francesco Calimeri

Local Chairs: Antonio Ielo and Giuseppe Mazzotta



*PROGRAM COMMITTEE*

TBA