<div dir="ltr"><div dir="ltr">
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos">
<span id="m_8586417990802910777m_-6799393065861376134m_-3454677851097949964m_4663919262836356357gmail-docs-internal-guid-0d7b01de-7fff-1e64-6ca1-5eb3f61bced6"><span style="font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><i>[apologize for multiple postings]</i></span></span>
<br></p><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN"><br></span></b></p><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN"><br></span></b></p><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">Second Call for
Papers</span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">41st International Conference on Logic Programming
(ICLP’25)<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">University of Calabria, Rende, Italy | September 12-19,
2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><a href="https://iclp25.demacs.unical.it/" target="_blank"><span style="color:rgb(17,85,204)">https://iclp25.demacs.unical.it/</span></a> <span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">SCOPE<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">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:<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">Theoretical
Foundations:<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 0.5in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">Formal
and operational semantics, Non-monotonic reasoning, Reasoning under
uncertainty, Knowledge representation, Semantic issues of combining logic and
neural models, Complexity results.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">Language Design
and Programming Methodologies:<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 0.5in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">Concurrency
and parallelism, Mobility, Interacting wit h 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.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">Program Analysis
and Optimization:<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 0.5in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">Analysis,
Transformation, Verification, Debugging, Profiling, Visualization, Logic-based
validation of generated programs.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">Implementation
Methodologies and Applications:<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 0.5in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">Compilation,
Constraint implementation, Ethics and trustworthiness, Explainability,
Parallel/distributed execution, Search and optimization problems, Heuristic
methods, Logic-based prompt engineering, Tabling, User interfaces.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">IMPORTANT DATES<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Paper registration (regular papers): April 13, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Paper submission (regular papers): April 18, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Notification (regular papers): May 25, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Paper submission (TC papers, IJCAI Fast Track papers):
June 15, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Revision submission (TPLP papers): June 15, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Final notification: July 6, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Final version: July 27, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Main conference: September 15-19, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">TRACKS AND SPECIAL
SESSIONS<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">In addition to the main track, ICLP’25 will host:<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- 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.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Recently Published Research Track: Detailed information
will be announced separately.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN" style="color:red"><span> </span></span><span lang="EN"><span> <br></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">AFFILIATED EVENTS<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Workshops: September 12-14, 2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Autumn School in Computational Logic: September 12-14,
2025<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Doctoral Consortium: September 12-14, 2025 <span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">- Logic Programming Contest: September 16 or 17, 2025 <span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang="EN" style="color:black">- International
Symposium on Principles and Practice of Declarative Programming (PPDP 2025)</span><span lang="EN" style="font-size:12pt;font-family:"Courier New";color:rgb(34,34,34)"><span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang="EN" style="color:black">- </span><span lang="EN">International Symposium on <span style="color:black">Logic-based
Program Synthesis and Transformation (LOPSTR 2025)</span></span><span lang="EN" style="font-size:12pt;font-family:"Courier New";color:rgb(34,34,34)"><span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">SUBMISSION DETAILS<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">All submissions must be written in English. Papers
accepted at ICLP may appear either in<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">-<span> </span>The journal
Theory and Practice of Logic Programming (TPLP) published by Cambridge
University Press. TPLP format is described at: <a href="https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials" target="_blank"><span style="color:rgb(17,85,204)">https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials</span></a><span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">-<span> </span>The ICLP 2025
Technical Communication Proceedings published by Electronic Proceedings in
Theoretical Computer Science (EPTCS). EPTCS format is described at: <a href="http://style.eptcs.org" target="_blank"><span style="color:rgb(70,120,134)">http://style.eptcs.org</span></a><span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">Submissions may have one of two forms:<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">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:<span></span></span></p>
<p class="MsoNormal" style="margin:12pt 0in 0.0001pt 1in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span>-<span style="font:7pt "Times New Roman"">
</span></span></span><span lang="EN">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<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 1in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span>-<span style="font:7pt "Times New Roman"">
</span></span></span><span lang="EN">The paper ID of the IJCAI’25
submission<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 1in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span>-<span style="font:7pt "Times New Roman"">
</span></span></span><span lang="EN">The authors listed on the IJCAI’25
submission<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 1in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span>-<span style="font:7pt "Times New Roman"">
</span></span></span><span lang="EN">The title of the IJCAI’25
submission<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 1in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span>-<span style="font:7pt "Times New Roman"">
</span></span></span><span lang="EN">The original PDF submitted to
IJCAI’25<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 1in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span>-<span style="font:7pt "Times New Roman"">
</span></span></span><span lang="EN">The IJCAI’25 reviews, including
scores and text evaluations<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt 1in;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">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.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">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.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">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.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">Submissions will be made via EasyChair,<span style="color:black"> following the link </span><a href="https://easychair.org/conferences/?conf=iclp25" target="_blank"><span style="color:rgb(70,120,134)">https://easychair.org/conferences/?conf=iclp25</span></a><span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">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.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">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.<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">VENUE<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">ICLP’25 will be held on the campus of the University of
Calabria in Rende, Italy, during 12-19 September 2025. <span style="color:black;background:white">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.</span>
<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">ORGANIZATION<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">General Chair: Francesco Ricca<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN">Program Co-chairs: Martin Gebser and Daniela Inclezan<span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang="EN" style="color:black">Publicity Chairs:
Manuel Borroto and Francesco Calimeri</span><span lang="EN" style="font-size:12pt;font-family:"Courier New";color:rgb(34,34,34)"><span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang="EN" style="color:black">Local Chairs: Antonio
Ielo and Giuseppe Mazzotta</span><span lang="EN" style="font-size:12pt;font-family:"Courier New";color:rgb(34,34,34)"><span></span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><span lang="EN"><span> </span></span></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><span lang="EN">PROGRAM COMMITTEE<span></span></span></b></p>
<p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><a name="m_8586417990802910777__heading=h.gjdgxs"></a><span lang="EN">TBA<span></span></span></p>
<br></div>
</div>