[ICLP 2025 - Announcement of Accepted Works hops ] 41st International Conference on Logic Programm ing (ICLP’25), University of Calabria, R ende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana <[email protected]> Thu, 22 May 2025 11:30:06 +0200
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAF4PLRCrMZo7E+_KHZsj=FxSPnEOC0frD3=ikeUc7hGRJOtbzw@mail.gmail.com> |
--===============2407043049750271737== Content-Type: multipart/alternative; boundary="00000000000037c3140635b62187" --00000000000037c3140635b62187 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *[apologize for multiple postings]* 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. This year, we are pleased to announce that eight workshops 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. 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. - 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025). Website: https://rcra2025.wordpress.com - 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025). Website: https://sites.google.com/view/aspocp-2025/ - 12th Workshop on Probabilistic Logic Programming (PLP 2025). Website: https://stoics.org.uk/~plp2025/ - 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI=C2=B3 2025). Website: https://tinyurl.com/ai3w25 - Third Prolog Education Workshop (PEG 2025). Website: https://prolog-lang.org/Education/PrologEducationWS2025.html - Second Annual Workshop on Prolog Improvement Proposals (PIPs). Website: https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html - Workshop on Logic Programming and Legal Reasoning (LPLR 2025). Website: https://lplr2025.legaltech.wales/ - 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA). Website: https://carla-ws.github.io/web/ ------------------------------ 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025) 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. Website: https://rcra2025.wordpress.com ------------------------------ 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025) 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). Website: https://sites.google.com/view/aspocp-2025/ ------------------------------ 12th Workshop on Probabilistic Logic Programming (PLP 2025) 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. Website: https://stoics.org.uk/~plp2025/ ------------------------------ 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI=C2= =B3 2025) 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. 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. Website: https://tinyurl.com/ai3w25 ------------------------------ Third Prolog Education Workshop (PEG 2025) 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. 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. Website: https://prolog-lang.org/Education/PrologEducationWS2025.html ------------------------------ Second Annual Workshop on Prolog Improvement Proposals (PIPs) 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. Website: https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html ------------------------------ Workshop on Logic Programming and Legal Reasoning (LPLR 2025) 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. 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. Website: https://lplr2025.legaltech.wales/ ------------------------------ 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) 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. Website: https://carla-ws.github.io/web/ Best regards, ICLP 2025 Chairs --=20 ---------------------------------------------------------------------------= --------------------------------------- Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica= =20 dell'Universit=C3=A0 della Calabria <https://www.unical.it/5x1000> --00000000000037c3140635b62187 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"> <p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:12pt= ;margin-bottom:12pt" id=3D"gmail-docs-internal-guid-ef553f85-7fff-c96e-1353= -677f644ead1c"><span style=3D"font-size:11pt;font-family:"Roboto Mono&= quot;,monospace;color:rgb(0,0,0);background-color:transparent;font-weight:4= 00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig= n:baseline;white-space:pre-wrap"></span></p><p dir=3D"ltr" style=3D"line-he= ight:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"> <span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background= -color:transparent;font-variant-numeric:normal;font-variant-east-asian:norm= al;font-variant-alternates:normal;vertical-align:baseline"><i>[apologize fo= r multiple postings]</i></span><br><br></p><p dir=3D"ltr" style=3D"line-hei= ght:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span style= =3D"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, w= ill be held at the University of Calabria, Rende, Italy, from September 12 = to September 19, 2025.</span></p><p dir=3D"ltr" style=3D"line-height:1.38;t= ext-align:justify;margin-top:12pt;margin-bottom:12pt"><span style=3D"font-s= ize:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);bac= kground-color:transparent;font-weight:400;font-style:normal;font-variant:no= rmal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Thi= s year, we are pleased to announce that </span><span style=3D"font-size:11p= t;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background= -color:transparent;font-weight:700;font-style:normal;font-variant:normal;te= xt-decoration:none;vertical-align:baseline;white-space:pre-wrap">eight work= shops</span><span style=3D"font-size:11pt;font-family:"Roboto Mono&quo= t;,monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;= font-style:normal;font-variant:normal;text-decoration:none;vertical-align:b= aseline;white-space:pre-wrap"> will be co-located with ICLP 2025. The topic= s span a broad range of areas related to logic programming (e.g., theory, i= mplementation, environments, language issues, alternative paradigms, applic= ations), including cross-disciplinary areas.</span></p><p dir=3D"ltr" style= =3D"line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"= ><span style=3D"font-size:11pt;font-family:"Roboto Mono",monospac= e;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:= normal;font-variant:normal;text-decoration:none;vertical-align:baseline;whi= te-space:pre-wrap">Below is the list of the accepted workshops, along with = short descriptions and links to their respective websites. For comprehensiv= e details, including submission procedures and important dates, please refe= r to the individual workshop websites. The calls for paper submission are o= pen.</span></p><br><ul style=3D"margin-top:0px;margin-bottom:0px"><li dir= =3D"ltr" style=3D"list-style-type:disc;font-size:11pt;font-family:Arial,san= s-serif;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-= style:italic;font-variant:normal;text-decoration:none;vertical-align:baseli= ne;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:jus= tify;margin-top:14pt;margin-bottom:0pt" role=3D"presentation"><span style= =3D"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 Solv= ing Problems with Combinatorial Explosion (RCRA 2025). Website: </span><a h= ref=3D"https://rcra2025.wordpress.com/" style=3D"text-decoration:none"><spa= n style=3D"font-size:11pt;font-family:"Roboto Mono",monospace;col= or:rgb(17,85,204);background-color:transparent;font-weight:400;font-style:i= talic;font-variant:normal;text-decoration:underline;vertical-align:baseline= ;white-space:pre-wrap">https://rcra2025.wordpress.com</span></a></p></li><l= i dir=3D"ltr" style=3D"list-style-type:disc;font-size:11pt;font-family:Aria= l,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;= font-style:italic;font-variant:normal;text-decoration:none;vertical-align:b= aseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-alig= n:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span sty= le=3D"font-size:11pt;font-family:"Roboto Mono",monospace;color:rg= b(0,0,0);background-color:transparent;font-weight:400;font-style:italic;fon= t-variant:normal;text-decoration:none;vertical-align:baseline;white-space:p= re-wrap">18th Workshop on Answer Set Programming and Other Computing Paradi= gms (ASPOCP 2025). Website: </span><a href=3D"https://sites.google.com/view= /aspocp-2025/" style=3D"text-decoration:none"><span style=3D"font-size:11pt= ;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);backgro= und-color:transparent;font-weight:400;font-style:italic;font-variant:normal= ;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">ht= tps://sites.google.com/view/aspocp-2025/</span></a></p></li><li dir=3D"ltr"= style=3D"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:it= alic;font-variant:normal;text-decoration:none;vertical-align:baseline;white= -space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;mar= gin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-si= ze:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);back= ground-color:transparent;font-weight:400;font-style:italic;font-variant:nor= mal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">12th= Workshop on Probabilistic Logic Programming (PLP 2025). Website: </span><a= href=3D"https://stoics.org.uk/~plp2025/" style=3D"text-decoration:none"><s= pan style=3D"font-size:11pt;font-family:"Roboto Mono",monospace;c= olor:rgb(17,85,204);background-color:transparent;font-weight:400;font-style= :italic;font-variant:normal;text-decoration:underline;vertical-align:baseli= ne;white-space:pre-wrap">https://stoics.org.uk/~plp2025/</span></a></p></li= ><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11pt;font-family:A= rial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:7= 00;font-style:italic;font-variant:normal;text-decoration:none;vertical-alig= n:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-a= lign:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span = style=3D"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-spac= e:pre-wrap">9th Workshop on Advances in Argumentation in Artificial Intelli= gence (AI=C2=B3 2025). Website: </span><a href=3D"https://tinyurl.com/ai3w2= 5" style=3D"text-decoration:none"><span style=3D"font-size:11pt;font-family= :"Roboto Mono",monospace;color:rgb(17,85,204);background-color:tr= ansparent;font-weight:400;font-style:italic;font-variant:normal;text-decora= tion:underline;vertical-align:baseline;white-space:pre-wrap">https://tinyur= l.com/ai3w25</span></a></p></li><li dir=3D"ltr" style=3D"list-style-type:di= sc;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;tex= t-decoration:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" s= tyle=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0p= t" role=3D"presentation"><span style=3D"font-size:11pt;font-family:"Ro= boto Mono",monospace;color:rgb(0,0,0);background-color:transparent;fon= t-weight:400;font-style:italic;font-variant:normal;text-decoration:none;ver= tical-align:baseline;white-space:pre-wrap">Third Prolog Education Workshop = (PEG 2025). Website: </span><a href=3D"https://prolog-lang.org/Education/Pr= ologEducationWS2025.html" style=3D"text-decoration:none"><span style=3D"fon= t-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,2= 04);background-color:transparent;font-weight:400;font-style:italic;font-var= iant:normal;text-decoration:underline;vertical-align:baseline;white-space:p= re-wrap">https://prolog-lang.org/Education/PrologEducationWS2025.html</span= ></a></p></li><li dir=3D"ltr" style=3D"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=3D"ltr" style=3D"line-heigh= t:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"present= ation"><span style=3D"font-size:11pt;font-family:"Roboto Mono",mo= nospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-= style:italic;font-variant:normal;text-decoration:none;vertical-align:baseli= ne;white-space:pre-wrap">Second Annual Workshop on Prolog Improvement Propo= sals (PIPs). Website: </span><a href=3D"https://prolog-lang.org/Implementer= sForum/PIPWorkshop2025.html" style=3D"text-decoration:none"><span style=3D"= font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,8= 5,204);background-color:transparent;font-weight:400;font-style:italic;font-= variant:normal;text-decoration:underline;vertical-align:baseline;white-spac= e:pre-wrap">https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html<= /span></a></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:= 11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transpa= rent;font-weight:700;font-style:italic;font-variant:normal;text-decoration:= none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-= height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"pr= esentation"><span style=3D"font-size:11pt;font-family:"Roboto Mono&quo= t;,monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;= font-style:italic;font-variant:normal;text-decoration:none;vertical-align:b= aseline;white-space:pre-wrap">Workshop on Logic Programming and Legal Reaso= ning (LPLR 2025). Website: </span><a href=3D"https://lplr2025.legaltech.wal= es/" style=3D"text-decoration:none"><span style=3D"font-size:11pt;font-fami= ly:"Roboto Mono",monospace;color:rgb(17,85,204);background-color:= transparent;font-weight:400;font-style:italic;font-variant:normal;text-deco= ration:underline;vertical-align:baseline;white-space:pre-wrap">https://lplr= 2025.legaltech.wales/</span></a></p></li><li dir=3D"ltr" style=3D"list-styl= e-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0);ba= ckground-color:transparent;font-weight:700;font-style:italic;font-variant:n= ormal;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir= =3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin= -bottom:0pt" role=3D"presentation"><span style=3D"font-size:11pt;font-famil= y:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:trans= parent;font-weight:400;font-style:italic;font-variant:normal;text-decoratio= n:none;vertical-align:baseline;white-space:pre-wrap">1st Workshop on Cognit= ive Architectures for Robotics: LLMs and Logic in Action (CARLA). Website: = </span><a href=3D"https://carla-ws.github.io/web/" style=3D"text-decoration= :none"><span style=3D"font-size:11pt;font-family:"Roboto Mono",mo= nospace;color:rgb(17,85,204);background-color:transparent;font-weight:400;f= ont-style:italic;font-variant:normal;text-decoration:underline;vertical-ali= gn:baseline;white-space:pre-wrap">https://carla-ws.github.io/web/</span></a= ></p></li></ul><br><p dir=3D"ltr" style=3D"line-height:1.38;text-align:just= ify;margin-top:12pt;margin-bottom:12pt"></p><hr><p></p><p dir=3D"ltr" style= =3D"line-height:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt">= <span style=3D"font-size:11pt;font-family:Arial,sans-serif;color:rgb(0,0,0)= ;background-color:transparent;font-weight:700;font-style:normal;font-varian= t:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"= >32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Pr= oblems with Combinatorial Explosion (RCRA 2025)</span></p><p dir=3D"ltr" st= yle=3D"line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12= pt"><span style=3D"font-size:11pt;font-family:"Roboto Mono",monos= pace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-sty= le:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;= white-space:pre-wrap">The scope of the workshop is fostering the cross-fert= ilization of ideas stemming from different areas, proposing benchmarks for = new challenging problems, comparing models and algorithms from an experimen= tal viewpoint, and, in general, comparing different approaches regarding ef= ficiency, problem modelling, and ease of development.</span><span style=3D"= font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,= 0);background-color:transparent;font-weight:400;font-style:normal;font-vari= ant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wra= p"><br></span><span style=3D"font-size:11pt;font-family:"Roboto Mono&q= uot;,monospace;color:rgb(0,0,0);background-color:transparent;font-weight:40= 0;font-style:normal;font-variant:normal;text-decoration:none;vertical-align= :baseline;white-space:pre-wrap">Website: </span><a href=3D"https://rcra2025= .wordpress.com/" style=3D"text-decoration:none"><span style=3D"font-size:11= pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);backg= round-color:transparent;font-weight:400;font-style:normal;font-variant:norm= al;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">= https://rcra2025.wordpress.com</span></a></p><p dir=3D"ltr" style=3D"line-h= eight:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p>= </p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:= 14pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Arial,san= s-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-= style:normal;font-variant:normal;text-decoration:none;vertical-align:baseli= ne;white-space:pre-wrap">18th Workshop on Answer Set Programming and Other = Computing Paradigms (ASPOCP 2025)</span></p><p dir=3D"ltr" style=3D"line-he= ight:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span styl= e=3D"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:pr= e-wrap">Workshop on combining Answer Set Programming with Other Computing P= aradigms, such as constraint satisfaction, quantified Boolean formulas (QBF= ), Constraint Logic Programming (CLP), first-order logic (FOL).</span><span= style=3D"font-size:11pt;font-family:"Roboto Mono",monospace;colo= r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal= ;font-variant:normal;text-decoration:none;vertical-align:baseline;white-spa= ce:pre-wrap"><br></span><span style=3D"font-size:11pt;font-family:"Rob= oto Mono",monospace;color:rgb(0,0,0);background-color:transparent;font= -weight:400;font-style:normal;font-variant:normal;text-decoration:none;vert= ical-align:baseline;white-space:pre-wrap">Website: </span><a href=3D"https:= //sites.google.com/view/aspocp-2025/" style=3D"text-decoration:none"><span = style=3D"font-size:11pt;font-family:"Roboto Mono",monospace;color= :rgb(17,85,204);background-color:transparent;font-weight:400;font-style:nor= mal;font-variant:normal;text-decoration:underline;vertical-align:baseline;w= hite-space:pre-wrap">https://sites.google.com/view/aspocp-2025/</span></a><= /p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0= pt;margin-bottom:0pt"></p><hr><p></p><p dir=3D"ltr" style=3D"line-height:1.= 38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style=3D"fon= t-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-deco= ration:none;vertical-align:baseline;white-space:pre-wrap">12th Workshop on = Probabilistic Logic Programming (PLP 2025)</span></p><p dir=3D"ltr" style= =3D"line-height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"= ><span style=3D"font-size:11pt;font-family:"Roboto Mono",monospac= e;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:= normal;font-variant:normal;text-decoration:none;vertical-align:baseline;whi= te-space:pre-wrap">The PLP workshop encompasses all aspects of combining lo= gic, algorithms, programming, and probability. Due to logic programming'= ;s strong theoretical underpinnings, PLP is one of the more disciplined are= as of probabilistic programming. It builds upon and benefits from the large= body of existing work in logic programming, both in semantics and implemen= tation, but also presents new challenges to the field.</span><span style=3D= "font-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0= ,0);background-color:transparent;font-weight:400;font-style:normal;font-var= iant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wr= ap"><br></span><span style=3D"font-size:11pt;font-family:"Roboto Mono&= quot;,monospace;color:rgb(0,0,0);background-color:transparent;font-weight:4= 00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig= n:baseline;white-space:pre-wrap">Website: </span><a href=3D"https://stoics.= org.uk/~plp2025/" style=3D"text-decoration:none"><span style=3D"font-size:1= 1pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,204);back= ground-color:transparent;font-weight:400;font-style:normal;font-variant:nor= mal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap"= >https://stoics.org.uk/~plp2025/</span></a></p><p dir=3D"ltr" style=3D"line= -height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><= p></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-to= p:14pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Arial,s= ans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;fon= t-style:normal;font-variant:normal;text-decoration:none;vertical-align:base= line;white-space:pre-wrap">9th Workshop on Advances in Argumentation in Art= ificial Intelligence (AI=C2=B3 2025)</span></p><p dir=3D"ltr" style=3D"line= -height:1.38;text-align:justify;margin-top:12pt;margin-bottom:12pt"><span s= tyle=3D"font-size:11pt;font-family:"Roboto Mono",monospace;color:= rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;f= ont-variant:normal;text-decoration:none;vertical-align:baseline;white-space= :pre-wrap">Argumentation is the study of the processes and activities invol= ving the production and exchange of arguments, where arguments are attempts= to persuade someone or something by giving reasons for accepting a particu= lar conclusion as evident.</span><span style=3D"font-size:11pt;font-family:= "Roboto Mono",monospace;color:rgb(0,0,0);background-color:transpa= rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:= none;vertical-align:baseline;white-space:pre-wrap"><br></span><span style= =3D"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 sci= entific collaboration among researchers not only directly involved in argum= entation, but also from research fields indirectly related to argumentation= .</span><span style=3D"font-size:11pt;font-family:"Roboto Mono",m= onospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font= -style:normal;font-variant:normal;text-decoration:none;vertical-align:basel= ine;white-space:pre-wrap"><br></span><span style=3D"font-size:11pt;font-fam= ily:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:tra= nsparent;font-weight:400;font-style:normal;font-variant:normal;text-decorat= ion:none;vertical-align:baseline;white-space:pre-wrap">Website: </span><a h= ref=3D"https://tinyurl.com/ai3w25" style=3D"text-decoration:none"><span sty= le=3D"font-size:11pt;font-family:"Roboto Mono",monospace;color:rg= b(17,85,204);background-color:transparent;font-weight:400;font-style:normal= ;font-variant:normal;text-decoration:underline;vertical-align:baseline;whit= e-space:pre-wrap">https://tinyurl.com/ai3w25</span></a></p><p dir=3D"ltr" s= tyle=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0p= t"></p><hr><p></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justi= fy;margin-top:14pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-fa= mily:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-we= ight:700;font-style:normal;font-variant:normal;text-decoration:none;vertica= l-align:baseline;white-space:pre-wrap">Third Prolog Education Workshop (PEG= 2025)</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justif= y;margin-top:12pt;margin-bottom:12pt"><span style=3D"font-size:11pt;font-fa= mily:"Roboto Mono",monospace;color:rgb(0,0,0);background-color:tr= ansparent;font-weight:400;font-style:normal;font-variant:normal;text-decora= tion:none;vertical-align:baseline;white-space:pre-wrap">The PEG workshop se= ries 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 rea= soning and trustworthy coding skills more universally available.</span><spa= n style=3D"font-size:11pt;font-family:"Roboto Mono",monospace;col= or:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:norma= l;font-variant:normal;text-decoration:none;vertical-align:baseline;white-sp= ace:pre-wrap"><br></span><span style=3D"font-size:11pt;font-family:"Ro= boto Mono",monospace;color:rgb(0,0,0);background-color:transparent;fon= t-weight:400;font-style:normal;font-variant:normal;text-decoration:none;ver= tical-align:baseline;white-space:pre-wrap">PEG 2.0 builds upon a nearly 50-= year history of developing educational materials for using logic programmin= g languages such as Prolog and ASP to introduce children in primary and sec= ondary schools to both logic and computing. It also includes the insights a= nd innovations developed for teaching Prolog at university level in both Co= mputing and non-Computing courses.</span><span style=3D"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-dec= oration:none;vertical-align:baseline;white-space:pre-wrap"><br></span><span= style=3D"font-size:11pt;font-family:"Roboto Mono",monospace;colo= r:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal= ;font-variant:normal;text-decoration:none;vertical-align:baseline;white-spa= ce:pre-wrap">Website: </span><a href=3D"https://prolog-lang.org/Education/P= rologEducationWS2025.html" style=3D"text-decoration:none"><span style=3D"fo= nt-size:11pt;font-family:"Roboto Mono",monospace;color:rgb(17,85,= 204);background-color:transparent;font-weight:400;font-style:normal;font-va= riant:normal;text-decoration:underline;vertical-align:baseline;white-space:= pre-wrap">https://prolog-lang.org/Education/PrologEducationWS2025.html</spa= n></a></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margi= n-top:0pt;margin-bottom:0pt"></p><hr><p></p><p dir=3D"ltr" style=3D"line-he= ight:1.38;text-align:justify;margin-top:14pt;margin-bottom:0pt"><span style= =3D"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;te= xt-decoration:none;vertical-align:baseline;white-space:pre-wrap">Second Ann= ual Workshop on Prolog Improvement Proposals (PIPs)</span></p><p dir=3D"ltr= " style=3D"line-height:1.38;text-align:justify;margin-top:12pt;margin-botto= m:12pt"><span style=3D"font-size:11pt;font-family:"Roboto Mono",m= onospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;font= -style:normal;font-variant:normal;text-decoration:none;vertical-align:basel= ine;white-space:pre-wrap">The PIP workshop series offers Prolog implementer= s and users an opportunity to present short descriptions of features desire= d or not supported in all systems that they believe would benefit other sys= tems and are thus candidates for PIPs. It is also a chance to become famili= ar and comment on the process of PIP creation and the current PIPs.</span><= span style=3D"font-size:11pt;font-family:"Roboto Mono",monospace;= color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:no= rmal;font-variant:normal;text-decoration:none;vertical-align:baseline;white= -space:pre-wrap"><br></span><span style=3D"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=3D"ht= tps://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html" style=3D"text= -decoration:none"><span style=3D"font-size:11pt;font-family:"Roboto Mo= no",monospace;color:rgb(17,85,204);background-color:transparent;font-w= eight:400;font-style:normal;font-variant:normal;text-decoration:underline;v= ertical-align:baseline;white-space:pre-wrap">https://prolog-lang.org/Implem= entersForum/PIPWorkshop2025.html</span></a></p><p dir=3D"ltr" style=3D"line= -height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><= p></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-to= p:14pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Arial,s= ans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;fon= t-style:normal;font-variant:normal;text-decoration:none;vertical-align:base= line;white-space:pre-wrap">Workshop on Logic Programming and Legal Reasonin= g (LPLR 2025)</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align= :justify;margin-top:12pt;margin-bottom:12pt"><span style=3D"font-size:11pt;= font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background-c= olor:transparent;font-weight:400;font-style:normal;font-variant:normal;text= -decoration:none;vertical-align:baseline;white-space:pre-wrap">Representati= on of legal rules and reasoning over them is a critical application area si= nce laws and regulations are used in almost all human activities. Furthermo= re, corpora pertaining to laws and regulations are typically complex and en= ormous in size, and experts are usually needed in order to apply legal reas= oning in everyday life. Thus, automating reasoning over legal documents by = means of applying logic programming can speed up a process that is laboriou= s and time consuming.</span><span style=3D"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=3D"fon= t-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 com= puter scientists to present recent research results and discuss related ide= as on this particularly active area of research.</span><span style=3D"font-= size:11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);ba= ckground-color:transparent;font-weight:400;font-style:normal;font-variant:n= ormal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><b= r></span><span style=3D"font-size:11pt;font-family:"Roboto Mono",= monospace;color:rgb(0,0,0);background-color:transparent;font-weight:400;fon= t-style:normal;font-variant:normal;text-decoration:none;vertical-align:base= line;white-space:pre-wrap">Website: </span><a href=3D"https://lplr2025.lega= ltech.wales/" style=3D"text-decoration:none"><span style=3D"font-size:11pt;= font-family:"Roboto Mono",monospace;color:rgb(17,85,204);backgrou= nd-color:transparent;font-weight:400;font-style:normal;font-variant:normal;= text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">htt= ps://lplr2025.legaltech.wales/</span></a></p><p dir=3D"ltr" style=3D"line-h= eight:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"></p><hr><p>= </p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:= 14pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Arial,san= s-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-= style:normal;font-variant:normal;text-decoration:none;vertical-align:baseli= ne;white-space:pre-wrap">1st Workshop on Cognitive Architectures for Roboti= cs: LLMs and Logic in Action (CARLA)</span></p><span style=3D"font-size:11p= t;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);background= -color:transparent;font-weight:400;font-style:normal;font-variant:normal;te= xt-decoration:none;vertical-align:baseline;white-space:pre-wrap">CARLA aims= to advance the field of intelligent robotics through the integration of la= rge language models (LLMs), symbolic reasoning, and logic solvers. Addressi= ng the demands of real-world adaptability, safety, and complex decision-mak= ing, the workshop explores the complementary roles of LLMs and symbolic sys= tems. By combining the dynamic adaptability of LLMs with the precise infere= ntial capabilities of symbolic solvers, CARLA seeks to promote the developm= ent of intelligent, reliable, and explainable robotic systems capable of ef= fective human interaction.</span><span style=3D"font-size:11pt;font-family:= "Roboto Mono",monospace;color:rgb(0,0,0);background-color:transpa= rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:= none;vertical-align:baseline;white-space:pre-wrap"><br></span><div><span st= yle=3D"font-size:11pt;font-family:"Roboto Mono",monospace;color:r= gb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;fo= nt-variant:normal;text-decoration:none;vertical-align:baseline;white-space:= pre-wrap">Website: </span><a href=3D"https://carla-ws.github.io/web/" style= =3D"text-decoration:none"><span style=3D"font-size:11pt;font-family:"R= oboto Mono",monospace;color:rgb(17,85,204);background-color:transparen= t;font-weight:400;font-style:normal;font-variant:normal;text-decoration:und= erline;vertical-align:baseline;white-space:pre-wrap">https://carla-ws.githu= b.io/web/</span></a><br></div><div><br></div><div><span style=3D"font-size:= 11pt;font-family:"Roboto Mono",monospace;color:rgb(0,0,0);backgro= und-color:transparent;font-weight:400;font-style:normal;font-variant:normal= ;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"><br></s= pan></div><div><span style=3D"font-size:11pt;font-family:"Roboto Mono&= quot;,monospace;color:rgb(0,0,0);background-color:transparent;font-weight:4= 00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig= n:baseline;white-space:pre-wrap">Best regards,</span></div><div><span style= =3D"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=3D"font-family:Arial,Helvetica,sans-serif;font-size:1.3em">-----= -------------------------<span></span><span></span><span></span><span></spa= n><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></sp= an><span></span><span></span><wbr>------------------------</div><div><font = face=3D"Arial, Helvetica, sans-serif"><span style=3D"font-size:13px">Il ban= ner =C3=A8 generato automaticamente dal servizio di posta elettronica dell&= #39;Universit=C3=A0 della Calabria</span></font></div><div><font face=3D"Ar= ial, Helvetica, sans-serif"><span style=3D"font-size:13px"><a href=3D"https= ://www.unical.it/5x1000" target=3D"_blank"><img src=3D"https://www.unical.i= t/media/medias/2024/5X1000_2024_mail_ok_20.webp" alt=3D"https://www.unical.= it/5x1000"></a><br></span></font></div> --00000000000037c3140635b62187-- --===============2407043049750271737== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo= --===============2407043049750271737==--