<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div class="elementToProof">Please circulate within your networks. Apologies for multiple postings.</div>

<div class="FluidPluginCopy">________________</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">FINAL CALL FOR PAPERS</div>

<div class="FluidPluginCopy">________________</div>

<div class="FluidPluginCopy elementToProof"><br>

</div>

<div class="FluidPluginCopy">The 39th International Conference on Logic Programming (ICLP 2023)</div>

<div class="FluidPluginCopy elementToProof">        <a href="https://iclp2023.imperial.ac.uk/" title="https://iclp2023.imperial.ac.uk/">

https://iclp2023.imperial.ac.uk/</a></div>

<div class="FluidPluginCopy">London, UK</div>

<div class="FluidPluginCopy">July 9-15, 2023</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">ICLP 2023 will be an in-person event in London, UK.</div>

<div class="FluidPluginCopy">________________</div>

<div class="FluidPluginCopy elementToProof"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">Important Dates: </div>

<div class="FluidPluginCopy">* Abstract registration: January 23, 2023</div>

<div class="FluidPluginCopy">* Paper submission (regular, applications, thematic tracks): January 31, 2023</div>

<div class="FluidPluginCopy">* Notification to authors: February 28, 2023</div>

<div class="FluidPluginCopy">* Revision submission (TPLP papers): March 20, 2023</div>

<div class="FluidPluginCopy elementToProof">* Paper submission (short papers, technical comms, recently published, demo, BoF): April 28, 2023</div>

<div class="FluidPluginCopy">* Workshop proposals: March 20, 2023</div>

<div class="FluidPluginCopy">* Final notifications (all paper kinds): May 19, 2023</div>

<div class="FluidPluginCopy">* Camera-ready copy due (all paper kinds): May 26, 2023</div>

<div class="FluidPluginCopy">* Conference: July 9-15, 2023</div>

<div class="FluidPluginCopy">(Deadlines expire at the end of the day, anywhere on earth.)</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">SCOPE</div>

<div class="FluidPluginCopy">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 class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">* Theoretical Foundations.</div>

<div class="FluidPluginCopy">* Language Design and Programming Methodologies.</div>

<div class="FluidPluginCopy">  ** Program Analysis and Optimization.</div>

<div class="FluidPluginCopy">  ** Implementation Methodologies.</div>

<div class="FluidPluginCopy">  ** Related Paradigms, Integration, and Synergies.</div>

<div class="FluidPluginCopy">  ** Applications of Logic Programming.</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">TRACKS AND SPECIAL SESSIONS</div>

<div class="FluidPluginCopy">Besides the main track, ICLP 2023 will host additional tracks:</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy elementToProof">* Applications Track: 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 class="FluidPluginCopy">* Thematic Tracks: we invite submissions to two thematic tracks, exploring specific roles and potential for logic programming; these thematic tracks are:</div>

<div class="FluidPluginCopy">   * Logic Programming and Machine Learning</div>

<div class="FluidPluginCopy">   * Logic Programming and Explainability, Ethics, and Trustworthiness</div>

<div class="FluidPluginCopy">* Recently Published Research Track: 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 class="FluidPluginCopy">* System Demonstrations: 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 class="FluidPluginCopy">* Birds-of-a-Feather (BoF) sessions: 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 class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">In addition,  ICLP 2023 will host:</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">* Doctoral Consortium and Mentoring Sessions: 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 class="FluidPluginCopy">* Tutorials.</div>

<div class="FluidPluginCopy">* Co-located Workshops.</div>

<div class="FluidPluginCopy">* Summer School on Logic Programming.</div>

<div class="FluidPluginCopy">* Logic Programming Contest.</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">SUBMISSION DETAILS</div>

<div class="FluidPluginCopy">All submissions must be written in English.</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">We note that papers accepted at ICLP may appear either in</div>

<div class="FluidPluginCopy">* Theory and Practice of Logic Programming Journal (TPLP), or</div>

