*[apologize for multiple postings]* *Call for Papers – Special Tracks*
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. This year ICLP features two special tracks: · The IJCAI Fast Track - Paper submission: June 15, 2025 · Recently Published Research Track – Abstract submission: May 15, 2025 For comprehensive details, kindly refer to the information provided below for both tracks. *IJCAI FAST TRACK DETAILS* In coordination with the IJCAI program chairs, authors with rejected papers at IJCAI’25 can submit revised versions of such 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. *IMPORTANT DATES* - Paper submission: June 15, 2025 - Final notification: July 6, 2025 - Final version: July 27, 2025 - Main conference: September 15-19, 2025 *SUBMISSION DETAILS * <https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials> All submissions must be written in English. Papers accepted at ICLP may appear 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 *Formatting Requirements* Papers must not exceed 14 pages in TPLP format, including references. IJCAI Fast Track papers will be published in a special issue of TPLP, as with regular ICLP submissions. 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. Submissions will be made via EasyChair, following the link: https://easychair.org/conferences/?conf=iclp25 *RECENTLY PUBLISHED RESEARCH TRACK DETAILS * The ICLP'25 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: 1. Papers that bridge logic programming to other areas such as declarative programming, constraint programming, knowledge representation, databases, AI, as well as to applications; 2. 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* - 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 - Main conference: September 15-19, 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. Submissions will be made via EasyChair, following the link https://easychair.org/conferences/?conf=iclp25 *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. -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell