[ICLP 2025 - Preliminary Call for Paper s] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

--===============3314450839778390890==
Content-Type: multipart/alternative; boundary="000000000000a50aa3062c39ffef"

--000000000000a50aa3062c39ffef
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

*[apologize for multiple postings]*



Preliminary Call for Papers

41st International Conference on Logic Programming (ICLP=E2=80=9925)

University of Calabria, Rende, Italy | September 12-19, 2025

https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Ficlp25.=
demacs.unical.it%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C0de824631=
6464c08e82008dd3a39f64a%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638730=
742836508796%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMD=
AwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=
=3DlTyRvMpq3hq5qeEsco6uinTutww908JLubvcrc54iq0%3D&reserved=3D0


SCOPE

Since the first conference In Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
Contributions are sought in all areas of logic programming, including but
not restricted to:

Theoretical Foundations:

Formal and operational semantics, Non-monotonic reasoning, Reasoning under
uncertainty, Knowledge representation, Semantic issues of combining logic
and neural models, Complexity results.

Language Design and Programming Methodologies:

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based
domain-specific languages, Hybrid logical and imperative/functional
languages, Programming techniques, Answer Set Programming, Inductive Logic
Programming, Coinductive Logic Programming

Program Analysis and Optimization:

Analysis, Transformation, Verification, Debugging, Profiling,
Visualization, Logic-based validation of generated programs.

Implementation Methodologies:

Compilation, Parallel/distributed execution, Constraint implementation,
Tabling, Logic-based prompt engineering, User interfaces.

IMPORTANT DATES (TENTATIVE):

- Paper registration (regular papers): April 13, 2025

- Paper submission (regular papers): April 18, 2025

- Notification to authors (regular papers): May 25, 2025

- Paper submission (short papers): June 15, 2025

- Revision submission (regular papers): June 15, 2025

- Final notification to authors: July 6, 2025

- Main conference: September 15-19, 2025

Paper submission will be through EasyChair, following the link
https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Feasycha=
ir.org%2Fconferences%2F%3Fconf%3Diclp25&data=3D05%7C02%7Cclean-list%40scien=
ce.ru.nl%7C0de8246316464c08e82008dd3a39f64a%7C084578d9400d4a5aa7c7e76ca47af=
400%7C1%7C0%7C638730742836530691%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOn=
RydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%=
7C0%7C%7C%7C&sdata=3DoCb70WYAcHQymS2aisQRLkxaEjU5PBEgK7PFGGxMEYQ%3D&reserve=
d=3D0.

Accepted regular papers will appear in the journal Theory and Practice of
Logic Programming (TPLP). Accepted short papers will be published by
Electronic Proceedings in Theoretical Computer Science (EPTCS). The
respective paper formats are described at:

-
https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.cam=
bridge.org%2Fcore%2Fjournals%2Ftheory-and-practice-of-logic-programming%2Fi=
nformation%2Finstructions-contributors&data=3D05%7C02%7Cclean-list%40scienc=
e.ru.nl%7C0de8246316464c08e82008dd3a39f64a%7C084578d9400d4a5aa7c7e76ca47af4=
00%7C1%7C0%7C638730742836544709%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnR=
ydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7=
C0%7C%7C%7C&sdata=3DrakmKeJEH9aefSOoxFamv3nY2WXE63R4zN91akr%2F2FM%3D&reserv=
ed=3D0

- https://eur01.safelinks.protection.outlook.com/?url=3Dhttp%3A%2F%2Fstyle.=
eptcs.org%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C0de8246316464c08=
e82008dd3a39f64a%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C6387307428365=
58778%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsI=
lAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DODx4CC=
15jxaMUhkiUYeiVr8uHxa%2FTDnGQyvQ7SHzXKg%3D&reserved=3D0


AFFILIATED EVENTS:

- Workshops: September 12-14, 2025

- Doctoral Consortium: September 12-14, 2025

- Autumn School in Computational Logic: September 12-14, 2025

- Thematic Tracks (to be announced)

- International Symposium on Principles and Practice of Declarative
Programming (PPDP 2025)

- Logic-based Program Synthesis and Transformation (LOPSTR 2025)


VENUE:

ICLP=E2=80=9925 will be held on the campus of the University of Calabria in=
 Rende,
