[ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana
[apologize for multiple postings]
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2025
41st International Conference on Logic Programming
September 12 - September 19, 2025
University of Calabria, Rende, Italy
https://iclp25.demacs.unical.it
ICLP 2025, the 41st International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 12 to September 19, 2025.
The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience.
Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2025 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered.
The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day.
Workshop Proposal:
==================
Those interested in organizing a workshop at ICLP 2025 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain:
* The title of the workshop.
* A brief technical description of the topics covered by the workshop.
* A discussion of the timeliness and relevance of the workshop.
* A list of some related workshops held in the last years.
* The estimated length of the workshop and an estimate of the number of expected attendees.
* The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person.
* Previous experience of the workshop organizers in workshop/conference organization.
Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chairs by email (see below) by April 1, 2025.
Reviewing Process:
==================
Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 13, 2025.
The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in
establishing a uniform approach to produce proficient and accessible proceedings for the workshops.
Workshop Organizers' Tasks:
===========================
* Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by April 27, 2025, and will be published on the ICLP 2025 home page.
* Providing a brief description of the workshop for the conference program.
* Reviewing/accepting submitted papers.
* Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair.
* Providing a workshop program in a format specified by the conference organizers for posting by August 15, 2025.
* Coordinating the preparation of the workshop proceedings according to the specifications provided by the Workshop Chair.
Location:
=========
Workshops will be collocated with ICLP 2025 at the University of Calabria, Rende, Italy. See the ICLP 2025 web site (https://iclp25.demacs.unical.it) for location details.
Important Dates (Tentative):
============================
April 1, 2025: Proposal submission deadline
April 13, 2025: Notification
April 27, 2025: Deadline for receipt of CfP and workshop web page URL
June 1, 2025: Tentative paper submission deadline
July 13, 2025: Latest Deadline for acceptance notification of paper authors
August 15, 2025: Deadline for workshop program
Submissions:
============
Please submit your workshop proposals by email to the Workshop Chair.
Workshop Chair:
===============
Pierangela Bruno pierange...@unical.it
Jorge Fandinno jfan...@unomaha.edu
Manuel Alejandro Borroto Santana
[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