<div class="FluidPluginCopy">* Technical Communication Proceeding (TC) published by Electronic Proceedings in Theoretical Computer Science (EPTCS)</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">TPLP format is described at</div>

<div class="FluidPluginCopy">   https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">EPTCS format is described at</div>

<div class="FluidPluginCopy">   http://style.eptcs.org/</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">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 class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">Expected submissions:</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">* For Main Track, Application Track, and Thematic Tracks:</div>

<div class="FluidPluginCopy">   * 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 class="FluidPluginCopy">   * Regular papers (14 pages in TPLP format, including references) 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 class="FluidPluginCopy">   * Short papers (7 pages in EPTCS format, including references). The accepted short papers will be published in the Technical Communication Proceedings.</div>

<div class="FluidPluginCopy">* Recently Published Research Track</div>

<div class="FluidPluginCopy">   * Extended abstract (2 or 3 pages in EPTCS format) describing 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 class="FluidPluginCopy">* System Demonstrations and BoF Proposals</div>

<div class="FluidPluginCopy">   * Extended abstract (2 or 3 pages in EPTCS format). 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 class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">Submissions will be done via EasyChair. The submission Web page for ICLP2023 is

</div>

<div class="FluidPluginCopy elementToProof"><a href="https://easychair.org/conferences/?conf=iclp2023" title="https://easychair.org/conferences/?conf=iclp2023">https://easychair.org/conferences/?conf=iclp2023</a></div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">ORGANIZATION</div>

<div class="FluidPluginCopy">** General Chairs</div>

<div class="FluidPluginCopy">   Alessandra Russo and Francesca Toni, Imperial College London, UK</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Program Chairs</div>

<div class="FluidPluginCopy">   Stefania Costantini, University of L�Aquila, Italy</div>

<div class="FluidPluginCopy">   Enrico Pontelli, New Mexico State University, USA</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Publicity Chair</div>

<div class="FluidPluginCopy">   Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Workshop Chair</div>

<div class="FluidPluginCopy">   Wolfgang Faber, University of Klagenfurt, Austria</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Tutorials Chairs</div>

<div class="FluidPluginCopy">   Agostino Dovier, University of Udine, Italy</div>

<div class="FluidPluginCopy">   Esra Erdem, Sabanci University, Turkey</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Doctoral Consortium Chairs</div>

<div class="FluidPluginCopy">   Francesco Fabiano, University of Udine, Italy</div>

<div class="FluidPluginCopy">   Alessandra Mileo, DCU, Ireland</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Programming Contest Chairs</div>

<div class="FluidPluginCopy elementToProof">   Martin Gebser, Graz University of Technology, Austria</div>

<div class="FluidPluginCopy">   Mario Alviano, University of Calabria, Italy</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Recently Published Research Track Chair</div>

<div class="FluidPluginCopy">   Sarah Gaggl, TU Dresden, Germany</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Application and Systems/Demo Chair</div>

<div class="FluidPluginCopy">   Carmine Dodaro, University of Calabria, Italy</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Summer School Organizers</div>

<div class="FluidPluginCopy">   Simona Perri, University of Calabria, Italy</div>

<div class="FluidPluginCopy">   Bart Bogaerts, Vrije Universiteit Brussel, Belgium</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** Thematic Tracks Chairs:</div>

<div class="FluidPluginCopy">   - LP and Explainability, Ethics and Trustworthiness</div>

<div class="FluidPluginCopy">     Roberta Calegari, University of Bologna, Italy</div>

<div class="FluidPluginCopy">   - LP and Machine Learning</div>

<div class="FluidPluginCopy">     Artur Garcez, City University of London, UK</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">** BoF Chair</div>

<div class="FluidPluginCopy">   Luciano Serafini, Fondazione Bruno Kessler Trento, Italy</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">Program Committee</div>

<div class="FluidPluginCopy">Abreu, Salvador, University of Evora, Portugal</div>

