<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 class="ContentPasted0">________________</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">OPEN CALL FOR PAPERS</div>
<div class="ContentPasted0">(short papers, technical communications, recently published, demo, BoF)</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, July 9-15, 2023</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">ICLP 2023 will be an in-person event </div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">PLEASE NOTICE THAT PAPER SUBMISSION DEADLINE for: </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Short Papers, </div>
<div class="ContentPasted0">* Technical communications, </div>
<div class="ContentPasted0">* Recently Published, </div>
<div class="ContentPasted0">* Demo, BoF </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">IS APRIL 28, 2023</div>
<div><br class="ContentPasted0">
</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">(Deadlines expire at the end of the day, anywhere on earth.)</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">Accepted papers will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at http://style.eptcs.org/</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Submissions must 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><br class="ContentPasted0">
</div>
<div class="ContentPasted0">EXPECTED SUBMISSIONS:</div>
<div><br class="ContentPasted0">
</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 Communication Proceedings.</div>
<div class="ContentPasted0">* Recently Published Research Track</div>
<div class="ContentPasted0"> * 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="ContentPasted0">* System Demonstrations and BoF Proposals</div>
<div class="ContentPasted0"> * 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 class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">****** CONFERENCE: July 9-15, 2023</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 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="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:</div>
<div class="ContentPasted0"> 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="ContentPasted0">* Thematic Tracks:</div>
<div class="ContentPasted0"> we invite submissions to two thematic tracks, exploring specific roles and potential for logic programming; these thematic tracks 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:</div>
<div class="ContentPasted0"> 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="ContentPasted0">* System Demonstrations:</div>
<div class="ContentPasted0"> 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="ContentPasted0">* Birds-of-a-Feather (BoF) sessions:</div>
<div class="ContentPasted0"> 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="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:</div>
<div class="ContentPasted0"> 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="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">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><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>
<br>
</div>
<div class="elementToProof">
<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: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"><br>
</span></div>
<div><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>