<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>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<div class="ContentPasted0">________________</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">CALL FOR PARTICIPATION (REGISTRATION OPEN)</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"> <a href="https://iclp2023.imperial.ac.uk/">https://iclp2023.imperial.ac.uk/</a></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 class="ContentPasted0">Registration is now open at <a href="https://iclp2023.imperial.ac.uk/registration">
https://iclp2023.imperial.ac.uk/registration</a></div>
<div class="ContentPasted0"><br>
</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 include all areas of logic programming, such as:</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">PROGRAMME</div>
<div class="ContentPasted0">Accepted list of papers for the main conference and for the Doctoral Consortium TBA.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">STUDENT FINANCIAL SUPPORT</div>
<div class="ContentPasted0">* USA-based students - Courtesy of NFS (Deadline: 10th June)</div>
<div class="ContentPasted0">* Undergraduate and MSc students from underrepresented groups - Courtesy of Google DeepMind (Deadline: 15th June)
</div>
<div class="ContentPasted0">* Accommodation and travel support - Courtesy of the Artificial Intelligence journal (Deadline: 15th June)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Details on how to apply are available on the website:
<a href="https://iclp2023.imperial.ac.uk/registration/student-financial-support">
https://iclp2023.imperial.ac.uk/registration/student-financial-support</a></div>
<div class="ContentPasted0"><br>
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">INVITED SPEAKERS</div>
<div class="ContentPasted0">* Jan Wielemaker (Centrum Wiskunde & Informatica, Netherlands)</div>
<div class="ContentPasted0">* Sarah Gaggl (Technische Universität Dresden, Germany)</div>
<div class="ContentPasted0">* Marco Maratea (University of Calabria, Italy)</div>
<div class="ContentPasted0">* Keith Stenning (University of Edinburgh, United Kingdom)</div>
<div class="ContentPasted0">* Gopal Gupta (University of Texas at Dallas, United States)</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">TRACKS and SPECIAL SESSIONS</div>
<div class="ContentPasted0">* Applications Track,</div>
<div class="ContentPasted0"> on emerging and deployed applications of logic programming;</div>
<div class="ContentPasted0">* Thematic Tracks on:</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"> 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.</div>
<div class="ContentPasted0">* System Demonstration Track,</div>
<div class="ContentPasted0"> to showcase logic programming systems and implementations in a live setting.</div>
<div class="ContentPasted0">* Birds-of-a-Feather (BoF) Sessions,</div>
<div class="ContentPasted0"> meant to provide an inclusive environment for informal discussions.</div>
<div class="ContentPasted0">* ICLP2023 will also host a Doctoral Consortium, Tutorials, a Summer School, a Women@ICLP Event, an Industry Event, a Programming Contest and Workshops.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">WORKSHOPS</div>
<div class="ContentPasted0">* Abduction & Argumentation in Logic Programming (AALP)</div>
<div class="ContentPasted0">* Argumentation for eXplainable AI (ArgXAI)</div>
<div class="ContentPasted0">* Answer Set Programming and Other Computing Paradigms (ASPOCP)</div>
<div class="ContentPasted0">* Causal Reasoning and Explanation in Logic Programming (CAUSAL)</div>
<div class="ContentPasted0">* Computational Models of Natural Argument (CMNA)</div>
<div class="ContentPasted0">* Epistemic Extensions of Logic Programming (EELP)</div>
<div class="ContentPasted0">* Goal-directed Execution of Answer Set Programs (GDE)</div>
<div class="ContentPasted0">* Logic Programming and Legal Reasoning (LPLR)</div>
<div class="ContentPasted0">* Machine Ethics and Explainability, The Role of Logic Programming (MEandE-LP)</div>
<div class="ContentPasted0">* Probabilistic Logic Programming (PLP)</div>
<div class="ContentPasted0">* Safe and Trustworthy AI (STAI)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Details on the workshops are available at <a href="https://iclp2023.imperial.ac.uk/affiliated-events/workshops">
https://iclp2023.imperial.ac.uk/affiliated-events/workshops</a></div>
<div class="ContentPasted0"><br>
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">TUTORIALS</div>
<div class="ContentPasted0">* Cognitive Vision - On Deep Semantics for Explainable Visuospatial Intelligence,</div>
<div class="ContentPasted0"> by Mehul Bhatt (Örebro University, Sweden)</div>
<div class="ContentPasted0">* Joseph Townsend (Fujitsu Research of Europe) - Topic TBA</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">SUMMER SCHOOL</div>
<div class="ContentPasted0">* Fine Points of Answer Set Programming,</div>
<div class="ContentPasted0"> by Vladimir Lifschitz (University of Texas at Austin, United States)</div>
<div class="ContentPasted0">* New Directions in Prolog Programming,</div>
<div class="ContentPasted0"> by Theresa Swift (NOVA University Lisbon, Portugal)</div>
<div class="ContentPasted0">* Industrial Applications of Logic Programming,</div>
<div class="ContentPasted0"> by Konstantin Schekotihin (University of Klagenfurt, Austria)</div>
<div class="ContentPasted0">* Answer Set Programming in Normative Systems: Modelling, Verification and Adaptation of Normative Behaviour,</div>
<div class="ContentPasted0"> by Marina De Vos (University of Bath, United Kingdom)</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">PROGRAMMING CONTEST</div>
<div class="ContentPasted0">* Details TBA</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">WOMEN@ICLP20223</div>
<div class="ContentPasted0">* Details are available at <a href="https://iclp2023.imperial.ac.uk/affiliated-events/womeniclp">
https://iclp2023.imperial.ac.uk/affiliated-events/womeniclp</a></div>
<div class="ContentPasted0"><br>
</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 class="ContentPasted0">** Women@ICLP Chair</div>
<div class="ContentPasted0"> Daniele Nantes-Sobrinho, University of Brasília, Brazil, and Imperial</div>
<div class="ContentPasted0">College London, UK</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><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Registrations open at: <a href="https://iclp2023.imperial.ac.uk/registration">
https://iclp2023.imperial.ac.uk/registration</a></div>
<div class="ContentPasted0"><br>
</div>
<br>
</div>
<div class="elementToProof">
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<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:79c05832-b7fd-49cf-a9c7-40c1f9578c04"></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>