<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<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="elementToProof ContentPasted0">
Please circulate within your networks. Apologies for multiple postings.
<div class="ContentPasted0">________________</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">FINAL CALLS 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 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 Journal/Conference Research</div>
<div class="ContentPasted0">* Demos</div>
<div class="ContentPasted0">* Proposals for Birds of a Feather Sessions</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">IS <b>APRIL 28, 2023</b></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">* Technical Communications (14 pages in EPTCS format, including references)</div>
<div class="ContentPasted0">   The accepted TC papers will be published in the Technical Communication Proceedings.</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 (2-3 pages in EPTCS format)</div>
<div class="ContentPasted0">   Extended abstract describing previously published research (from January 2021 onwards) in selective journals and conferences, but that have not been previously presented at ICLP.</div>
<div class="ContentPasted0">   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 (2-3 pages in EPTCS format)</div>
<div class="ContentPasted0">   System demonstrations should provide highlights of the novel features of the system, along with information about how to access it.</div>
<div class="ContentPasted0">   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 attendees involvement. The extended abstracts will be published in the Technical Communication Proceedings.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">****** CONFERENCE: July 9-15, 2023</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 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">* Technical Communications and Short Papers:</div>
<div class="ContentPasted0">  these submissions represent an opportunity to present results which may be more preliminary and discuss cutting-edge ideas which are relevant to the domain of logic programming.</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 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 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">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, Brazil</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>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<br>
</div>
<div class="elementToProof"><br>
<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; font-family: Calibri, Helvetica, sans-serif; color: rgb(0, 0, 0);">
<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">​</span><span style="font-family:Calibri,Helvetica,sans-serif">--
</span><br>
</div>
<span style="font-family:Calibri,Helvetica,sans-serif"></span><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"></span><span style="font-family:Calibri,Helvetica,sans-serif"></span><span>
<div><a title="https://clarg.doc.ic.ac.uk/" href="https://clarg.doc.ic.ac.uk/" data-loopstyle="link"><span style="font-family:Calibri,Helvetica,sans-serif">CLArg/Imperial College London</span></a><span style="font-family:Calibri,Helvetica,sans-serif"> |</span><br>
</div>
</span><span style="font-family:Calibri,Helvetica,sans-serif"></span><span style="font-family:Calibri,Helvetica,sans-serif"></span><span style="font-family:Calibri,Helvetica,sans-serif"></span><span>
<div><a href="https://github.com/GPPassos/" target="_blank" title="CTRL+Clique para seguir o link
https://github.com/GPPassos/" style="font-size:12pt" data-loopstyle="link"><span style="font-family:Calibri,Helvetica,sans-serif">github</span></a><span style="font-family:Calibri,Helvetica,sans-serif">
 | </span><a href="https://orcid.org/0000-0003-3089-1660" title="https://orcid.org/0000-0003-3089-1660"><img class="EmojiInsert" style="max-width:100%" data-outlook-trace="F:1|T:1" src="cid:25761bfa-0e73-4c57-93f3-1df30567c343"></a><br>
</div>
<div></div>
</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>