<div dir="ltr">
<p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt" id="gmail-docs-internal-guid-ef553f85-7fff-c96e-1353-677f644ead1c"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt">
<span style="font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><i>[apologize for multiple postings]</i></span><br><br></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">ICLP 2025, the 41st International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 12 to September 19, 2025.</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">This year, we are pleased to announce that </span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">eight workshops</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> will be co-located with ICLP 2025. The topics span a broad range of areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas.</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Below is the list of the accepted workshops, along with short descriptions and links to their respective websites. For comprehensive details, including submission procedures and important dates, please refer to the individual workshop websites. The calls for paper submission are open.</span></p><br><ul style="margin-top:0px;margin-bottom:0px"><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025). Website: </span><a href="https://urldefense.com/v3/__https://rcra2025.wordpress.com/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTP2U5NTA$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://rcra2025.wordpress.com</span></a></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025). Website: </span><a href="https://urldefense.com/v3/__https://sites.google.com/view/aspocp-2025/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTwQEYUPQ$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://sites.google.com/view/aspocp-2025/</span></a></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">12th Workshop on Probabilistic Logic Programming (PLP 2025). Website: </span><a href="https://urldefense.com/v3/__https://stoics.org.uk/*plp2025/__;fg!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oR6WE9kVg$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://stoics.org.uk/~plp2025/</span></a></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025). Website: </span><a href="https://urldefense.com/v3/__https://tinyurl.com/ai3w25__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTUWLH5xQ$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://tinyurl.com/ai3w25</span></a></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Third Prolog Education Workshop (PEG 2025). Website: </span><a href="https://urldefense.com/v3/__https://prolog-lang.org/Education/PrologEducationWS2025.html__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oRcgz3-KQ$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://prolog-lang.org/Education/PrologEducationWS2025.html</span></a></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Second Annual Workshop on Prolog Improvement Proposals (PIPs). Website: </span><a href="https://urldefense.com/v3/__https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTYk83N6w$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html</span></a></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Workshop on Logic Programming and Legal Reasoning (LPLR 2025). Website: </span><a href="https://urldefense.com/v3/__https://lplr2025.legaltech.wales/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oToNkF1LA$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://lplr2025.legaltech.wales/</span></a></p></li><li dir="ltr" style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA). Website: </span><a href="https://urldefense.com/v3/__https://carla-ws.github.io/web/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oQx-jdpHA$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://carla-ws.github.io/web/</span></a></p></li></ul><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025)</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">The scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches regarding efficiency, problem modelling, and ease of development.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://rcra2025.wordpress.com/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTP2U5NTA$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://rcra2025.wordpress.com</span></a></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025)</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Workshop on combining Answer Set Programming with Other Computing Paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL).</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://sites.google.com/view/aspocp-2025/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTwQEYUPQ$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://sites.google.com/view/aspocp-2025/</span></a></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">12th Workshop on Probabilistic Logic Programming (PLP 2025)</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">The PLP workshop encompasses all aspects of combining logic, algorithms, programming, and probability. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://stoics.org.uk/*plp2025/__;fg!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oR6WE9kVg$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://stoics.org.uk/~plp2025/</span></a></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025)</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Argumentation is the study of the processes and activities involving the production and exchange of arguments, where arguments are attempts to persuade someone or something by giving reasons for accepting a particular conclusion as evident.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">The goal of the workshop is to stimulate discussions and promote scientific collaboration among researchers not only directly involved in argumentation, but also from research fields indirectly related to argumentation.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://tinyurl.com/ai3w25__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTUWLH5xQ$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://tinyurl.com/ai3w25</span></a></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Third Prolog Education Workshop (PEG 2025)</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">The PEG workshop series is one of the initiatives of the Prolog Education Group 2.0 (PEG 2.0), which aims to promote the use of Prolog-like computing to make logical reasoning and trustworthy coding skills more universally available.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">PEG 2.0 builds upon a nearly 50-year history of developing educational materials for using logic programming languages such as Prolog and ASP to introduce children in primary and secondary schools to both logic and computing. It also includes the insights and innovations developed for teaching Prolog at university level in both Computing and non-Computing courses.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://prolog-lang.org/Education/PrologEducationWS2025.html__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oRcgz3-KQ$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://prolog-lang.org/Education/PrologEducationWS2025.html</span></a></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Second Annual Workshop on Prolog Improvement Proposals (PIPs)</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">The PIP workshop series offers Prolog implementers and users an opportunity to present short descriptions of features desired or not supported in all systems that they believe would benefit other systems and are thus candidates for PIPs. It is also a chance to become familiar and comment on the process of PIP creation and the current PIPs.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oTYk83N6w$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html</span></a></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Workshop on Logic Programming and Legal Reasoning (LPLR 2025)</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Representation of legal rules and reasoning over them is a critical application area since laws and regulations are used in almost all human activities. Furthermore, corpora pertaining to laws and regulations are typically complex and enormous in size, and experts are usually needed in order to apply legal reasoning in everyday life. Thus, automating reasoning over legal documents by means of applying logic programming can speed up a process that is laborious and time consuming.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">The aim of the workshop is to give the opportunity to legal experts and computer scientists to present recent research results and discuss related ideas on this particularly active area of research.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://lplr2025.legaltech.wales/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oToNkF1LA$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://lplr2025.legaltech.wales/</span></a></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA)</span></p><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">CARLA aims to advance the field of intelligent robotics through the integration of large language models (LLMs), symbolic reasoning, and logic solvers. Addressing the demands of real-world adaptability, safety, and complex decision-making, the workshop explores the complementary roles of LLMs and symbolic systems. By combining the dynamic adaptability of LLMs with the precise inferential capabilities of symbolic solvers, CARLA seeks to promote the development of intelligent, reliable, and explainable robotic systems capable of effective human interaction.</span><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><div><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a href="https://urldefense.com/v3/__https://carla-ws.github.io/web/__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oQx-jdpHA$" style="text-decoration:none"><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">https://carla-ws.github.io/web/</span></a><br></div><div><br></div><div><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></span></div><div><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Best regards,</span></div><div><span style="font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">ICLP 2025 Chairs</span></div><br></div>

<br>
<div style="font-family:Arial,Helvetica,sans-serif;font-size:1.3em">------------------------------<span></span><span></span><span></span><span></span><span></span><span></span><wbr>------------------------------<span></span><span></span><span></span><span></span><span></span><span></span><wbr>------------------------------<span></span><span></span><span></span><span></span><span></span><span></span><wbr>------------------------</div><div><font face="Arial, Helvetica, sans-serif"><span style="font-size:13px">Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria</span></font></div><div><font face="Arial, Helvetica, sans-serif"><span style="font-size:13px"><a href="https://urldefense.com/v3/__https://www.unical.it/5x1000__;!!IBzWLUs!SqQEk9hm6maaWg-SXdDWE82JfStAw37uRQzPHyA9LpQwm40-hkKvnqS187TdbaEh5G17J0zbqyhTCZyliH6UTFacbTeViSD60oRDvxq85w$" target="_blank"><img src="https://www.unical.it/media/medias/2024/5X1000_2024_mail_ok_20.webp" alt="https://www.unical.it/5x1000"></a><br></span></font></div>