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