<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 style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="ContentPasted0 elementToProof">
Please circulate within your networks. Apologies for multiple postings.</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="ContentPasted0 elementToProof">
<div class="ContentPasted0">________________</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">EXTENDED SUBMISSION DEADLINE: FINAL CALL FOR PAPERS</div>
<div class="ContentPasted0">________________</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The 39th International Conference on Logic Programming (ICLP 2023)</div>
<div class="ContentPasted0">https://iclp2023.imperial.ac.uk/</div>
<div class="ContentPasted0">London, UK</div>
<div class="ContentPasted0">July 9-15, 2023</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">ICLP 2023 will be an in-person event in London, UK.</div>
<div class="ContentPasted0">________________</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Important Dates: </div>
<div class="ContentPasted0">* Abstract registration: January 30, 2023</div>
<div class="ContentPasted0">* Paper submission (regular, applications, thematic tracks): February 6, 2023</div>
<div class="ContentPasted0">* Notification to authors: February 28, 2023</div>
<div class="ContentPasted0">* Revision submission (TPLP papers): March 20, 2023</div>
<div class="ContentPasted0">* Paper submission (short papers, technical comms, recently published, demo, BoF): April 28, 2023</div>
<div class="ContentPasted0">* Workshop proposals: March 20, 2023</div>
<div class="ContentPasted0">* Final notifications (all paper kinds): May 19, 2023</div>
<div class="ContentPasted0">* Camera-ready copy due (all paper kinds): May 26, 2023</div>
<div class="ContentPasted0">* Conference: July 9-15, 2023</div>
<div class="ContentPasted0">(Deadlines expire at the end of the day, anywhere on earth.)</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">SCOPE</div>
<div class="ContentPasted0">Since the first conference held in Marseille in 1982, ICLP has been the premier
</div>
<div class="ContentPasted0">international event for presenting research in logic programming. Contributions
</div>
<div class="ContentPasted0">are sought in all areas of logic programming, including but not restricted to:</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Theoretical Foundations.</div>
<div class="ContentPasted0">* Language Design and Programming Methodologies.</div>
<div class="ContentPasted0"> ** Program Analysis and Optimization.</div>
<div class="ContentPasted0"> ** Implementation Methodologies.</div>
<div class="ContentPasted0"> ** Related Paradigms, Integration, and Synergies.</div>
<div class="ContentPasted0"> ** Applications of Logic Programming.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">TRACKS AND SPECIAL SESSIONS</div>
<div class="ContentPasted0">Besides the main track, ICLP 2023 will host additional tracks:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Applications Track: we invite submissions of papers on emerging
</div>
<div class="ContentPasted0"> and deployed applications of LP, describing all aspects of the
</div>
<div class="ContentPasted0"> development, deployment, and evaluation of logic programming systems
</div>
<div class="ContentPasted0"> to solve real-world problems, including interesting case studies and
</div>
<div class="ContentPasted0"> benchmarks, and discussing lessons learned.</div>
<div class="ContentPasted0">* Thematic Tracks: we invite submissions to two thematic tracks, exploring
</div>
<div class="ContentPasted0"> specific roles and potential for logic programming; these thematic tracks
</div>
<div class="ContentPasted0"> are:</div>
<div class="ContentPasted0"> * Logic Programming and Machine Learning</div>
<div class="ContentPasted0"> * Logic Programming and Explainability, Ethics, and Trustworthiness</div>
<div class="ContentPasted0">* Recently Published Research Track: this track provides a forum to discuss
</div>
<div class="ContentPasted0"> important results related to logic programming that appeared recently (from
</div>
<div class="ContentPasted0"> January 2021 onwards) in selective journals and conferences, but have not
</div>
<div class="ContentPasted0"> been previously presented at ICLP.</div>
<div class="ContentPasted0">* System Demonstrations: we invite submissions showcasing logic programming
</div>
<div class="ContentPasted0"> systems and implementations in a live setting. This track is not designed
</div>
<div class="ContentPasted0"> to be sales pitches, demonstrations are a way for the community to see the
</div>
<div class="ContentPasted0"> relevance, potential, and innovation of the tool and allow time for
</div>
<div class="ContentPasted0"> discussion with its creator.</div>
<div class="ContentPasted0">* Birds-of-a-Feather (BoF) sessions: we invite proposals for sessions meant
</div>
<div class="ContentPasted0"> to provide an inclusive environment for colleagues with similar interests
</div>
<div class="ContentPasted0"> to meet for informal discussion. Proposers of BoF sessions should serve
</div>
<div class="ContentPasted0"> as discussion leaders only. BoFs are not intended to be presentations.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">In addition, ICLP 2023 will host:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Doctoral Consortium and Mentoring Sessions: the Doctoral Consortium (DC)
</div>
<div class="ContentPasted0"> on Logic Programming provides students and early career researchers
</div>
<div class="ContentPasted0"> with the opportunity to present and discuss their research directions,
</div>
<div class="ContentPasted0"> obtain feedback from both peers and experts in the field, and participate
</div>
<div class="ContentPasted0"> in mentoring sessions on how to prepare and succeed for a research career.
</div>
<div class="ContentPasted0"> We will have leaders in logic programming research from academia and
</div>
<div class="ContentPasted0"> industry to give invited talks on their research areas. The best paper
</div>
<div class="ContentPasted0"> from the DC will be given the opportunity to make a presentation in a
</div>
<div class="ContentPasted0"> session of the main ICLP conference.</div>
<div class="ContentPasted0">* Tutorials.</div>
<div class="ContentPasted0">* Co-located Workshops.</div>
<div class="ContentPasted0">* Summer School on Logic Programming.</div>
<div class="ContentPasted0">* Logic Programming Contest.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">SUBMISSION DETAILS</div>
<div class="ContentPasted0">All submissions must be written in English.</div>
<div class="ContentPasted0">We note that papers accepted at ICLP may appear either in</div>
<div class="ContentPasted0">* Theory and Practice of Logic Programming Journal (TPLP), or</div>
<div class="ContentPasted0">* Technical Communication Proceeding (TC) published by Electronic
</div>
<div class="ContentPasted0"> Proceedings in Theoretical Computer Science (EPTCS)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">TPLP format is described at</div>
<div class="ContentPasted0"> https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">EPTCS format is described at</div>
<div class="ContentPasted0"> http://style.eptcs.org/</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">All accepted papers will be presented during the conference. Authors of
</div>
<div class="ContentPasted0">accepted papers will, by default, be automatically included in the
</div>
<div class="ContentPasted0">list of ALP members, who will receive quarterly updates from the Logic
</div>
<div class="ContentPasted0">Programming Newsletter at no cost.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Expected submissions:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* For Main Track, Application Track, and Thematic Tracks:</div>
<div class="ContentPasted0"> * All papers must describe original, previously unpublished research,
</div>
<div class="ContentPasted0"> and must not simultaneously be submitted for publication elsewhere.
</div>
<div class="ContentPasted0"> These restrictions do not apply to previously accepted workshop papers
</div>
<div class="ContentPasted0"> with a limited audience and/or without archival proceedings.</div>
<div class="ContentPasted0"> * Regular papers (14 pages in TPLP format, including references) The </div>
<div class="ContentPasted0"> accepted regular papers will be published in TPLP. The program
</div>
<div class="ContentPasted0"> committee may recommend some regular papers to be published in
</div>
<div class="ContentPasted0"> Technical Communication Proceeding (TC). In this case, the papers
</div>
<div class="ContentPasted0"> will have to be reformatted into EPTCS format and not exceed 14 pages.
</div>
<div class="ContentPasted0"> Authors who submitted Regular papers that were accepted as TC may
</div>
<div class="ContentPasted0"> elect to convert their submissions into extended abstracts (2 or 3
</div>
<div class="ContentPasted0"> pages in EPTCS format). This should allow authors to submit a
</div>
<div class="ContentPasted0"> long version elsewhere.</div>
<div class="ContentPasted0"> * Short papers (7 pages in EPTCS format, including references).
</div>
<div class="ContentPasted0"> The accepted short papers will be published in the Technical
</div>
<div class="ContentPasted0"> Communication Proceedings.</div>
<div class="ContentPasted0">* Recently Published Research Track</div>
<div class="ContentPasted0"> * Extended abstract (2 or 3 pages in EPTCS format) describing
</div>
<div class="ContentPasted0"> previously published research (from January 2021 onwards) in
</div>
<div class="ContentPasted0"> selective journals and conferences, but that have not been
</div>
<div class="ContentPasted0"> previously presented at ICLP. A title ‘page should be appended
</div>
<div class="ContentPasted0"> to the submission with (i) details on the venue, where the original
</div>
<div class="ContentPasted0"> paper appeared, (ii) a link to the original paper, (iii) a paragraph
</div>
<div class="ContentPasted0"> describing why the authors believe this work warrants a presentation
</div>
<div class="ContentPasted0"> at ICLP. The extended abstracts will be published in the Technical
</div>
<div class="ContentPasted0"> Communication Proceedings.</div>
<div class="ContentPasted0">* System Demonstrations and BoF Proposals</div>
<div class="ContentPasted0"> * Extended abstract (2 or 3 pages in EPTCS format). System
</div>
<div class="ContentPasted0"> demonstrations should provide highlights of the novel features of
</div>
<div class="ContentPasted0"> the system, along with information about how to access it. BoF
</div>
<div class="ContentPasted0"> proposals should motivate the choice of the topic and its relevance
</div>
<div class="ContentPasted0"> to logic programming, describe the expected audience, identify
</div>
<div class="ContentPasted0"> discussion leaders and their expertise, and provide a brief
</div>
<div class="ContentPasted0"> description of the activities during the BoF session. We expect
</div>
<div class="ContentPasted0"> BoFs to be inclusive and involve active participation for attendees.
</div>
<div class="ContentPasted0"> Describe how your BoF will use inclusive practices and foster
</div>
<div class="ContentPasted0"> attendee involvement. The extended abstracts will be published in
</div>
<div class="ContentPasted0"> the Technical Communication Proceedings.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Submissions will be done via EasyChair. The submission Web page for ICLP2023 is
</div>
<div class="ContentPasted0">https://easychair.org/conferences/?conf=iclp2023</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">ORGANIZATION</div>
<div class="ContentPasted0">** General Chairs</div>
<div class="ContentPasted0"> Alessandra Russo and Francesca Toni, Imperial College London, UK</div>
<div class="ContentPasted0">** Program Chairs</div>
<div class="ContentPasted0"> Stefania Costantini, University of L’Aquila, Italy</div>
<div class="ContentPasted0"> Enrico Pontelli, New Mexico State University, USA</div>
<div class="ContentPasted0">** Publicity Chair</div>
<div class="ContentPasted0"> Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK
</div>
<div class="ContentPasted0">** Workshop Chair</div>
<div class="ContentPasted0"> Wolfgang Faber, University of Klagenfurt, Austria</div>
<div class="ContentPasted0">** Tutorials Chairs</div>
<div class="ContentPasted0"> Agostino Dovier, University of Udine, Italy</div>
<div class="ContentPasted0"> Esra Erdem, Sabanci University, Turkey</div>
<div class="ContentPasted0">** Doctoral Consortium Chairs</div>
<div class="ContentPasted0"> Francesco Fabiano, University of Udine, Italy</div>
<div class="ContentPasted0"> Alessandra Mileo, DCU, Ireland</div>
<div class="ContentPasted0">** Programming Contest Chairs</div>
<div class="ContentPasted0"> Martin Gebser, Graz University of Technology, Austria</div>
<div class="ContentPasted0"> Mario Alviano, University of Calabria, Italy</div>
<div class="ContentPasted0">** Recently Published Research Track Chair</div>
<div class="ContentPasted0"> Sarah Gaggl, TU Dresden, Germany</div>
<div class="ContentPasted0">** Application and Systems/Demo Chair</div>
<div class="ContentPasted0"> Carmine Dodaro, University of Calabria, Italy</div>
<div class="ContentPasted0">** Summer School Organizers</div>
<div class="ContentPasted0"> Simona Perri, University of Calabria, Italy</div>
<div class="ContentPasted0"> Bart Bogaerts, Vrije Universiteit Brussel, Belgium</div>
<div class="ContentPasted0">** Thematic Tracks Chairs:</div>
<div class="ContentPasted0"> - LP and Explainability, Ethics and Trustworthiness</div>
<div class="ContentPasted0"> Roberta Calegari, University of Bologna, Italy</div>
<div class="ContentPasted0"> - LP and Machine Learning</div>
<div class="ContentPasted0"> Artur Garcez, City University of London, UK</div>
<div class="ContentPasted0">** BoF Chair</div>
<div class="ContentPasted0"> Luciano Serafini, Fondazione Bruno Kessler Trento, Italy</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Program Committee</div>
<div class="ContentPasted0">Abreu, Salvador, University of Evora, Portugal</div>
<div class="ContentPasted0">Alviano, Mario, University of Calabria, Italy</div>
<div class="ContentPasted0">Artikis, Alexander, NCSR "Demokritos", Greece </div>
<div class="ContentPasted0">Balduccini, Marcello, Saint Joseph’s University, USA</div>
<div class="ContentPasted0">Baral, Chitta, Arizona State University, USA</div>
<div class="ContentPasted0">Bartak, Roman, Charles University, Czech Republic</div>
<div class="ContentPasted0">Bellodi, Elena, University of Ferrara, Italy</div>
<div class="ContentPasted0">Ben-Eliyahu-Zohary, Rachel, Jerusalem College of Engineering, Israel</div>
<div class="ContentPasted0">Bogaerts, Bart, Vrije Universiteit Brussel, Belgium</div>
<div class="ContentPasted0">Cabalar, Pedro, University of Corunna, Spain</div>
<div class="ContentPasted0">Calegari, Roberta, University of Bologna, Italy</div>
<div class="ContentPasted0">Calimeri, Francesco, University of Calabria, Italy</div>
<div class="ContentPasted0">Codish, Michael, Ben-Gurion University of the Negev, Israel</div>
<div class="ContentPasted0">Daggit, Matthew, Heriot-Watt University, Israel</div>
<div class="ContentPasted0">De Gasperis, Giovanni, University of L’Aquila, Italy</div>
<div class="ContentPasted0">De Vos, Marina, University of Bath, UK</div>
<div class="ContentPasted0">Dodaro, Carmine, University of Calabria, Italy</div>
<div class="ContentPasted0">Dovier, Agostino, University of Udine, Italy</div>
<div class="ContentPasted0">Dutra, Ines, University of Porto, Portugal</div>
<div class="ContentPasted0">Dyoub, Abeer, University of L’Aquila, Italy</div>
<div class="ContentPasted0">Eiter, Thomas, Vienna University of Technology, Austria</div>
<div class="ContentPasted0">Erdem, Esra, Sabanci University, Turkey</div>
<div class="ContentPasted0">Fabiano, Francesco, University of Parma, Italy</div>
<div class="ContentPasted0">Fandinno, Jorge, University of Nebraska Omaha, USA</div>
<div class="ContentPasted0">Fioravanti, Fabio, University of Chieti-Pescara, Italy</div>
<div class="ContentPasted0">Formisano, Andrea, University of Udine, Italy</div>
<div class="ContentPasted0">Gaggl, Sarah Alice, University of Dresden, Germany</div>
<div class="ContentPasted0">Garcez, Artur, City University of London, UK</div>
<div class="ContentPasted0">Gavanelli, Marco, University of Ferrara, Italy</div>
<div class="ContentPasted0">Gebser, Martin, University of Klagenfurt, Austria</div>
<div class="ContentPasted0">Gelfond, Michael, Texas Tech University, USA</div>
<div class="ContentPasted0">Giordano, Laura, University of Piemonte Orientale, Italy</div>
<div class="ContentPasted0">Gupta, Gopal, University of Texas at Dallas, USA</div>
<div class="ContentPasted0">Hermenegildo, Manuel, IMDEA Software Institute Madrid, Spain</div>
<div class="ContentPasted0">Iclezan, Daniela, Miami University, USA</div>
<div class="ContentPasted0">Inoue, Katsumi, NII, Japan</div>
<div class="ContentPasted0">Kampik, Timotheus, Umeå Universitet, Sweden</div>
<div class="ContentPasted0">Katzouris, Nikos, National Center for Scientific Research "DEMOKRITOS", Greece</div>
<div class="ContentPasted0">Kiziltan, Zeynep, University of Bologna, Italy</div>
<div class="ContentPasted0">Lamma, Evelina, University of Ferrara, Italy</div>
<div class="ContentPasted0">Lifschitz, Vladimir, University of Texas at Austin, USA</div>
<div class="ContentPasted0">Lisi, Francesca, University of Bari, Italy</div>
<div class="ContentPasted0">Liu, Y. Annie, State University of New York at Stony Brook, USA</div>
<div class="ContentPasted0">Manhaeve, Robin, KLU, Belgium</div>
<div class="ContentPasted0">Mascardi, Viviana, University of Genova, Italy</div>
<div class="ContentPasted0">Michel, Laurent, USA</div>
<div class="ContentPasted0">Mileo Alessandra, Dublin City University, Ireland</div>
<div class="ContentPasted0">Morales, Jose, IMDEA Software Institute, Spain</div>
<div class="ContentPasted0">Nicolosi-Asmundo, Marianna, University of Catania, Italy</div>
<div class="ContentPasted0">Oikarinen, Emilia, University of Helsinki, Finland</div>
<div class="ContentPasted0">Patsantzis, Stassa, Imperial College, UK</div>
<div class="ContentPasted0">Pimentel, Elaine, UCL, UK</div>
<div class="ContentPasted0">Piazza, Carla, University of Udine, Italy</div>
<div class="ContentPasted0">Pozzato, Gianluca, University of Torino, Italy</div>
<div class="ContentPasted0">Ramakrishnan, CR, State University of New York at Stony Brook, USA</div>
<div class="ContentPasted0">Ricca, Francesco, University of Cosenza, Italy</div>
<div class="ContentPasted0">Riguzzi, Fabrizio, University of Ferrara, Italy</div>
<div class="ContentPasted0">Rocha, Ricardo, University of Porto, Portugal</div>
<div class="ContentPasted0">Sabuncu, Orkunt, Ted University Ankara, Turkey</div>
<div class="ContentPasted0">Sakama, Chiaki, Wakayama University, Japan</div>
<div class="ContentPasted0">Saribatur, Zeynep, TU Wien, Austria</div>
<div class="ContentPasted0">Md Kamruzzaman, Sarker, University of Hartford, UK</div>
<div class="ContentPasted0">Schaub, Torsten, University of Potsdam, Germany</div>
<div class="ContentPasted0">Serafini, Luciano, Fondazione Bruno Kessler Trento, Italy</div>
<div class="ContentPasted0">Son, Tran Cao, New Mexico State University, USA</div>
<div class="ContentPasted0">Swift, Theresa, Universidade Nova de Lisboa, Portugal</div>
<div class="ContentPasted0">Tarau, Paul, University of North Texas, USA</div>
<div class="ContentPasted0">Truszczynski, Mirek, University of Kentucky, USA</div>
<div class="ContentPasted0">Vidal, German, Universitat Politècnica de València, Spain</div>
<div class="ContentPasted0">Villaneuva, Alicia, Universitat Politècnica de València, Spain</div>
<div class="ContentPasted0">Warren, David, State University of New York at Stony Brook, USA</div>
<div class="ContentPasted0">Weitkamper, Felix, Ludwig-Maximilians University of Munich, Germany</div>
<div class="ContentPasted0">Wielemaker, Jan, Vrije University of Amsterdam, The Netherlands</div>
<div class="ContentPasted0">Yap, Roland, National University, Singapore</div>
<div class="ContentPasted0">Zaverucha, Gerson, UFRJ, Brasil</div>
<div class="ContentPasted0">Zhang,Yuanlin, Texas Tech University, USA</div>
<div class="ContentPasted0">Zhou, Neng-Fa, Brooklyn College, New York, USA</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Any additional question can be directed towards the ICLP Chairs:</div>
<div class="ContentPasted0"> iclp2023@easychair.org</div>
</div>
</body>
</html>