Main Track: Call For Papers

The 41st International Conference on Logic Programming (ICLP’25) will be held at the University of Calabria, Rende, Italy, from September 12-19, 2025.

Scope

ICLP is the premier international event for presenting research in logic programming. Contributions are sought in all areas, including:

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

Submission Instructions

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

1. The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format: tplp-style
2. The ICLP 2025 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format: eptcs-style

Submissions can be:

• Regular papers and IJCAI Fast Track papers: At most 14 pages in TPLP format, including references. Accepted papers will be published in a special issue of TPLP.
  • IJCAI Fast Track papers require a PDF cover letter detailing improvements, IJCAI’25 paper ID, authors, title, original PDF, and reviews.
  • Regular papers not accepted for TPLP may be invited to the Technical Communication Proceedings. Authors can convert such papers into an extended abstract (2 or 3 pages in EPTCS format).
• Technical Communication (TC) papers: At most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings.

Submissions must be made via EasyChair: https://easychair.org/conferences/?conf=iclp25

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere (except for Recently Published Research Track and limited-audience workshop papers).

Important Dates

(All times are 23:59 Anywhere On Earth, UTC-12)

• Paper registration (regular papers): April 13, 2025
• Paper submission (regular papers): April 18, 2025 (Extended: April 25, 2025)
• Notification (regular papers): May 25, 2025 (Extended: May 31, 2025)
• Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025 (Extended: June 22, 2025)
• Revision submission (TPLP papers): June 15, 2025 (Extended: June 22, 2025)
• Final notification: July 6, 2025
• Final version: July 27, 2025
• Main conference: September 15-19, 2025

Tracks and Special Sessions

• IJCAI Fast Track: For revised IJCAI’25 rejected papers.
• Recently Published Research Track: Detailed information to 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 Logic-based Program Synthesis and Transformation (LOPSTR 2025): September 9-10, 2025
• International Symposium on Principles and Practice of Declarative Programming (PPDP 2025): September 10-11, 2025

Venue

ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy.

Organization

• General Chair: Francesco Ricca
• Program Co-chairs: Daniela Inclezan, Martin Gebser
• Publicity Chairs: Manuel Borroto, Francesco Calimeri
• Local Chairs: Antonio Ielo, Giuseppe Mazzotta

Contact Us

iclp25@easychair.org