Italy, in September 2025. The University of Calabria is one of Italy's
leading academic institutions, renowned for its innovative research and
vibrant campus life. Located in the scenic city of Rende, it offers a
modern learning environment surrounded by natural beauty and cultural
richness. Calabria is a region rich in culture, offering a blend of
historical heritage and stunning natural beauty. From its breathtaking
coastal spots to its easily accessible mountains, the region provides an
unforgettable cultural and culinary experience, savoring authentic dishes
made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes
and exquisite desserts.

ORGANIZATION:

General Chair: Francesco Ricca

Program Co-chairs: Daniela Inclezan and Martin Gebser

Publicity Chairs: Manuel Borroto and Francesco Calimeri

Local Chairs: Antonio Ielo and Giuseppe Mazzotta

--000000000000a50aa3062c39ffef
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:monospac=
e"><span id=3D"gmail-docs-internal-guid-0d7b01de-7fff-1e64-6ca1-5eb3f61bced=
6"><p style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span styl=
e=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:tra=
nsparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-va=
riant-alternates:normal;vertical-align:baseline"><i style=3D"">[apologize f=
or multiple postings]</i></span></p><p dir=3D"ltr" style=3D"line-height:1.2=
;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-famil=
y:Aptos;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-=
variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternat=
es:normal;vertical-align:baseline"><br></span></p><p dir=3D"ltr" style=3D"l=
ine-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:1=
1pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-we=
ight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-va=
riant-alternates:normal;vertical-align:baseline"><br></span></p><p dir=3D"l=
tr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=
=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:tran=
sparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian=
:normal;font-variant-alternates:normal;vertical-align:baseline">Preliminary=
 Call for Papers</span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-t=
op:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Aptos;c=
olor:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;fo=
nt-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:=
baseline">41st International Conference on Logic Programming (ICLP=E2=80=99=
25)</span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin=
-bottom:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,=
0);background-color:transparent;font-variant-numeric:normal;font-variant-ea=
st-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Uni=
versity of Calabria, Rende, Italy | September 12-19, 2025</span></p><p dir=
=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><a href=
=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Ficl=
p25.demacs.unical.it%2F&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C0=
de8246316464c08e82008dd3a39f64a%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%=
7C638730742836591441%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOi=
IwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C=
&amp;sdata=3DC6Awz7r2vdnBmQpi%2FOtzzrgfBb55YGORhf3jWLhMfvc%3D&amp;reserved=
=3D0" originalSrc=3D"https://iclp25.demacs.unical.it/" shash=3D"sVnC2UdK551=
9QF4ZZklsi54lJdZh2eBb7U8paXLjVh0XVcSnl8yD+QGcYL5uuFx2nIf2bBtvWC23ZSV1R0m+5U=
P/LMn6Mdt+NhdHsY8DRMaCXaCSiYvWCB9nWQ2kk4ZBHddQIZDhdIkn6+34JhpMPzLei9VOwsVB5=
GIbSZ/+TOI=3D" style=3D"text-decoration-line:none"><span style=3D"font-size=
:11pt;font-family:Aptos;background-color:transparent;font-variant-numeric:n=
ormal;font-variant-east-asian:normal;font-variant-alternates:normal;text-de=
coration-line:underline;vertical-align:baseline">https://iclp25.demacs.unic=
al.it/</span></a></p><div class=3D"gmail_default" style=3D"font-family:mono=
space"><span><br></span></div><br><p dir=3D"ltr" style=3D"line-height:1.2;m=
argin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:=
Aptos;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-va=
riant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates=
:normal;vertical-align:baseline">SCOPE</span></p><p dir=3D"ltr" style=3D"li=
ne-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11=
pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-var=
iant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:=
normal;vertical-align:baseline">Since the first conference In Marseille in =
1982, ICLP has been the premier international event for presenting research=
 in logic programming. Contributions are sought in all areas of logic progr=
amming, including but not restricted to:</span></p><br><p dir=3D"ltr" style=
=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-s=
ize:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;fo=
nt-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;fo=
nt-variant-alternates:normal;vertical-align:baseline">Theoretical Foundatio=
ns:</span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-left:36pt;marg=
in-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Apt=
os;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:norma=
l;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-al=
ign:baseline">Formal and operational semantics, Non-monotonic reasoning, Re=
asoning under uncertainty, Knowledge representation, Semantic issues of com=
bining logic and neural models, Complexity results.</span></p><br><p dir=3D=
"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span styl=
e=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:tra=
nsparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asia=
n:normal;font-variant-alternates:normal;vertical-align:baseline">Language D=
esign and Programming Methodologies:</span></p><p dir=3D"ltr" style=3D"line=
-height:1.2;margin-left:36pt;margin-top:0pt;margin-bottom:0pt"><span style=
=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:tran=
sparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-var=
iant-alternates:normal;vertical-align:baseline">Concurrency and parallelism=
, Mobility, Interacting with ML, Logic-based domain-specific languages, Hyb=
rid logical and imperative/functional languages, Programming techniques, An=
swer Set Programming, Inductive Logic Programming, Coinductive Logic Progra=
mming</span></p><br><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;=
margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rg=
b(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:=
normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertic=
al-align:baseline">Program Analysis and Optimization:</span></p><p dir=3D"l=
tr" style=3D"line-height:1.2;margin-left:36pt;margin-top:0pt;margin-bottom:=
0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);backg=
round-color:transparent;font-variant-numeric:normal;font-variant-east-asian=
:normal;font-variant-alternates:normal;vertical-align:baseline">Analysis, T=
ransformation, Verification, Debugging, Profiling, Visualization, Logic-bas=
ed validation of generated programs.</span></p><br><p dir=3D"ltr" style=3D"=
line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:=
11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-w=
eight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-v=
ariant-alternates:normal;vertical-align:baseline">Implementation Methodolog=
ies:</span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-left:36pt;mar=
gin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Ap=
tos;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:norm=
al;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-a=
lign:baseline">Compilation, Parallel/distributed execution, Constraint impl=
ementation, Tabling, Logic-based prompt engineering, User interfaces.</span=
></p><br><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bott=
om:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);ba=
ckground-color:transparent;font-weight:700;font-variant-numeric:normal;font=
-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:ba=
seline">IMPORTANT DATES (TENTATIVE):</span></p><p dir=3D"ltr" style=3D"line=
-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt=
;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-varia=
nt-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:no=
rmal;vertical-align:baseline">- Paper registration (regular papers): April =
13, 2025</span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;m=
argin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb=
(0,0,0);background-color:transparent;font-variant-numeric:normal;font-varia=
nt-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline=
">- Paper submission (regular papers): April 18, 2025</span></p><p dir=3D"l=
tr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=
=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:tran=
sparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-var=
iant-alternates:normal;vertical-align:baseline">- Notification to authors (=
regular papers): May 25, 2025</span></p><p dir=3D"ltr" style=3D"line-height=
:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-f=
amily:Aptos;color:rgb(0,0,0);background-color:transparent;font-variant-nume=
ric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;ve=
rtical-align:baseline">- Paper submission (short papers): June 15, 2025</sp=
an></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom=
:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);back=
ground-color:transparent;font-variant-numeric:normal;font-variant-east-asia=
n:normal;font-variant-alternates:normal;vertical-align:baseline">- Revision=
 submission (regular papers): June 15, 2025</span></p><p dir=3D"ltr" style=
=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-s=
ize:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;fo=
nt-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alter=
nates:normal;vertical-align:baseline">- Final notification to authors: July=
 6, 2025</span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;m=
argin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb=
(0,0,0);background-color:transparent;font-variant-numeric:normal;font-varia=
nt-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline=
">- Main conference: September 15-19, 2025</span></p><br><p dir=3D"ltr" sty=
le=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><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:normal;font-variant-alt=
ernates:normal;vertical-align:baseline">Paper submission will be through Ea=
syChair, following the link </span><a href=3D"https://eur01.safelinks.prote=
ction.outlook.com/?url=3Dhttps%3A%2F%2Feasychair.org%2Fconferences%2F%3Fcon=
f%3Diclp25&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C0de8246316464c=
08e82008dd3a39f64a%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63873074283=
6613569%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCI=
sIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3D=
QDOpf8p0ZbeWYO8K5X0HfEA43YBPAztoTm5%2BWC9Kr48%3D&amp;reserved=3D0" original=
Src=3D"https://easychair.org/conferences/?conf=3Diclp25" shash=3D"r1LtwfwdI=
ieQ1ouvkOpuIIv57lSYSJhPp0esJkWQ7BGHTK5/06LWRyQt7CV7tDnXAH6diuTEocPxmLx+YdK2=
5EAo03F1sL+7gy0rJ4Ql0sUm3BoDW2QoBTup/HGtFrq7hbXhxHzsJLpmWr5CNpokycdO4IpThqN=
v67xMbTIagrg=3D" style=3D"text-decoration-line:none"><span style=3D"font-si=
ze:11pt;font-family:Aptos;color:rgb(70,120,134);background-color:transparen=
t;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-a=
lternates:normal;text-decoration-line:underline;vertical-align:baseline">ht=
tps://easychair.org/conferences/?conf=3Diclp25</span></a><span style=3D"fon=
t-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent=
;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-al=
ternates:normal;vertical-align:baseline">.=C2=A0=C2=A0</span></p><br><p dir=
=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span s=
tyle=3D"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">Accepted regular papers=
 will appear in the journal Theory and Practice of Logic Programming (TPLP)=
