The ICLP 2025 Recently Published Research Track provides a forum to discuss recent research on topics related to logic programming. We invite submissions of extended abstracts of papers that have appeared or been accepted for publication in journals or conference proceedings but which have *not* been already presented at ICLP conferences nor at other main logic programming-related conferences (such as, for example, LPNMR, LOPSTR, or LPAR).
Papers accepted to the track will be linked from the conference web site. At least one author of each accepted paper is required to register for the conference to present the work.
Submissions should meet the following criteria:
Papers must have been published in a journal or conference proceedings (except ICLP and closely related conferences) in 2023 or later. Papers that are in press may also be submitted as long as the final camera-ready version is available. They should also fall into one or both of the following categories:
Papers that bridge logic programming to other areas such as declarative programming, constraint programming, knowledge representation, databases, AI, as well as to applications;
Papers that are tightly related to ICLP and meet at least one of the following conditions:
have been published in a journal but have not been presented at workshops or conferences;
have been presented at conferences that are not typically attended by the ICLP community;
have been presented at logic programming meetings with relatively limited attendance;
have been accepted at high-profile conferences with some relation to logic programming.
IMPORTANT DATES (all times are 23:59 Anywhere On Earth, UTC-12)
Abstracts due by May 15, 2025 Reviews back to authors for feedback by June 11, 2025 Response due by June 18, 2025 Final decision by June 22, 2025
SUBMISSION DETAILS
Every submission should be prepared following the format for Technical Communication (TC) paper submission to ICLP 2025. It should contain:
A cover page (single page) listing the title, the authors, a complete reference to the original paper, an accessible URL from which the paper can be downloaded, and a list of keywords. The cover page must also contain a statement that the work the submission is based on has not been already presented at a major logic programming forum (such as earlier ICLP, LPNMR, LOPSTR, LPAR).
A two-page extended abstract of the paper presenting the main contributions of the paper, discussing the relevance of the paper to logic programming, and explaining the significance of the results.
INQUIRIES
Inquiries should be sent by email to and will be handled by the ICLP 2025 RPR Track Chairs:
Manuel Carro, Technical University of Madrid and the IMDEA Software Institute, Spain, manuel.carro@imdea.org
Mirek Truszczyński, University of Kentucky, USA, mirektruszczynski@gmail.com