<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">
<br>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof ContentPasted0">
<div class="ContentPasted0 ContentPasted1">Further reminder of the approaching deadline. Apologies again for multiple postings. Please circulate within your networks.
<div><br>
</div>
<div>________________</div>
<div><br>
</div>
<div>EXTENDED SUBMISSION DEADLINE: FINAL CALL FOR PAPERS</div>
<div>________________</div>
<div><br>
</div>
<div>The 39th International Conference on Logic Programming (ICLP 2023)</div>
<div>https://iclp2023.imperial.ac.uk/</div>
<div>London, UK</div>
<div>July 9-15, 2023</div>
<div><br>
</div>
<div>ICLP 2023 will be an in-person event in London, UK.</div>
<div>________________</div>
<div><br>
</div>
<div><br>
</div>
<div>Important Dates: </div>
<div>* Abstract registration: January 30, 2023</div>
<div>* Paper submission (regular, applications, thematic tracks): February 6, 2023</div>
<div>* Notification to authors: February 28, 2023</div>
<div>* Revision submission (TPLP papers): March 20, 2023</div>
<div>* Paper submission (short papers, technical comms, recently published, demo, BoF): April 28, 2023</div>
<div>* Workshop proposals: March 20, 2023</div>
<div>* Final notifications (all paper kinds): May 19, 2023</div>
<div>* Camera-ready copy due (all paper kinds): May 26, 2023</div>
<div>* Conference: July 9-15, 2023</div>
<div>(Deadlines expire at the end of the day, anywhere on earth.)</div>
<div><br>
</div>
<div><br>
</div>
<div>SCOPE</div>
<div>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>
</div>
<div><br>
</div>
<div>* Theoretical Foundations.</div>
<div>* Language Design and Programming Methodologies.</div>
<div> ** Program Analysis and Optimization.</div>
<div> ** Implementation Methodologies.</div>
<div> ** Related Paradigms, Integration, and Synergies.</div>
<div> ** Applications of Logic Programming.</div>
<div><br>
</div>
<div><br>
</div>
<div>TRACKS AND SPECIAL SESSIONS</div>
<div>Besides the main track, ICLP 2023 will host additional tracks:</div>
<div><br>
</div>
<div>* Applications Track:</div>
<div> 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>* Thematic Tracks:</div>
<div> we invite submissions to two thematic tracks, exploring specific roles and potential for logic programming; these thematic tracks are:</div>
<div> * Logic Programming and Machine Learning</div>
<div> * Logic Programming and Explainability, Ethics, and Trustworthiness</div>
<div>* Recently Published Research Track:</div>
<div> 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>* System Demonstrations:</div>
<div> 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>* Birds-of-a-Feather (BoF) sessions:</div>
<div> 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>
</div>
<div>In addition, ICLP 2023 will host:</div>
<div><br>
</div>
<div>* Doctoral Consortium and Mentoring Sessions:</div>
<div> 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>* Tutorials.</div>
<div>* Co-located Workshops.</div>
<div>* Summer School on Logic Programming.</div>
<div>* Logic Programming Contest.</div>
<div><br>
</div>
<div>SUBMISSION DETAILS</div>
<div>All submissions must be written in English.</div>
<div>We note that papers accepted at ICLP may appear either in</div>
<div>* Theory and Practice of Logic Programming Journal (TPLP), or</div>
<div>* Technical Communication Proceeding (TC) published by Electronic Proceedings in Theoretical Computer Science (EPTCS)</div>
<div><br>
</div>
<div>TPLP format is described at</div>
<div> https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors</div>
<div><br>
</div>
<div>EPTCS format is described at</div>
<div> http://style.eptcs.org/</div>
<div><br>
</div>
<div>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>
</div>
<div>Expected submissions:</div>
<div><br>
</div>
<div>* For Main Track, Application Track, and Thematic Tracks:</div>
<div> * All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere.
</div>
<div> These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings.</div>
<div> * Regular papers (14 pages in TPLP format, including references)</div>
<div> 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. </div>
<div> 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> * Short papers (7 pages in EPTCS format, including references). </div>
<div> The accepted short papers will be published in the Technical Communication Proceedings.</div>
<div>* Recently Published Research Track</div>
<div> * 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>* System Demonstrations and BoF Proposals</div>
<div> * 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><br>
</div>
<div>Submissions will be done via EasyChair. The submission Web page for ICLP2023 is
</div>
<div>https://easychair.org/conferences/?conf=iclp2023</div>
<div><br>
</div>
<div>ORGANIZATION</div>
<div>** General Chairs</div>
<div> Alessandra Russo and Francesca Toni, Imperial College London, UK</div>
<div>** Program Chairs</div>
<div> Stefania Costantini, University of L’Aquila, Italy</div>
<div> Enrico Pontelli, New Mexico State University, USA</div>
<div>** Publicity Chair</div>
<div> Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK </div>
<div>** Workshop Chair</div>
<div> Wolfgang Faber, University of Klagenfurt, Austria</div>
<div>** Tutorials Chairs</div>
<div> Agostino Dovier, University of Udine, Italy</div>
<div> Esra Erdem, Sabanci University, Turkey</div>
<div>** Doctoral Consortium Chairs</div>
<div> Francesco Fabiano, University of Udine, Italy</div>
<div> Alessandra Mileo, DCU, Ireland</div>
<div>** Programming Contest Chairs</div>
<div> Martin Gebser, Graz University of Technology, Austria</div>
<div> Mario Alviano, University of Calabria, Italy</div>
<div>** Recently Published Research Track Chair</div>
<div> Sarah Gaggl, TU Dresden, Germany</div>
<div>** Application and Systems/Demo Chair</div>
<div> Carmine Dodaro, University of Calabria, Italy</div>
<div>** Summer School Organizers</div>
<div> Simona Perri, University of Calabria, Italy</div>
<div> Bart Bogaerts, Vrije Universiteit Brussel, Belgium</div>
<div>** Thematic Tracks Chairs:</div>
<div> - LP and Explainability, Ethics and Trustworthiness</div>
<div> Roberta Calegari, University of Bologna, Italy</div>
<div> - LP and Machine Learning</div>
<div> Artur Garcez, City University of London, UK</div>
<div>** BoF Chair</div>
<div> Luciano Serafini, Fondazione Bruno Kessler Trento, Italy</div>
<div><br>
</div>
<div>Program Committee</div>
<div>Abreu, Salvador, University of Evora, Portugal</div>
<div>Alviano, Mario, University of Calabria, Italy</div>
<div>Artikis, Alexander, NCSR "Demokritos", Greece </div>
<div>Balduccini, Marcello, Saint Joseph’s University, USA</div>
<div>Baral, Chitta, Arizona State University, USA</div>
<div>Bartak, Roman, Charles University, Czech Republic</div>
<div>Bellodi, Elena, University of Ferrara, Italy</div>
<div>Ben-Eliyahu-Zohary, Rachel, Jerusalem College of Engineering, Israel</div>
<div>Bogaerts, Bart, Vrije Universiteit Brussel, Belgium</div>
<div>Cabalar, Pedro, University of Corunna, Spain</div>
<div>Calegari, Roberta, University of Bologna, Italy</div>
<div>Calimeri, Francesco, University of Calabria, Italy</div>
<div>Codish, Michael, Ben-Gurion University of the Negev, Israel</div>
<div>Daggit, Matthew, Heriot-Watt University, Israel</div>
<div>De Gasperis, Giovanni, University of L’Aquila, Italy</div>
<div>De Vos, Marina, University of Bath, UK</div>
<div>Dodaro, Carmine, University of Calabria, Italy</div>
<div>Dovier, Agostino, University of Udine, Italy</div>
<div>Dutra, Ines, University of Porto, Portugal</div>
<div>Dyoub, Abeer, University of L’Aquila, Italy</div>
<div>Eiter, Thomas, Vienna University of Technology, Austria</div>
<div>Erdem, Esra, Sabanci University, Turkey</div>
<div>Fabiano, Francesco, University of Parma, Italy</div>
<div>Fandinno, Jorge, University of Nebraska Omaha, USA</div>
<div>Fioravanti, Fabio, University of Chieti-Pescara, Italy</div>
<div>Formisano, Andrea, University of Udine, Italy</div>
<div>Gaggl, Sarah Alice, University of Dresden, Germany</div>
<div>Garcez, Artur, City University of London, UK</div>
<div>Gavanelli, Marco, University of Ferrara, Italy</div>
<div>Gebser, Martin, University of Klagenfurt, Austria</div>
<div>Gelfond, Michael, Texas Tech University, USA</div>
<div>Giordano, Laura, University of Piemonte Orientale, Italy</div>
<div>Gupta, Gopal, University of Texas at Dallas, USA</div>
<div>Hermenegildo, Manuel, IMDEA Software Institute Madrid, Spain</div>
<div>Iclezan, Daniela, Miami University, USA</div>
<div>Inoue, Katsumi, NII, Japan</div>
<div>Kampik, Timotheus, Umeå Universitet, Sweden</div>
<div>Katzouris, Nikos, National Center for Scientific Research "DEMOKRITOS", Greece</div>
<div>Kiziltan, Zeynep, University of Bologna, Italy</div>
<div>Lamma, Evelina, University of Ferrara, Italy</div>
<div>Lifschitz, Vladimir, University of Texas at Austin, USA</div>
<div>Lisi, Francesca, University of Bari, Italy</div>
<div>Liu, Y. Annie, State University of New York at Stony Brook, USA</div>
<div>Manhaeve, Robin, KLU, Belgium</div>
<div>Mascardi, Viviana, University of Genova, Italy</div>
<div>Michel, Laurent, USA</div>
<div>Mileo Alessandra, Dublin City University, Ireland</div>
<div>Morales, Jose, IMDEA Software Institute, Spain</div>
<div>Nicolosi-Asmundo, Marianna, University of Catania, Italy</div>
<div>Oikarinen, Emilia, University of Helsinki, Finland</div>
<div>Patsantzis, Stassa, Imperial College, UK</div>
<div>Pimentel, Elaine, UCL, UK</div>
<div>Piazza, Carla, University of Udine, Italy</div>
<div>Pozzato, Gianluca, University of Torino, Italy</div>
<div>Ramakrishnan, CR, State University of New York at Stony Brook, USA</div>
<div>Ricca, Francesco, University of Cosenza, Italy</div>
<div>Riguzzi, Fabrizio, University of Ferrara, Italy</div>
<div>Rocha, Ricardo, University of Porto, Portugal</div>
<div>Sabuncu, Orkunt, Ted University Ankara, Turkey</div>
<div>Sakama, Chiaki, Wakayama University, Japan</div>
<div>Saribatur, Zeynep, TU Wien, Austria</div>
<div>Md Kamruzzaman, Sarker, University of Hartford, UK</div>
<div>Schaub, Torsten, University of Potsdam, Germany</div>
<div>Serafini, Luciano, Fondazione Bruno Kessler Trento, Italy</div>
<div>Son, Tran Cao, New Mexico State University, USA</div>
<div>Swift, Theresa, Universidade Nova de Lisboa, Portugal</div>
<div>Tarau, Paul, University of North Texas, USA</div>
<div>Truszczynski, Mirek, University of Kentucky, USA</div>
<div>Vidal, German, Universitat Politècnica de València, Spain</div>
<div>Villaneuva, Alicia, Universitat Politècnica de València, Spain</div>
<div>Warren, David, State University of New York at Stony Brook, USA</div>
<div>Weitkamper, Felix, Ludwig-Maximilians University of Munich, Germany</div>
<div>Wielemaker, Jan, Vrije University of Amsterdam, The Netherlands</div>
<div>Yap, Roland, National University, Singapore</div>
<div>Zaverucha, Gerson, UFRJ, Brasil</div>
<div>Zhang,Yuanlin, Texas Tech University, USA</div>
<div>Zhou, Neng-Fa, Brooklyn College, New York, USA</div>
<div><br>
</div>
<div>Any additional question can be directed towards the ICLP Chairs:</div>
<div> iclp2023@easychair.org</div>
<div><br>
</div>
<div class="ContentPasted1"></div>
<div><br class="ContentPasted1">
</div>
<br>
</div>
</div>
</body>
</html>