<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof">
<div class="ContentPasted0 ContentPasted1" style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Please circulate within your networks. Apologies for multiple postings.
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">=========================================================================</div>
<div class="ContentPasted1"> FIRST CALL FOR PAPERS</div>
<div class="ContentPasted1">=========================================================================</div>
<div><br class="ContentPasted1">
</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">The 39th International Conference on Logic Programming (ICLP 2023)</div>
<div class="ContentPasted1"> https://iclp2023.imperial.ac.uk/</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1"> London, UK</div>
<div class="ContentPasted1"> July 9-15, 2023</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">ICLP 2023 will be an in-person event in London, UK.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">=========================================================================</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Scope</div>
<div class="ContentPasted1">*****</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Since the first conference held 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:</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Theoretical Foundations.</div>
<div class="ContentPasted1">** Language Design and Programming Methodologies.</div>
<div class="ContentPasted1">** Program Analysis and Optimization.</div>
<div class="ContentPasted1">** Implementation Methodologies.</div>
<div class="ContentPasted1">** Related Paradigms, Integration, and Synergies.</div>
<div class="ContentPasted1">** Applications of Logic Programming.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Tracks and Special Sessions</div>
<div class="ContentPasted1">***************************</div>
<div class="ContentPasted1">Besides the main track, ICLP 2023 will host additional tracks:</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Applications Track:</div>
<div class="ContentPasted1"> we invite submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting
case studies and benchmarks, and discussing lessons learned.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Thematic Tracks:</div>
<div class="ContentPasted1"> we invite submissions to two thematic tracks, exploring specific roles and potential for logic programming; these thematic tracks are:</div>
<div class="ContentPasted1"> - Logic Programming and Machine Learning</div>
<div class="ContentPasted1"> - Logic Programming and Explainability, Ethics, and Trustworthiness</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Recently Published Research Track:</div>
<div class="ContentPasted1"> this track provides a forum to discuss important results related to logic programming that appeared recently (from January 2021 onwards) in selective journals and conferences, but have not been previously presented at ICLP.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** System Demonstrations:</div>
<div class="ContentPasted1"> we invite submissions showcasing logic programming systems and implementations in a live setting. This track is not designed to be sales pitches, demonstrations are a way for the community to see the relevance, potential, and
innovation of the tool and allow time for discussion with its creator.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Birds-of-a-Feather (BoF) sessions:</div>
<div class="ContentPasted1"> we invite proposals for sessions meant to provide an inclusive environment for colleagues with similar interests to meet for informal discussion. Proposers of BoF sessions should serve as discussion leaders only. BoFs are not
intended to be presentations.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">In addition, ICLP 2023 will host:</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Doctoral Consortium and Mentoring Sessions:</div>
<div class="ContentPasted1"> the Doctoral Consortium (DC) on Logic Programming provides students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field,
and participate in mentoring sessions on how to prepare and succeed for a research career. We will have leaders in logic programming research from academia and industry to give invited talks on their research areas. The best paper from the DC will be given
the opportunity to make a presentation in a session of the main ICLP conference.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Tutorials.</div>
<div class="ContentPasted1">** Co-located Workshops.</div>
<div class="ContentPasted1">** Summer School on Logic Programming.</div>
<div class="ContentPasted1">** Logic Programming Contest.</div>
<div><br class="ContentPasted1">
</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Important Dates:</div>
<div class="ContentPasted1">****************</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Abstract registration: January 23, 2023</div>
<div class="ContentPasted1">** Paper submission (regular, applications, thematic tracks): January 31, 2023</div>
<div class="ContentPasted1">** Notification to authors: February 28, 2023</div>
<div class="ContentPasted1">** Revision submission (TPLP papers): March 20, 2023</div>
<div class="ContentPasted1">** Paper submission (short papers, technical comms, recently published, demo, BoF): April 28, 2023</div>
<div class="ContentPasted1">** Workshop proposals: March 20, 2023</div>
<div class="ContentPasted1">** Final notifications (all paper kinds): May 19, 2023</div>
<div class="ContentPasted1">** Camera-ready copy due (all paper kinds): May 26, 2023</div>
<div class="ContentPasted1">** Conference: July 9-15, 2023</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">(Deadlines expire at the end of the day, anywhere on earth.)</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Submission Details</div>
<div class="ContentPasted1">******************</div>
<div class="ContentPasted1">All submissions must be written in English.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">We note that papers accepted at ICLP may appear either in</div>
<div class="ContentPasted1"> * Theory and Practice of Logic Programming Journal (TPLP), or</div>
<div class="ContentPasted1"> * Technical Communication Proceeding (TC) published by Electronic Proceedings in Theoretical Computer Science (EPTCS)</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">TPLP format is described at</div>
<div class="ContentPasted1"> https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">EPTCS format is described at</div>
<div class="ContentPasted1"> http://style.eptcs.org/</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">All accepted papers will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter
at no cost.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Expected submissions:</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">* For Main Track, Application Track, and Thematic Tracks:</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1"> All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience
and/or without archival proceedings.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Regular papers (14 pages in TPLP format, including references)</div>
<div class="ContentPasted1"> The accepted regular papers will be published in TPLP. The program committee may recommend some regular papers to be published in Technical Communication Proceeding (TC). In this case, the papers will have to be reformatted into
EPTCS format and not exceed 14 pages. Authors who submitted Regular papers that were accepted as TC may elect to convert their submissions into extended abstracts (2 or 3 pages in EPTCS format). This should allow authors to submit a long version elsewhere.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Short papers (7 pages in EPTCS format, including references).</div>
<div class="ContentPasted1"> The accepted short papers will be published in the Technical Communication Proceedings.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">* Recently Published Research Track</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Extended abstract (2 or 3 pages in EPTCS format) describing</div>
<div class="ContentPasted1"> previously published research (from January 2021 onwards) in selective journals and conferences, but that have not been previously presented at ICLP. A title page should be appended to the submission with (i) details on the venue,
where the original paper appeared, (ii) a link to the original paper, (iii) a paragraph describing why the authors believe this work warrants a presentation at ICLP. The extended abstracts will be published in the Technical Communication Proceedings.</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">* System Demonstrations and BoF Proposals</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Extended abstract (2 or 3 pages in EPTCS format).</div>
<div class="ContentPasted1"> System demonstrations should provide highlights of the novel features of the system, along with information about how to access it. BoF proposals should motivate the choice of the topic and its relevance to logic programming,
describe the expected audience, identify discussion leaders and their expertise, and provide a brief description of the activities during the BoF session. We expect BoFs to be inclusive and involve active participation for attendees. Describe how your BoF
will use inclusive practices and foster attendee involvement. The extended abstracts will be published in the Technical Communication Proceedings.</div>
<div><br class="ContentPasted1">
</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Submissions will be done via EasyChair.</div>
<div class="ContentPasted1">The submission Web page for ICLP2023 is </div>
<div class="ContentPasted1">https://easychair.org/conferences/?conf=iclp2023</div>
<div><br class="ContentPasted1">
</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">Organization</div>
<div class="ContentPasted1">************</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** General Chairs</div>
<div class="ContentPasted1"> Alessandra Russo and Francesca Toni, Imperial College London, UK</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Program Chairs</div>
<div class="ContentPasted1"> Stefania Costantini, Universita' dell'Aquila, Italy</div>
<div class="ContentPasted1"> Enrico Pontelli, New Mexico State University, USA</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Publicity Chair</div>
<div class="ContentPasted1"> Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK
</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Workshop Chair</div>
<div class="ContentPasted1"> Wolfgang Faber, University of Klagenfurt, Austria</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Tutorials Chairs</div>
<div class="ContentPasted1"> Agostino Dovier, University of Udine, Italy</div>
<div class="ContentPasted1"> Esra Erdem, Sabanci University, Turkey</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Doctoral Consortium Chairs</div>
<div class="ContentPasted1"> Francesco Fabiano, University of Udine, Italy</div>
<div class="ContentPasted1"> Alessandra Mileo, DCU, Ireland</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Programming Contest Chairs</div>
<div class="ContentPasted1"> Martin Gebser, Graz University of Technology, Austria</div>
<div class="ContentPasted1"> Mario Alviano, University of Calabria, Italy</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Recently Published Research Track Chair</div>
<div class="ContentPasted1"> Sarah Gaggl, TU Dresden, Germany</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Application and Systems/Demo Chair</div>
<div class="ContentPasted1"> Carmine Dodaro, University of Calabria, Italy</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Summer School Organizers</div>
<div class="ContentPasted1"> Simona Perri, University of Calabria, Italy</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** Thematic Tracks Chairs:</div>
<div class="ContentPasted1"> - LP and Explainability, Ethics and Trustworthiness</div>
<div class="ContentPasted1"> Roberta Calegari, University of Bologna, Italy</div>
<div class="ContentPasted1"> - LP and Machine Learning</div>
<div class="ContentPasted1"> Artur Garcez, City University of London, UK</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">** BoF Chair</div>
<div class="ContentPasted1"> Luciano Serafini, FBK, Italy</div>
<div><br class="ContentPasted1">
</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1">=========================================================================</div>
<div class="ContentPasted1">Any additional question can be directed towards the ICLP Chairs:</div>
<div><br class="ContentPasted1">
</div>
<div class="ContentPasted1"> iclp2023@easychair.org</div>
<div class="ContentPasted1">=========================================================================</div>
<div><br class="ContentPasted1">
</div>
<br>
</div>
<div id="Signature">
<div>
<div><span style="font-family:Calibri,Helvetica,sans-serif"></span></div>
<div></div>
<div></div>
<span style="font-family:Calibri,Helvetica,sans-serif"></span><span style="font-family:Calibri,Helvetica,sans-serif"></span>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<span style="font-family:Calibri,Helvetica,sans-serif"></span>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0; margin-bottom:0">
<span id="ms-rterangepaste-start"></span></p>
<span style="font-family:Calibri,Helvetica,sans-serif"></span><span style="font-family:Calibri,Helvetica,sans-serif"></span>
<div><span style="font-family:Calibri,Helvetica,sans-serif"></span><span></span><span style="font-family:Calibri,Helvetica,sans-serif"></span></div>
<span style="font-family:Calibri,Helvetica,sans-serif"></span></div>
</div>
</div>
</div>
</body>
</html>