<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"><span style="font-size: 13pt;">________________</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;"><b>SECOND CALL FOR PARTICIPATION (ACCEPTED PAPERS ONLINE, EARLY BIRD DEADLINE APPROACHING)</b></span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">________________</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">The 39th International Conference on Logic Programming (ICLP 2023)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> <a href="https://iclp2023.imperial.ac.uk/">
https://iclp2023.imperial.ac.uk/</a></span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">London, UK, July 9-15, 2023</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">ICLP 2023 will be an in-person event.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Registration is open at
</span><a href="https://iclp2023.imperial.ac.uk/registration"><span style="font-size: 13pt;">https://iclp2023.imperial.ac.uk/registration</span></a></div>
<div class="ContentPasted0"><br>
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">DEADLINE FOR EARLY BIRD APPROACHING: 15/06/2023, GMT+1</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">ACCEPTED PAPERS ONLINE</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">****** CONFERENCE: July 9-15, 2023</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">SCOPE</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions include all areas of logic programming,
such as:</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Theoretical Foundations.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Language Design and Programming Methodologies.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Program Analysis and Optimization.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Implementation Methodologies.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Related Paradigms, Integration, and Synergies.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Applications of Logic Programming.</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">PROGRAM</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Preliminary schedule is now available at
</span><a href="https://iclp2023.imperial.ac.uk/program"><span style="font-size: 13pt;">https://iclp2023.imperial.ac.uk/program</span></a></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Accepted papers are now available at
</span><a href="https://iclp2023.imperial.ac.uk/program/accepted-papers"><span style="font-size: 13pt;">https://iclp2023.imperial.ac.uk/program/accepted-papers</span></a></div>
<div class="ContentPasted0"><br>
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">STUDENT FINANCIAL SUPPORT</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* USA-based students - Courtesy of NFS (Deadline: 10th June)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Undergraduate and MSc students from underrepresented groups - Courtesy of Google DeepMind (Deadline: 15th June)
</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Accommodation and travel support - Courtesy of the Artificial Intelligence journal (Deadline: 15th June)</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Details on how to apply are available on the website:
</span><a href="https://iclp2023.imperial.ac.uk/registration/student-financial-support"><span style="font-size: 13pt;">https://iclp2023.imperial.ac.uk/registration/student-financial-support</span></a></div>
<div class="ContentPasted0"><br>
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">INVITED SPEAKERS</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Jan Wielemaker (Centrum Wiskunde & Informatica, Netherlands)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Sarah Gaggl (Technische Universität Dresden, Germany)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Marco Maratea (University of Calabria, Italy)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Keith Stenning (University of Edinburgh, United Kingdom)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Gopal Gupta (University of Texas at Dallas, United States)</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">TRACKS and SPECIAL SESSIONS</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Applications Track,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> on emerging and deployed applications of logic programming;</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Thematic Tracks on:</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Logic Programming and Machine Learning;</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Logic Programming and Explainability, Ethics, and Trustworthiness.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Recently Published Research Track,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> on 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.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* System Demonstration Track,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> to showcase logic programming systems and implementations in a live setting.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Birds-of-a-Feather (BoF) Sessions,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> meant to provide an inclusive environment for informal discussions.</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* ICLP2023 will also host a Doctoral Consortium, Tutorials, a Summer School, a Women@ICLP Event, an Industry Event, a Programming Contest and Workshops.</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">WORKSHOPS</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Abduction & Argumentation in Logic Programming (AALP)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Argumentation for eXplainable AI (ArgXAI)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Answer Set Programming and Other Computing Paradigms (ASPOCP)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Causal Reasoning and Explanation in Logic Programming (CAUSAL)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Computational Models of Natural Argument (CMNA)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Epistemic Extensions of Logic Programming (EELP)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Goal-directed Execution of Answer Set Programs (GDE)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Logic Programming and Legal Reasoning (LPLR)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Machine Ethics and Explainability, The Role of Logic Programming (MEandE-LP)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Probabilistic Logic Programming (PLP)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Safe and Trustworthy AI (STAI)</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Details on the workshops are available at
</span><a href="https://iclp2023.imperial.ac.uk/affiliated-events/workshops"><span style="font-size: 13pt;">https://iclp2023.imperial.ac.uk/affiliated-events/workshops</span></a></div>
<div class="ContentPasted0"><br>
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">TUTORIALS</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Cognitive Vision - On Deep Semantics for Explainable Visuospatial Intelligence,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> by Mehul Bhatt (Örebro University, Sweden)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Joseph Townsend (Fujitsu Research of Europe) - Topic TBA</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">SUMMER SCHOOL</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Fine Points of Answer Set Programming,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> by Vladimir Lifschitz (University of Texas at Austin, United States)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* New Directions in Prolog Programming,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> by Theresa Swift (NOVA University Lisbon, Portugal)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Industrial Applications of Logic Programming,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> by Konstantin Schekotihin (University of Klagenfurt, Austria)</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Answer Set Programming in Normative Systems: Modelling, Verification and Adaptation of Normative Behaviour,</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> by Marina De Vos (University of Bath, United Kingdom)</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">PROGRAMMING CONTEST</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Details TBA</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">WOMEN@ICLP20223</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">* Details are available at https://iclp2023.imperial.ac.uk/affiliated-events/womeniclp</span></div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">ORGANIZATION</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** General Chairs</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Alessandra Russo and Francesca Toni, Imperial College London, UK</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Program Chairs</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Stefania Costantini, University of L’Aquila, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Enrico Pontelli, New Mexico State University, USA</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Publicity Chair</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Workshop Chair</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Wolfgang Faber, University of Klagenfurt, Austria</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Tutorials Chairs</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Agostino Dovier, University of Udine, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Esra Erdem, Sabanci University, Turkey</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Doctoral Consortium Chairs</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Francesco Fabiano, University of Udine, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Alessandra Mileo, DCU, Ireland</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Programming Contest Chairs</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Martin Gebser, Graz University of Technology, Austria</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Mario Alviano, University of Calabria, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Recently Published Research Track Chair</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Sarah Gaggl, TU Dresden, Germany</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Application and Systems/Demo Chair</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Carmine Dodaro, University of Calabria, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Summer School Organizers</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Simona Perri, University of Calabria, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Bart Bogaerts, Vrije Universiteit Brussel, Belgium</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Thematic Tracks Chairs:</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> - LP and Explainability, Ethics and Trustworthiness</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Roberta Calegari, University of Bologna, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> - LP and Machine Learning</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Artur Garcez, City University of London, UK</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** BoF Chair</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Luciano Serafini, Fondazione Bruno Kessler Trento, Italy</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">** Women@ICLP Chair</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> Daniele Nantes-Sobrinho, University of Brasília, Brazil, and Imperial</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;">College London, UK</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Any additional question can be directed towards the ICLP Chairs:</span></div>
<div class="ContentPasted0"><span style="font-size: 13pt;"> iclp2023@easychair.org</span></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"><span style="font-size: 13pt;">Registrations open at:
</span><a href="https://iclp2023.imperial.ac.uk/registration"><span style="font-size: 13pt;">https://iclp2023.imperial.ac.uk/registration</span></a></div>
<div class="ContentPasted0"><br>
</div>
</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; 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-size:12pt; font-family:Calibri,Helvetica,sans-serif"> | </span><a href="https://independent.academia.edu/GPassos" target="_blank" title="CTRL+Clique para seguir o link
https://independent.academia.edu/GPassos" style="font-size:12pt" data-loopstyle="link"><span style="font-family:Calibri,Helvetica,sans-serif">academia.edu</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:416f1329-2652-4f1b-b3af-bce0cfc09e98"></a><br>
</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>