<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">Call for Papers <o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">42nd International Conference on Logic Programming (ICLP’26)<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">Lisbon, Portugal, July 20-23, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""><a href="https://www.floc26.org/" title="https://www.floc26.org/" class=""><span lang="EN-US" class="" style="color: black; background-color: white;">https://www.semsys.aau.at/events/iclp2026/</span></a><span class="" style="background-color: white;"><o:p class=""></o:p></span></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN-US" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN-US" class="">The conference is part of the Federated Logic Conference (FLoC, <a href="https://www.floc26.org/" class="">https://www.floc26.org/</a>) to take place in Lisbon, Portugal.<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN-US" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN-US" class="">AIMS and SCOPE<o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">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:<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">Theoretical Foundations:<o:p class=""></o:p></span></b></p><div class="" style="margin: 0cm 0cm 0cm 36pt; line-height: normal;"><span lang="EN" class="">Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results.<o:p class=""></o:p></span></div><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">Language Design and Programming Methodologies:<o:p class=""></o:p></span></b></p><div class="" style="margin: 0cm 0cm 0cm 36pt; line-height: normal;"><span lang="EN" class="">Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Answer Set Programming, Inductive Logic Programming, Coinductive Logic Programming<o:p class=""></o:p></span></div><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">Program Analysis and Optimization:<o:p class=""></o:p></span></b></p><div class="" style="margin: 0cm 0cm 0cm 36pt; line-height: normal;"><span lang="EN" class="">Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs.<o:p class=""></o:p></span></div><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">Implementation Methodologies:<o:p class=""></o:p></span></b></p><div class="" style="margin: 0cm 0cm 0cm 36pt; line-height: normal;"><span lang="EN" class="">Compilation, Parallel/distributed execution, Constraint implementation, Tabling, Logic-based prompt engineering, User interfaces.<o:p class=""></o:p></span></div><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN-US" class="">IMPORTANT DATES<o:p class=""></o:p></span></b></p><p class="MsoNormal"><span lang="EN-US" class="">All dates Anywhere-on-Earth (UTC-12). </span><span lang="EN-US" class=""> </span><b class=""><span lang="EN" class=""><o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Paper registration (regular papers): January 24, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Paper submission (regular papers): January 31, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Notification to authors (regular papers): March 5, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Paper submission (short papers): March 27, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Revision submission (regular papers): March 27, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Final notification to authors: April 17, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Main conference: July 20-23, 2026<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">AFFILIATED EVENTS:<o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Workshops: July 18-19, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Doctoral Consortium: July 18-19, 2026<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- Autumn School in Computational Logic: July 18-19, 2026</span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">SPECIAL TRACKS <o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">In addition to the main track, ICLP’26 will host a Recently Published Research Track. Detailed information will be announced separately.<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">SUBMISSION DETAILS<o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">All submissions must be written in English. Papers accepted at ICLP may appear either in<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- 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" title="https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials" class=""><span class="" 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><o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">- the Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: <a href="http://style.eptcs.org/" title="http://style.eptcs.org" class=""><span class="" style="color: rgb(70, 120, 134);">http://style.eptcs.org</span></a><o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">Submissions may have one of two forms:<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">1) Regular papers are at most 14 pages in TPLP format, including references. <o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’26. 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.<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">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.<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">Paper submission will be made through the following link <a href="https://submissions.floc26.org/iclp/" title="https://submissions.floc26.org/iclp/" class="">https://submissions.floc26.org/iclp/</a><span class="MsoHyperlink"><o:p class=""></o:p></span></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span class="MsoHyperlink"><span lang="EN" class=""> </span></span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">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.<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">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.<o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">VENUE:<o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">ICLP’26 will be held at iscte - University Institute of Lisbon. See FLoC 2026 <a href="https://www.floc26.org/" title="https://www.floc26.org/" class="">https://www.floc26.org/</a><o:p class=""></o:p></span></p><div class="" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class=""> </span><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><b class=""><span lang="EN" class="">ORGANIZATION:<o:p class=""></o:p></span></b></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">General Chair: Ricardo Rocha and Vitor Santos Costa (University of Porto, Portugal)<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">Program Chairs: Wolfgang Faber (University of Klagenfurt, Austria) and <o:p class=""></o:p></span></p><div class="" style="margin: 0cm 0cm 0cm 72pt; line-height: normal;"><span lang="EN-US" class=""> </span>Laura Giordano (University of Piemonte Orientale, Italy)<o:p class=""></o:p></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN-US" class="">Workshop Chair: Miguel Areias </span><span lang="EN" class="">(University of Porto, Portugal)<o:p class=""></o:p></span></p><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">Publicity Chairs: Emanuele De Angelis (IASI-CNR, Italy) and<o:p class=""></o:p></span></p><div class="" style="margin: 0cm 0cm 0cm 36pt; text-indent: 36pt; line-height: normal;"><span lang="EN" class=""> Zachary Hansen (University of Nebraska Omaha, USA)<o:p class=""></o:p></span></div><p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN" class="">Web Chair: Michael Morak (University of Klagenfurt, Austria</span></p></div></body></html>