[ICLP 2025 - First Call for Papers] 41st Internation al Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> Thu, 27 Feb 2025 19:17:03 +0100
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <CAF4PLRB1gOcPQXU-MyBEaUm0ZFj-q56hkx6cDgHT6=P_KUqjNQ@mail.gmail.com> |
--000000000000ff0f1d062f23b2db Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *[apologize for multiple postings]* *First Call for Papers* 41st International Conference on Logic Programming (ICLP=E2=80=9925) 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=E2=80=9925 will host: - IJCAI Fast Track: The notification date for IJCAI=E2=80=9925 does not all= ow authors of rejected papers to submit to ICLP=E2=80=9925. In coordination wi= th the IJCAI=E2=80=9925 program chairs, we have therefore instituted a process by = which authors can submit revised versions of such rejected papers directly to ICLP=E2=80=9925. Authors must submit a cover letter explaining how they hav= e addressed the critical issues raised by IJCAI=E2=80=9925 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP=E2=80=9925. = The submission will then enter the =E2=80=9Crevision=E2=80=9D phase and be cons= idered 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-progra= mming/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=E2=80=9925) submission, including clarifications on any perceived er= rors in the reviewers' assessments, if applicable - The paper ID of the IJCAI=E2=80=9925 submission - The authors listed on the IJCAI=E2=80=9925 submission - The title of the IJCAI=E2=80=9925 submission - The original PDF submitted to IJCAI=E2=80=9925 - The IJCAI=E2=80=9925 reviews, including scores and text evaluati= ons The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI=E2=80=9925 to share all submitted information with ICLP=E2=80=9925 to= verify its accuracy. ICLP=E2=80=9925 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=E2=80=9925. 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=3Diclp25 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=E2=80=9925 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* TBA --000000000000ff0f1d062f23b2db Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"> <span id=3D"m_4663919262836356357gmail-docs-internal-guid-0d7b01de-7fff-1e6= 4-6ca1-5eb3f61bced6"><span style=3D"font-size:11pt;font-family:Aptos;color:= rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-va= riant-east-asian:normal;font-variant-alternates:normal;vertical-align:basel= ine"><i>[apologize for multiple postings]</i></span></span> <br></p><p clas= s=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-si= ze:11pt;font-family:Aptos"><br></p><p class=3D"MsoNormal" style=3D"margin:0= in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><sp= an lang=3D"EN"><br></span></b></p><p class=3D"MsoNormal" style=3D"margin:0i= n 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:Aptos"><b><spa= n lang=3D"EN">First Call for Papers<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">41st International Conf= erence on Logic Programming (ICLP=E2=80=9925)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">University of Calabria,= Rende, Italy | September 12-19, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><a href=3D"https://iclp= 25.demacs.unical.it/"><span style=3D"color:rgb(17,85,204)">https://iclp25.d= emacs.unical.it/</span></a> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">SCOPE<span></span></= span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">Since the first confere= nce 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=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">Theoretical Foundations:<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:Aptos"><span lang=3D"EN">Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic a= nd neural models, Complexity results.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">Language Design and Programming Methodologies:<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:Aptos"><span lang=3D"EN">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.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">Program Analysis and Optimization:<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:Aptos"><span lang=3D"EN">Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-ba= sed validation of generated programs.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">Implementation Methodologies and Applications:<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:Aptos"><span lang=3D"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></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">IMPORTANT DATES<span= ></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Paper registration (r= egular papers): April 13, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Paper submission (reg= ular papers): April 18, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Notification (regular= papers): May 25, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Paper submission (TC = papers, IJCAI Fast Track papers): June 15, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Revision submission (= TPLP papers): June 15, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Final notification: J= uly 6, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Final version: July 2= 7, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Main conference: Sept= ember 15-19, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">TRACKS AND SPECIAL SESSIONS<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">In addition to the main= track, ICLP=E2=80=9925 will host:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- IJCAI Fast Track: The= notification date for IJCAI=E2=80=9925 does not allow authors of rejected papers to submit to ICLP=E2=80=9925. In = coordination with the IJCAI=E2=80=9925 program chairs, we have therefore instituted a pr= ocess by which authors can submit revised versions of such rejected papers directly = to ICLP=E2=80=9925. Authors must submit a cover letter explaining how they hav= e addressed the critical issues raised by IJCAI=E2=80=9925 reviewers before submitting = their revised paper to the IJCAI Fast Track of ICLP=E2=80=9925. The submission wi= ll then enter the =E2=80=9Crevision=E2=80=9D phase and be considered for publicatio= n in TPLP.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Recently Published Re= search Track: Detailed information will be announced separately.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN" style=3D"color:red"><sp= an>=C2=A0=C2=A0</span></span><span lang=3D"EN"><span> <br></span></span></p= > <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">AFFILIATED EVENTS<sp= an></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Workshops: September = 12-14, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Autumn School in Comp= utational Logic: September 12-14, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Doctoral Consortium: = September 12-14, 2025 <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">- Logic Programming Con= test: September 16 or 17, 2025 <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang= =3D"EN" style=3D"color:black">- International Symposium on Principles and Practice of Declarative Programming (PPDP 2025)= </span><span lang=3D"EN" style=3D"font-size:12pt;font-family:"Courier = New";color:rgb(34,34,34)"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang= =3D"EN" style=3D"color:black">- </span><span lang=3D"EN">International Symp= osium on <span style=3D"color:black">Logic-based Program Synthesis and Transformation (LOPSTR 2025)</span></span><span lang= =3D"EN" style=3D"font-size:12pt;font-family:"Courier New";color:r= gb(34,34,34)"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">SUBMISSION DETAILS<s= pan></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">All submissions must be= written in English. Papers accepted at ICLP may appear either in<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">-<span>=C2=A0=C2=A0 </s= pan>The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: <a href=3D"https://www.cambr= idge.org/core/journals/theory-and-practice-of-logic-programming/information= /author-instructions/preparing-your-materials"><span style=3D"color:rgb(17,= 85,204)">https://www.cambridge.org/core/journals/theory-and-practice-of-log= ic-programming/information/author-instructions/preparing-your-materials</sp= an></a><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">-<span>=C2=A0=C2=A0 </s= pan>The ICLP 2025 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: <a href= =3D"http://style.eptcs.org"><span style=3D"color:rgb(70,120,134)">http://st= yle.eptcs.org</span></a><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">Submissions may have on= e of two forms:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">1) Regular papers and I= JCAI Fast Track papers are at most 14 pages in TPLP format, including references. Accepted regular and IJCAI F= ast 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=3D"MsoNormal" style=3D"margin:12pt 0in 0.0001pt 1in;line-height:no= rmal;font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>-<span style= =3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN">The improvements made to the paper compared to the previous (IJCAI=E2=80=9925) submission, including clarifica= tions on any perceived errors in the reviewers' assessments, if applicable<span></sp= an></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 1in;line-height:nor= mal;font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>-<span style= =3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN">The paper ID of the IJCAI=E2=80=9925 submission<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 1in;line-height:nor= mal;font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>-<span style= =3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN">The authors listed on the IJCAI=E2= =80=9925 submission<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 1in;line-height:nor= mal;font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>-<span style= =3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN">The title of the IJCAI=E2=80=9925 submission<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 1in;line-height:nor= mal;font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>-<span style= =3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN">The original PDF submitted to IJCAI=E2=80=9925<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 1in;line-height:nor= mal;font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>-<span style= =3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN">The IJCAI=E2=80=9925 reviews, includ= ing scores and text evaluations<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 1in;line-height:nor= mal;font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span>= </span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">The authors of IJCAI Fa= st Track papers must explicitly give consent for IJCAI=E2=80=9925 to share all submitted information with ICLP= =E2=80=9925 to verify its accuracy. ICLP=E2=80=9925 may summarily reject papers for several reaso= ns, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original author= s without justification.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">Regular papers that are= not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP=E2= =80=9925. 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=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">2) Technical Communicat= ion (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=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">Submissions will be mad= e via EasyChair,<span style=3D"color:black"> following the link </span><a h= ref=3D"https://easychair.org/conferences/?conf=3Diclp25"><span style=3D"col= or:rgb(70,120,134)">https://easychair.org/conferences/?conf=3Diclp25</span>= </a><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">All papers must describ= e original, previously unpublished research, and must not simultaneously be submitted for publication elsewher= e. 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=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">All accepted papers wil= l be presented during the conference. Authors of accepted papers will be automatically included in th= e list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">VENUE<span></span></= span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">ICLP=E2=80=9925 will be= held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. <span style=3D"color= :black;background:white">The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative rese= arch and vibrant campus life. Located in the scenic city of Rende, it offers a moder= n learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical herita= ge and stunning natural beauty. From its breathtaking coastal spots to its eas= ily 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 desser= ts.</span> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">ORGANIZATION<span></= span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">General Chair: Francesc= o Ricca<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN">Program Co-chairs: Mart= in Gebser and Daniela Inclezan<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang= =3D"EN" style=3D"color:black">Publicity Chairs: Manuel Borroto and Francesco Calimeri</span><span lang=3D"EN" style=3D"font= -size:12pt;font-family:"Courier New";color:rgb(34,34,34)"><span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= background:white;border:medium;font-size:11pt;font-family:Aptos"><span lang= =3D"EN" style=3D"color:black">Local Chairs: Antonio Ielo and Giuseppe Mazzotta</span><span lang=3D"EN" style=3D"font-size:12pt;= font-family:"Courier New";color:rgb(34,34,34)"><span></span></spa= n></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><span lang=3D"EN"><span>=C2=A0</span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><b><span lang=3D"EN">PROGRAM COMMITTEE<sp= an></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:Aptos"><a name=3D"_heading=3Dh.gjdgxs"></a><span= lang=3D"EN">TBA<span></span></span></p> <br></div> --000000000000ff0f1d062f23b2db--