<div class="FluidPluginCopy">Alviano, Mario, University of Calabria, Italy</div>

<div class="FluidPluginCopy">Artikis, Alexander, NCSR "Demokritos", Greece</div>

<div class="FluidPluginCopy">Balduccini, Marcello, Saint Joseph�s University, USA</div>

<div class="FluidPluginCopy">Baral, Chitta, Arizona State University, USA</div>

<div class="FluidPluginCopy">Bartak, Roman, Charles University, Czech Republic</div>

<div class="FluidPluginCopy">Bellodi, Elena, University of Ferrara, Italy</div>

<div class="FluidPluginCopy">Ben-Eliyahu-Zohary, Rachel, Jerusalem College of Engineering, Israel</div>

<div class="FluidPluginCopy">Bogaerts, Bart, Vrije Universiteit Brussel, Belgium</div>

<div class="FluidPluginCopy">Cabalar, Pedro, University of Corunna, Spain</div>

<div class="FluidPluginCopy">Calegari, Roberta, University of Bologna, Italy</div>

<div class="FluidPluginCopy">Calimeri, Francesco, University of Calabria, Italy</div>

<div class="FluidPluginCopy">Codish, Michael, Ben-Gurion University of the Negev, Israel</div>

<div class="FluidPluginCopy">Daggit, Matthew, Heriot-Watt University, Israel</div>

<div class="FluidPluginCopy">De Gasperis, Giovanni, University of L�Aquila,  Italy</div>

<div class="FluidPluginCopy">De Vos, Marina, University of Bath, UK</div>

<div class="FluidPluginCopy">Dodaro, Carmine, University of Calabria, Italy</div>

<div class="FluidPluginCopy">Dovier, Agostino, University of Udine, Italy</div>

<div class="FluidPluginCopy">Dutra, Ines, University of Porto, Portugal</div>

<div class="FluidPluginCopy">Dyoub, Abeer, University of L�Aquila, Italy</div>

<div class="FluidPluginCopy">Eiter, Thomas, Vienna University of Technology, Austria</div>

<div class="FluidPluginCopy">Erdem, Esra, Sabanci University, Turkey</div>

<div class="FluidPluginCopy">Fabiano, Francesco, University of Parma, Italy</div>

<div class="FluidPluginCopy">Fandinno, Jorge, University of Nebraska Omaha, USA</div>

<div class="FluidPluginCopy">Fioravanti, Fabio, University of Chieti-Pescara, Italy</div>

<div class="FluidPluginCopy">Formisano, Andrea, University of Udine, Italy</div>

<div class="FluidPluginCopy">Gaggl, Sarah Alice, University of Dresden, Germany</div>

<div class="FluidPluginCopy">Garcez, Artur, City University of London, UK</div>

<div class="FluidPluginCopy">Gavanelli, Marco, University of Ferrara, Italy</div>

<div class="FluidPluginCopy">Gebser, Martin, University of Klagenfurt, Austria</div>

<div class="FluidPluginCopy">Gelfond, Michael, Texas Tech University, USA</div>

<div class="FluidPluginCopy">Giordano, Laura, University of Piemonte Orientale, Italy</div>

<div class="FluidPluginCopy">Gupta, Gopal, University of Texas at Dallas, USA</div>

<div class="FluidPluginCopy">Hermenegildo, Manuel, IMDEA Software Institute Madrid, Spain</div>

<div class="FluidPluginCopy">Iclezan, Daniela, Miami University, USA</div>

<div class="FluidPluginCopy">Kampik, Timotheus, Ume� Universitet, Sweden</div>

<div class="FluidPluginCopy">Katzouris, Nikos, National Center for Scientific Research "DEMOKRITOS", Greece</div>

<div class="FluidPluginCopy">Kiziltan, Zeynep, University of Bologna, Italy</div>

<div class="FluidPluginCopy">Lamma, Evelina, University of Ferrara, Italy</div>

