[ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Ca labria, Rende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> Tue, 29 Apr 2025 23:58:47 +0200
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <CAF4PLRBwmX5CLkyOyuMh15RXWYOmk+LmDKxkTQc1wUmuqp=vNQ__21165.2260668174$1745963987$gmane$org@mail.gmail.com> |
--000000000000553edc0633f1e878 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *[apologize for multiple postings]* *Call for Papers =E2=80=93 Special Tracks* 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. This year ICLP features two special tracks: =C2=B7 The IJCAI Fast Track - Paper submission: June 15, 2025 =C2=B7 Recently Published Research Track =E2=80=93 Abstract submissio= n: 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=E2=80=9925 can submit revised versions of such papers directly to = ICLP=E2=80=9925. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI=E2=80=9925 reviewers before submitting thei= r 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. *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-progr= amming/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-progra= mming/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=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. Submissions will be made via EasyChair, following the link: https://easychair.org/conferences/?conf=3Diclp25 *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: =C2=B7 have been published in a journal but have not been presented a= t workshops or conferences; =C2=B7 have been presented at conferences that are not typically atte= nded by the ICLP community; =C2=B7 have been presented at logic programming meetings with relativ= ely limited attendance; =C2=B7 have been accepted at high-profile conferences with some relat= ion 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: =C2=B7 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). =C2=B7 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=3Diclp25 *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. --=20 ---------------------------------------------------------------------------= --------------------------------------- Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica= =20 dell'Universit=C3=A0 della Calabria <https://www.unical.it/5x1000> --000000000000553edc0633f1e878 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div> <span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background= -color:transparent;font-variant-numeric:normal;font-variant-east-asian:norm= al;font-variant-alternates:normal;vertical-align:baseline"><i>[apologize fo= r multiple postings]</i></span> <br></div><div></div><div><br></div><div> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;text-align:justify;= line-height:normal;font-size:11pt;font-family:"Calibri",sans-seri= f"><b><span lang=3D"EN" style=3D"font-family:"Aptos",serif">Call = for Papers =E2=80=93 Special Tracks</span></b><span style=3D"font-family:&q= uot;Aptos",serif"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:"Aptos",serif">41st International Conferen= ce on Logic Programming (ICLP=E2=80=9925)</span><span style=3D"font-family:= "Aptos",serif"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:"Aptos",serif">University of Calabria, Ren= de, Italy | September 12-19, 2025</span><span style=3D"font-family:"Ap= tos",serif"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><a href=3D"https= ://iclp25.demacs.unical.it/" target=3D"_blank"><span lang=3D"EN" style=3D"f= ont-family:"Aptos",serif;color:rgb(17,85,204)">https://iclp25.dem= acs.unical.it/</span></a><span lang=3D"EN" style=3D"font-family:"Aptos= ",serif"> <span></span></span></p> </div><div><br></div><div><br></div><div> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span style= =3D"font-family:"Aptos",serif">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:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:"Aptos",serif">Since the first conference = In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contribut= ions are sought in all areas of logic programming. This year ICLP features two special tracks:</span></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.= 0001pt;line-height:normal;font-size:11pt;font-family:"Calibri",sa= ns-serif"><span lang=3D"EN" style=3D"font-family:"Aptos",serif"><= span> <br></span></span></p> <p class=3D"gmail-MsoListParagraphCxSpFirst" style=3D"margin:0in 0in 0.0001= pt 0.5in;line-height:normal;font-size:11pt;font-family:"Calibri",= sans-serif"><span lang=3D"EN" style=3D"font-family:Symbol"><span>=C2=B7<spa= n style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:&q= uot;Aptos",serif">The IJCAI Fast Track - Paper submission: June 15, 2025<span></span></span></p> <p class=3D"gmail-MsoListParagraphCxSpLast" style=3D"margin:0in 0in 0.0001p= t 0.5in;line-height:normal;font-size:11pt;font-family:"Calibri",s= ans-serif"><span lang=3D"EN" style=3D"font-family:Symbol"><span>=C2=B7<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:"= ;Aptos",serif">Recently Published Research Track =E2=80=93 Abstract submission: May 15, 2025<span></span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:"Aptos",serif"><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:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:"Aptos",serif">For comprehensive details, = kindly refer to the information provided below for both tracks.<span></span></span></p> </div><div><br></div><div><br></div><div> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:"Aptos",serif">IJCAI FAST TRACK DETAILS= </span></b></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line= -height:normal;font-size:11pt;font-family:"Calibri",sans-serif"><= span lang=3D"EN" style=3D"font-family:"Aptos",serif">In coordinat= ion with the IJCAI program chairs, authors with rejected papers at IJCAI=E2=80=9925 can submit revised versions of such papers directly to = ICLP=E2=80=9925. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI=E2=80=9925 reviewers before submitting thei= r 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 considered for publication in TPLP.= </span></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-hei= ght:normal;font-size:11pt;font-family:"Calibri",sans-serif"><span= lang=3D"EN" style=3D"font-family:"Aptos",serif"><br></span></p><= p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;f= ont-size:11pt;font-family:"Calibri",sans-serif"> </p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:nor= mal;font-size:11pt;font-family:"Calibri",sans-serif"><b><span lan= g=3D"EN" style=3D"font-size:10pt;font-family:Aptos">IMPORTANT DATES</span><= /b><span style=3D"font-family:Aptos"><span> <br></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Paper submission: June 15, 2025</span><span= style=3D"font-family:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Final notification: July 6, 2025</span><span style=3D"font-family:Aptos"><span></= span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Final version: July 27, 2025</span><span style=3D"font-family:Aptos"><span></span></span><= /p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Main conference: September 15-19, 2025</span><span style=3D"font-family:Aptos"><span></span>= </span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><br></p><p class= =3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-siz= e:11pt;font-family:"Calibri",sans-serif"> </p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:nor= mal;font-size:11pt;font-family:"Calibri",sans-serif"><b><span lan= g=3D"EN" style=3D"font-size:10pt;font-family:Aptos">SUBMISSION DETAILS</spa= n><span style=3D"font-family:Aptos"><span> <br></span></span></b></p><p cla= ss=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-s= ize:11pt;font-family:"Calibri",sans-serif"><a href=3D"https://www= .cambridge.org/core/journals/theory-and-practice-of-logic-programming/infor= mation/author-instructions/preparing-your-materials" target=3D"_blank"> </a></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height= :normal;font-size:11pt;font-family:"Calibri",sans-serif"><span la= ng=3D"EN" style=3D"font-family:Aptos">All submissions must be written in English. Papers accepted at ICLP may appear in the journ= al Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: </span><a href=3D"https://ww= w.cambridge.org/core/journals/theory-and-practice-of-logic-programming/info= rmation/author-instructions/preparing-your-materials" target=3D"_blank"><sp= an lang=3D"EN" style=3D"font-family:Aptos;color:rgb(17,85,204)">https://www= .cambridge.org/core/journals/theory-and-practice-of-logic-programming/infor= mation/author-instructions/preparing-your-materials</span></a><span style= =3D"font-family:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span style=3D"f= ont-family:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><br></p><p class= =3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-siz= e:11pt;font-family:"Calibri",sans-serif"> </p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:nor= mal;font-size:11pt;font-family:"Calibri",sans-serif"><b><span sty= le=3D"font-family:Aptos">Formatting Requirements</span></b></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0= .0001pt;line-height:normal;font-size:11pt;font-family:"Calibri",s= ans-serif"><span lang=3D"EN" style=3D"font-family:Aptos">Papers must not ex= ceed 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. IJC= AI 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 0.5in;line-height:= normal;font-size:11pt;font-family:"Calibri",sans-serif"><span lan= g=3D"EN" style=3D"font-family:Aptos">-</span><span lang=3D"EN" style=3D"fon= t-size:7pt;font-family:"Times New Roman",serif">=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span><span lang=3D"EN" style=3D"f= ont-family:Aptos">The improvements made to the paper compared to the previous (IJCAI=E2=80=9925) submission, i= ncluding clarifications on any perceived errors in the reviewers' assessments, i= f applicable</span><span style=3D"font-family:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">-</span><span lang=3D"EN" style=3D"font= -size:7pt;font-family:"Times New Roman",serif">=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span><span lang=3D"EN" style=3D"font= -family:Aptos">The paper ID of the IJCAI=E2=80=9925 submission</span><span style=3D"font-family:Aptos"><sp= an></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">-</span><span lang=3D"EN" style=3D"font= -size:7pt;font-family:"Times New Roman",serif">=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span><span lang=3D"EN" style=3D"font= -family:Aptos">The authors listed on the IJCAI=E2=80=9925 submission</span><span style=3D"font-family:Aptos">= <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">-</span><span lang=3D"EN" style=3D"font= -size:7pt;font-family:"Times New Roman",serif">=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span><span lang=3D"EN" style=3D"font= -family:Aptos">The title of the IJCAI=E2=80=9925 submission</span><span style=3D"font-family:Aptos"><span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">-</span><span lang=3D"EN" style=3D"font= -size:7pt;font-family:"Times New Roman",serif">=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span><span lang=3D"EN" style=3D"font= -family:Aptos">The original PDF submitted to IJCAI=E2=80=9925</span><span style=3D"font-family:Aptos"><span= ></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">-</span><span lang=3D"EN" style=3D"font= -size:7pt;font-family:"Times New Roman",serif">=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span><span lang=3D"EN" style=3D"font= -family:Aptos">The IJCAI=E2=80=9925 reviews, including scores and text evaluations<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span style=3D"f= ont-family:Aptos"><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:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI=E2=80=9925 t= o 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.</span><= /p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:norm= al;font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D= "EN" style=3D"font-family:Aptos"><br></span></p><p class=3D"MsoNormal" styl= e=3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:= "Calibri",sans-serif"> </p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:nor= mal;font-size:11pt;font-family:"Calibri",sans-serif"> </p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:nor= mal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">Submissions will be made via EasyChair,<span style=3D"color:black"> following the link: </sp= an></span><a href=3D"https://easychair.org/conferences/?conf=3Diclp25" targ= et=3D"_blank"><span lang=3D"EN" style=3D"font-family:Aptos;color:rgb(70,120= ,134)">https://easychair.org/conferences/?conf=3Diclp25</span></a><span sty= le=3D"font-family:Aptos"><span></span></span></p> </div><div><br></div><div><br></div><div> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">RECENTLY PUBLISHED RESEARCH TRACK DETAILS<= span> <br></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">The ICLP'25 Recently Published Research Track provides a forum to discuss recent resear= ch on topics related to logic programming. We invite submissions of extended a= bstracts 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 ma= in logic programming-related conferences (such as, for example, LPNMR, LOPSTR,= or LPAR).<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">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 t= he work.<span></span></span></p> </div><div><br></div><div> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span style= =3D"font-family:Aptos">Submissions should meet the following criteria:<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span style= =3D"font-family:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Papers must have been published in a journal or conference proceedings (except ICLP and clos= ely related conferences) in 2023 or later.<span>=C2=A0 </span>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 o= f the following categories:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>1.<span style=3D"font:7pt "Times N= ew Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><= span lang=3D"EN" style=3D"font-family:Aptos">Papers that bridge logic programming to other areas such as declarative programming, constrain= t programming, knowledge representation, databases, AI, as well as to applications;<span></span><span><br></span></span></p><p class=3D"MsoNormal= " style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-f= amily:"Calibri",sans-serif"><span lang=3D"EN" style=3D"font-famil= y:Aptos"><span>2.<span style=3D"font:7pt "Times New Roman"">=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" st= yle=3D"font-family:Aptos">Papers that are tightly related to ICLP and meet at least one of the following conditions:<= /span><b><span style=3D"font-family:Aptos"><span> <br></span></span></b></p= > <p class=3D"gmail-MsoListParagraphCxSpFirst" style=3D"margin:0in 0in 0.0001= pt 0.75in;line-height:normal;font-size:11pt;font-family:"Calibri"= ,sans-serif"><span lang=3D"EN" style=3D"font-family:Symbol"><span>=C2=B7<sp= an style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Ap= tos">have been published in a journal but have not been presented at workshops or conferen= ces;<span></span></span></p> <p class=3D"gmail-MsoListParagraphCxSpMiddle" style=3D"margin:0in 0in 0.000= 1pt 0.75in;line-height:normal;font-size:11pt;font-family:"Calibri"= ;,sans-serif"><span lang=3D"EN" style=3D"font-family:Symbol"><span>=C2=B7<s= pan style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Ap= tos">have been presented at conferences that are not typically attended by the ICLP commun= ity;<span></span></span></p> <p class=3D"gmail-MsoListParagraphCxSpMiddle" style=3D"margin:0in 0in 0.000= 1pt 0.75in;line-height:normal;font-size:11pt;font-family:"Calibri"= ;,sans-serif"><span lang=3D"EN" style=3D"font-family:Symbol"><span>=C2=B7<s= pan style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Ap= tos">have been presented at logic programming meetings with relatively limited attendance;= <span></span></span></p> <p class=3D"gmail-MsoListParagraphCxSpLast" style=3D"margin:0in 0in 0.0001p= t 0.75in;line-height:normal;font-size:11pt;font-family:"Calibri",= sans-serif"><span lang=3D"EN" style=3D"font-family:Symbol"><span>=C2=B7<spa= n style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Ap= tos">have been accepted at high-profile conferences with some relation to 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:"Calibri",sans-serif"><b><span style= =3D"font-family:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-size:10pt;font-family:Aptos"><br></span></b></p><p class= =3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-siz= e:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D"EN" sty= le=3D"font-size:10pt;font-family:Aptos">IMPORTANT DATES</span></b><span sty= le=3D"font-family:Aptos"><span> <br></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Abstracts due by May 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:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Reviews back to authors for feedback by June 11, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Response due by June 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:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Final decision by June 22, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">- Main conference: September 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:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p><p class=3D"Mso= Normal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;= font-family:"Calibri",sans-serif"><span lang=3D"EN" style=3D"font= -family:Aptos"><span><br></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-size:10pt;font-family:Aptos">SUBMISSION DETAILS</span><s= pan style=3D"font-family:Aptos"><span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span style=3D"f= ont-family:Aptos">Every submission should be prepared following the format for Technical Communication (TC) paper submission to I= CLP 2025. It should contain:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span style=3D"f= ont-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"gmail-MsoListParagraphCxSpFirst" style=3D"margin:0in 0in 0.0001= pt 0.5in;line-height:normal;font-size:11pt;font-family:"Calibri",= sans-serif"><span style=3D"font-family:Symbol"><span>=C2=B7<span style=3D"f= ont:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span style=3D"font-family:Aptos">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).<span></span>= </span></p> <p class=3D"gmail-MsoListParagraphCxSpLast" style=3D"margin:0in 0in 0.0001p= t 0.5in;line-height:normal;font-size:11pt;font-family:"Calibri",s= ans-serif"><span style=3D"font-family:Symbol"><span>=C2=B7<span style=3D"fo= nt:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span style=3D"font-family:Aptos">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.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0</span><span style=3D"font-family:Aptos= "><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Submissions will be made via EasyChair,<span style=3D"color:black"> following the link </spa= n></span><a href=3D"https://easychair.org/conferences/?conf=3Diclp25" targe= t=3D"_blank"><span lang=3D"EN" style=3D"font-family:Aptos;color:rgb(70,120,= 134)">https://easychair.org/conferences/?conf=3Diclp25</span></a><span styl= e=3D"font-family:Aptos"><span></span></span></p> </div><div><br></div><div><br><p class=3D"MsoNormal" style=3D"margin:0in 0i= n 0.0001pt;line-height:normal;font-size:11pt;font-family:"Calibri"= ;,sans-serif"><span style=3D"font-family:Aptos"><span></span></span></p> </div><div> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">VENUE</span></b><span lang=3D"EN" style=3D= "font-family:Aptos"><span> <br></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">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 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 o= f historical heritage and stunning natural beauty. From its breathtaking coas= tal spots to its easily accessible mountains, the region provides an unforgetta= ble cultural and culinary experience, savoring authentic dishes made from fresh= , local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts.</span> </span><span style=3D"font-family:Aptos"><span></span></sp= an></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:= normal;font-size:11pt;font-family:"Calibri",sans-serif"></p> <br></div></div> <br> <div style=3D"font-family:Arial,Helvetica,sans-serif;font-size:1.3em">-----= -------------------------<span></span><span></span><span></span><span></spa= n><span></span><span></span><wbr>------------------------------<span></span= ><span></span><span></span><span></span><span></span><span></span><wbr>----= --------------------------<span></span><span></span><span></span><span></sp= an><span></span><span></span><wbr>------------------------</div><div><font = face=3D"Arial, Helvetica, sans-serif"><span style=3D"font-size:13px">Il ban= ner =C3=A8 generato automaticamente dal servizio di posta elettronica dell&= #39;Universit=C3=A0 della Calabria</span></font></div><div><font face=3D"Ar= ial, Helvetica, sans-serif"><span style=3D"font-size:13px"><a href=3D"https= ://www.unical.it/5x1000" target=3D"_blank"><img src=3D"https://www.unical.i= t/media/medias/2024/5X1000_2024_mail_ok_20.webp" alt=3D"https://www.unical.= it/5x1000"></a><br></span></font></div> --000000000000553edc0633f1e878--