. Accepted short papers will be published by Electronic Proceedings in Theo=
retical Computer Science (EPTCS). The respective paper formats are describe=
d at:</span></p><br><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;=
margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rg=
b(0,0,0);background-color:transparent;font-variant-numeric:normal;font-vari=
ant-east-asian:normal;font-variant-alternates:normal;vertical-align:baselin=
e">- </span><a href=3D"https://eur01.safelinks.protection.outlook.com/?url=
=3Dhttps%3A%2F%2Fwww.cambridge.org%2Fcore%2Fjournals%2Ftheory-and-practice-=
of-logic-programming%2Finformation%2Finstructions-contributors&amp;data=3D0=
5%7C02%7Cclean-list%40science.ru.nl%7C0de8246316464c08e82008dd3a39f64a%7C08=
4578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638730742836630018%7CUnknown%7CTWF=
pbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIj=
oiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3D4TnlSAtQfdiVcX9%2FYp3Hg=
HLwbpM6ZEdzFP6k5Gvev%2Bc%3D&amp;reserved=3D0" originalSrc=3D"https://www.ca=
mbridge.org/core/journals/theory-and-practice-of-logic-programming/informat=
ion/instructions-contributors" shash=3D"XfA3z2IDFDl8f3anzANV6Jl3a4vHCdAyLd8=
9cvwcvT/9VqayGXuWV/Hz+lLKtv7ttZYGiPIgu+qHG2UxIUOIRO6pjlbeclLHSPq0cnT4PgiNbG=
Ym/EOw0bdCSNSuszJ2IUpNTD7bc2aEQxJRpv24fLN1KgPCgggcm0E+LgD0w+8=3D" style=3D"=
text-decoration-line:none"><span style=3D"font-size:11pt;font-family:Aptos;=
background-color:transparent;font-variant-numeric:normal;font-variant-east-=
asian:normal;font-variant-alternates:normal;text-decoration-line:underline;=
vertical-align:baseline">https://www.cambridge.org/core/journals/theory-and=
-practice-of-logic-programming/information/instructions-contributors</span>=
</a></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-botto=
m:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);bac=
kground-color:transparent;font-variant-numeric:normal;font-variant-east-asi=
an:normal;font-variant-alternates:normal;vertical-align:baseline">- </span>=
<a href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttp%3A%2F=
%2Fstyle.eptcs.org%2F&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C0de=
8246316464c08e82008dd3a39f64a%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C=
638730742836644901%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIw=
LjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&a=
mp;sdata=3DIRAJyNkpLQfbpOTVC1aeTAr1iliNV%2Ba9mKhgzxqAu5I%3D&amp;reserved=3D=
0" originalSrc=3D"http://style.eptcs.org/" shash=3D"oOIL9ZQO0ZODz8kYnWvW5NG=
P+j4UVlwjtqTr29FNWFABo4Dzqp7IQ9VgEt21Ob5GfdQgT4eUl1saO0b339fv4Ukl8AHEYciaYk=
EcOyosFnUWsEQtCnFQU3+zg3ZxfW4ENXnfyNy7duEYzdWNb8dT+Zjcdi7pfOlxPo1M4ZbzU2o=
=3D" style=3D"text-decoration-line:none"><span style=3D"font-size:11pt;font=
-family:Aptos;background-color:transparent;font-variant-numeric:normal;font=
-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-l=
ine:underline;vertical-align:baseline">http://style.eptcs.org/</span></a></=
p><br><br><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bot=
tom:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);b=
ackground-color:transparent;font-weight:700;font-variant-numeric:normal;fon=
t-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:b=
aseline">AFFILIATED EVENTS:</span></p><p dir=3D"ltr" style=3D"line-height:1=
.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-fam=
ily:Aptos;color:rgb(0,0,0);background-color:transparent;font-variant-numeri=
c:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vert=
ical-align:baseline">- Workshops: September 12-14, 2025</span></p><p dir=3D=
"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span styl=
e=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:tra=
nsparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-va=
riant-alternates:normal;vertical-align:baseline">- Doctoral Consortium: Sep=
tember 12-14, 2025</span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin=
-top:0pt;margin-bottom:0pt"><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:normal;font-variant-alternates:normal;vertical-alig=
n:baseline">- Autumn School in Computational Logic: September 12-14, 2025</=
span></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bott=
om:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);ba=
ckground-color:transparent;font-variant-numeric:normal;font-variant-east-as=
ian:normal;font-variant-alternates:normal;vertical-align:baseline">- Themat=
ic Tracks (to be announced)</span></p><p dir=3D"ltr" style=3D"line-height:1=
.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-fam=
ily:Aptos;color:rgb(0,0,0);background-color:transparent;font-variant-numeri=
c:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vert=
ical-align:baseline">- International Symposium on Principles and Practice o=
f Declarative Programming (PPDP 2025)</span></p><p dir=3D"ltr" style=3D"lin=
e-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11p=
t;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-vari=
ant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:n=
ormal;vertical-align:baseline">- Logic-based Program Synthesis and Transfor=
mation (LOPSTR 2025)</span></p><br><br><p dir=3D"ltr" style=3D"line-height:=
1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-fa=
mily:Aptos;color:rgb(0,0,0);background-color:transparent;font-weight:700;fo=
nt-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alter=
nates:normal;vertical-align:baseline">VENUE:</span></p><p dir=3D"ltr" style=
=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-s=
ize:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;fo=
nt-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alter=
nates:normal;vertical-align:baseline">ICLP=E2=80=9925 will be held on the c=
ampus of the University of Calabria in Rende, Italy, in September 2025. The=
 University of Calabria is one of Italy&#39;s leading academic institutions=