<div class="FluidPluginCopy">Lifschitz, Vladimir, University of Texas at Austin, USA</div>

<div class="FluidPluginCopy">Lisi, Francesca, University of Bari, Italy</div>

<div class="FluidPluginCopy">Liu, Y. Annie, State University of New York at Stony Brook, USA</div>

<div class="FluidPluginCopy">Manhaeve, Robin, Katholieke Universiteit Leuven, Belgium</div>

<div class="FluidPluginCopy">Mascardi, Viviana, University of Genova, Italy</div>

<div class="FluidPluginCopy">Michel, Laurent, USA</div>

<div class="FluidPluginCopy">Mileo Alessandra, Dublin City University, Ireland</div>

<div class="FluidPluginCopy">Morales, Jose, IMDEA Software Institute, Spain</div>

<div class="FluidPluginCopy">Nicolosi-Asmundo, Marianna, University of Catania, Italy</div>

<div class="FluidPluginCopy">Oikarinen, Emilia, University of Helsinki, Finland</div>

<div class="FluidPluginCopy">Piazza, Carla, University of Udine, Italy</div>

<div class="FluidPluginCopy">Pozzato, Gianluca, University of Torino, Italy</div>

<div class="FluidPluginCopy">Ramakrishnan, CR, State University of New York at Stony Brook, USA</div>

<div class="FluidPluginCopy">Ricca, Francesco, University of Cosenza, Italy</div>

<div class="FluidPluginCopy">Riguzzi, Fabrizio, University of Ferrara, Italy</div>

<div class="FluidPluginCopy">Rocha, Ricardo, University of Porto, Portugal</div>

<div class="FluidPluginCopy">Sabuncu, Orkunt, Ted University Ankara, Turkey</div>

<div class="FluidPluginCopy">Sakama, Chiaki, Wakayama University, Japan</div>

<div class="FluidPluginCopy">Saribatur, Zeynep, TU Wien, Austria</div>

<div class="FluidPluginCopy">Md Kamruzzaman, Sarker, University of Hartford, UK</div>

<div class="FluidPluginCopy">Schaub, Torsten, University of Potsdam, Germany</div>

<div class="FluidPluginCopy">Serafini, Luciano, Fondazione Bruno Kessler Trento, Italy</div>

<div class="FluidPluginCopy">Son, Tran Cao, New Mexico State University, USA</div>

<div class="FluidPluginCopy">Swift, Theresa, Universidade Nova de Lisboa, Portugal</div>

<div class="FluidPluginCopy">Tarau, Paul, University of North Texas, USA</div>

<div class="FluidPluginCopy">Truszczynski, Mirek, University of Kentucky, USA</div>

<div class="FluidPluginCopy">Vidal, German, Universitat Polit�cnica de Val�ncia, Spain</div>

<div class="FluidPluginCopy">Villaneuva, Alicia, Universitat Polit�cnica de Val�ncia, Spain</div>

<div class="FluidPluginCopy">Warren, David, State University of New York at Stony Brook, USA</div>

<div class="FluidPluginCopy">Weitkamper, Felix, Ludwig-Maximilians University of Munich, Germany</div>

<div class="FluidPluginCopy">Wielemaker, Jan, Vrije University of Amsterdam, The Netherlands</div>

<div class="FluidPluginCopy">Yap, Roland, National University, Singapore</div>

<div class="FluidPluginCopy">Zaverucha, Gerson, UFRJ, Brazil</div>

<div class="FluidPluginCopy">Zhang, Yuanlin, Texas Tech University, USA</div>

<div class="FluidPluginCopy">Zhou, Neng-Fa, Brooklyn College, New York, USA</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy"><br>

</div>

<div class="FluidPluginCopy">Any additional question can be directed towards the ICLP Chairs:</div>

<div class="FluidPluginCopy elementToProof">  iclp2023@easychair.org</div>

</body>

</html>