, renowned for its innovative research and vibrant campus life. Located in =
the scenic city of Rende, it offers a modern learning environment surrounde=
d by natural beauty and cultural richness. Calabria is a region rich in cul=
ture, offering a blend of historical heritage and stunning natural beauty. =
From its breathtaking coastal spots to its easily accessible mountains, the=
 region provides an unforgettable cultural and culinary experience, savorin=
g authentic dishes made from fresh, local ingredients, such as spicy &#39;n=
duja, pasta, potatoes and exquisite desserts.</span></p><br><p dir=3D"ltr" =
style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"f=
ont-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transpare=
nt;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:norm=
al;font-variant-alternates:normal;vertical-align:baseline">ORGANIZATION:</s=
pan></p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-botto=
m:0pt"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);bac=
kground-color:transparent;font-variant-numeric:normal;font-variant-east-asi=
an:normal;font-variant-alternates:normal;vertical-align:baseline">General C=
hair: Francesco Ricca</span></p><p dir=3D"ltr" style=3D"line-height:1.2;mar=
gin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11pt;font-family:Ap=
tos;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:norm=
al;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-a=
lign:baseline">Program Co-chairs: Daniela Inclezan and Martin Gebser</span>=
</p><p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0p=
t"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);backgro=
und-color:transparent;font-variant-numeric:normal;font-variant-east-asian:n=
ormal;font-variant-alternates:normal;vertical-align:baseline">Publicity Cha=
irs: Manuel Borroto and Francesco Calimeri</span></p><p dir=3D"ltr" style=
=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-s=
ize:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;fo=
nt-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alter=
nates:normal;vertical-align:baseline">Local Chairs: Antonio Ielo and Giusep=
pe Mazzotta</span></p></span><br class=3D"gmail-Apple-interchange-newline">=
</div></div>

--000000000000a50aa3062c39ffef--

--===============3314450839778390890==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz
dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z
Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo=

--===============3314450839778390890==--