[C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025

Manuel Alejandro Borroto Santana via clean-list <[email protected]> Fri, 2 May 2025 14:40:12 +0200
Newsgroups gmane.comp.lang.clean
Message-ID <CAF4PLRBumejegPLyf7as-NpZLHqBNxphYLKTbZ4_fVZQn5fd_w__22401.4987282985$1746205314$gmane$org@mail.gmail.com>
--===============4167609042937578033==
Content-Type: multipart/alternative; boundary="0000000000006027690634267433"

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

 *[apologize for multiple postings]*


*Call for Papers*
1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in
Action (C.A.R.L.A. 2025)
September 12-13, 2025 | Rende, Italy
https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fcarla-w=
s.github.io%2Fweb%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C60ef7f54=
674e4718693108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63881=
7864317231428%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuM=
DAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=
=3DdbTIUBc%2B2NA5lhPuzUazvKiJA5bGSdEG9erPskO6wgk%3D&reserved=3D0

Part of ICLP 2025
https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Ficlp25.=
demacs.unical.it%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C60ef7f546=
74e4718693108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638817=
864317260237%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMD=
AwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=
=3DdKZwpKMK30gEN0Ed5bqYR%2F%2By4zdeMg0UBPwEDDjHP6A%3D&reserved=3D0


*IMPORTANT DATES (AoE)*
- Paper Deadline: June 1, 2025
- Notification: July 13, 2025
- Camera-Ready Deadline: July 27, 2025

Accepted papers will be presented as posters, with a subset selected for
oral presentations.
The workshop will take place in person at ICLP 2025, with virtual
participation options to
be confirmed.

*GENERAL INFORMATION*
The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in
Action (CARLA)
seeks to transform the landscape of intelligent robotics by pioneering the
integration of
large language models (LLMs), symbolic reasoning, and logic solvers into
robotic systems.
As robotics moves towards real-world applications requiring adaptability,
safety, and complex
decision-making, this workshop focuses on harnessing the synergy between
data-driven learning
models and symbolic logic-based systems to advance automation.


*SCOPE*
CARLA invites research contributions and discussions in the following focus
areas:

- Knowledge Representation for Robotics: Frameworks and methodologies for
integrating
structured knowledge into robotic architectures.
- LLMs as Cognitive Engines: Leveraging LLMs to process complex commands,
generate actionable
insights, and facilitate human-robot communication.
- Neuro-Symbolic Systems in Robotics: Hybrid approaches combining neural
networks with
symbolic reasoning for decision-making and task execution.
- Logic Solvers in Robotic Control: Employing constraint solvers, SAT
solvers, or theorem
provers for autonomous planning and reliable decision-making.
- Adaptive and Safe Robotic Architectures: Strategies for real-time
adaptation and
coordination in robotic systems using LLMs and symbolic logic.
- Human-Robot Collaboration: Innovations in language-driven interactions,
focusing on
usability, interpretability, and reliability in diverse scenarios.
- Challenges of LLM Deployment in Robotics: Addressing safety, robustness,
and ethical
considerations when integrating LLMs into robotic systems.
- LLM-Driven Planning and Problem Solving: Enabling robots to perform
dynamic planning
and adapt to novel situations using LLM-guided reasoning.


*SUBMISSIONS*
CARLA welcomes the following types of submissions:

- Original Research Papers: Presenting novel research contributions aligned
with the workshop=E2=80=99s
focus areas.
- Work-in-Progress Reports: Sharing preliminary findings and ongoing
research efforts.
- Position Papers: Discussing emerging challenges, visionary ideas, and
future directions at
the intersection of robotics, LLMs, and logic solvers.
- Already Presented Works: Contributions that have been previously
presented at other venues
but are relevant to the workshop themes. Such works can be resubmitted to
foster further
discussion and exploration.

*Submissions should adhere to the following guidelines:*
- Maximum of 12 pages (excluding references) for full papers and 6 pages
(excluding references)
for short papers.
- Formatting must follow the CEURART style:
https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fceur-ws=
.org%2FHOWTOSUBMIT.html&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C60ef7=
f54674e4718693108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63=
8817864317279970%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLj=
AuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sda=
ta=3Dcs1LYJ9uGc8b3lwbbJeOI2xKx1yLvzFIRlXzdigoQlM%3D&reserved=3D0
- All submissions must be in English and submitted in PDF format.

Accepted original contributions will be published in the CEUR-WS
Proceedings (possibly in conjunction with other ICLP workshops).
Accepted non-original contributions will be showcased on the workshop
website with links to the
original publication, where available.

*Submissions site:*
Submissions will be managed via Microsoft CMT. Papers will remain private
during the review process.
All authors must maintain up-to-date Microsoft CMT profiles to ensure
proper conflict-of-interest
management and paper matching. Incomplete profiles may result in desk
rejection.
Submit papers through the C.A.R.L.A.
Submission Portal on Microsoft CMT:
https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fcmt3.re=
search.microsoft.com%2FCARLA2025&data=3D05%7C02%7Cclean-list%40science.ru.n=
l%7C60ef7f54674e4718693108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1=
%7C0%7C638817864317299257%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsI=
lYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%=
7C%7C&sdata=3DPaaIrfCTxWxu%2Bz7fbxh6gkywRewehycpbKZ%2BQv6ivzk%3D&reserved=
=3D0

*Anonymity:*
The workshop follows a single-blind review process.
Submissions must not be anonymized by removing author names, affiliations,
and acknowledgments.


*ORGANIZATION*

- Fabrizio Lo Scudo =C2=B7 University of Calabria, Italy
- Sotirios Batsakis =C2=B7 Hellenic Mediterranean University, Greece
- Manuel Borroto =C2=B7 University of Calabria, Italy

--=20
---------------------------------------------------------------------------=
---------------------------------------
Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica=
=20
dell'Universit=C3=A0 della Calabria
 <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.u=
nical.it%2F5x1000&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C60ef7f54674=
e4718693108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63881786=
4317317947%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAw=
MCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3Dj=
7CAWs%2FWC9P%2FMVT%2FlYqXCzyaoEpBTtAD3AeKuwO3EcE%3D&reserved=3D0>


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

<div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr">
<div dir=3D"ltr"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(=
0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian=
t-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"=
><i>[apologize for multiple postings]</i></span></div><div dir=3D"ltr"><spa=
n style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-col=
or:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;f=
ont-variant-alternates:normal;vertical-align:baseline"><i><br></i></span></=
div><div dir=3D"ltr"><br></div><div><b>Call for Papers</b></div><div dir=3D=
"ltr">1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic =
in Action (C.A.R.L.A. 2025)<br>September 12-13, 2025 | Rende, Italy<br><a h=
ref=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2F=
carla-ws.github.io%2Fweb%2F&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl=
%7C60ef7f54674e4718693108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%=
7C0%7C638817864317361887%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIl=
YiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7=
C%7C&amp;sdata=3Db%2Fe4f961xDQ%2BSSFrRj4G74CCboIy0AjavlzPXUTI%2FVQ%3D&amp;r=
eserved=3D0" originalSrc=3D"https://carla-ws.github.io/web/" target=3D"_bla=
nk">https://carla-ws.github.io/web/</a><br><br>Part of ICLP 2025</div><div =
dir=3D"ltr"><a href=3D"https://eur01.safelinks.protection.outlook.com/?url=
=3Dhttps%3A%2F%2Ficlp25.demacs.unical.it%2F&amp;data=3D05%7C02%7Cclean-list=
%40science.ru.nl%7C60ef7f54674e4718693108dd897685d7%7C084578d9400d4a5aa7c7e=
76ca47af400%7C1%7C0%7C638817864317381869%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU=
1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyf=
Q%3D%3D%7C0%7C%7C%7C&amp;sdata=3D0fYX4oMiBALH5RaQGxwQHGOfWlb6mv9fZxCecSRqDk=
M%3D&amp;reserved=3D0" originalSrc=3D"https://iclp25.demacs.unical.it/" tar=
get=3D"_blank">https://iclp25.demacs.unical.it</a><br><br><br><b>IMPORTANT =
DATES (AoE)</b><br>- Paper Deadline: June 1, 2025<br>- Notification: July 1=
3, 2025<br>- Camera-Ready Deadline: July 27, 2025<br><br>Accepted papers wi=
ll be presented as posters, with a subset selected for oral presentations. =
<br>The workshop will take place in person at ICLP 2025, with virtual parti=
cipation options to <br>be confirmed. <br><br><b>GENERAL INFORMATION</b><br=
>The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic i=
n Action (CARLA) <br>seeks to transform the landscape of intelligent roboti=
cs by pioneering the integration of <br>large language models (LLMs), symbo=
lic reasoning, and logic solvers into robotic systems. <br>As robotics move=
s towards real-world applications requiring adaptability, safety, and compl=
ex <br>decision-making, this workshop focuses on harnessing the synergy bet=
ween data-driven learning <br>models and symbolic logic-based systems to ad=
vance automation. <br><br><br><b>SCOPE</b><br>CARLA invites research contri=
butions and discussions in the following focus areas:<br><br>- Knowledge Re=
presentation for Robotics: Frameworks and methodologies for integrating <br=
>structured knowledge into robotic architectures.<br>- LLMs as Cognitive En=
gines: Leveraging LLMs to process complex commands, generate actionable <br=
>insights, and facilitate human-robot communication.<br>- Neuro-Symbolic Sy=
stems in Robotics: Hybrid approaches combining neural networks with <br>sym=
bolic reasoning for decision-making and task execution.<br>- Logic Solvers =
in Robotic Control: Employing constraint solvers, SAT solvers, or theorem <=
br>provers for autonomous planning and reliable decision-making.<br>- Adapt=
ive and Safe Robotic Architectures: Strategies for real-time adaptation and=
 <br>coordination in robotic systems using LLMs and symbolic logic.<br>- Hu=
man-Robot Collaboration: Innovations in language-driven interactions, focus=
ing on <br>usability, interpretability, and reliability in diverse scenario=
s.<br>- Challenges of LLM Deployment in Robotics: Addressing safety, robust=
ness, and ethical <br>considerations when integrating LLMs into robotic sys=
tems.<br>- LLM-Driven Planning and Problem Solving: Enabling robots to perf=
orm dynamic planning <br>and adapt to novel situations using LLM-guided rea=
soning.<br><br><br><b>SUBMISSIONS</b><br>CARLA welcomes the following types=
 of submissions:<br><br>- Original Research Papers: Presenting novel resear=
ch contributions aligned with the workshop=E2=80=99s <br>focus areas.<br>- =
Work-in-Progress Reports: Sharing preliminary findings and ongoing research=
 efforts.<br>- Position Papers: Discussing emerging challenges, visionary i=
deas, and future directions at <br>the intersection of robotics, LLMs, and =
logic solvers.<br>- Already Presented Works: Contributions that have been p=
reviously presented at other venues <br>but are relevant to the workshop th=
emes. Such works can be resubmitted to foster further <br>discussion and ex=
ploration.<br><br><b>Submissions should adhere to the following guidelines:=
</b><br>- Maximum of 12 pages (excluding references) for full papers and 6 =
pages (excluding references) <br>for short papers.<br>- Formatting must fol=
low the CEURART style: <a href=3D"https://eur01.safelinks.protection.outloo=
k.com/?url=3Dhttps%3A%2F%2Fceur-ws.org%2FHOWTOSUBMIT.html&amp;data=3D05%7C0=
2%7Cclean-list%40science.ru.nl%7C60ef7f54674e4718693108dd897685d7%7C084578d=
9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638817864317401179%7CUnknown%7CTWFpbGZs=
b3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWF=
pbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3DkkqwbNZpTfCZgUf8aLJwx6P8q3fU=
R8Q2Zzy6wfuYTu8%3D&amp;reserved=3D0" originalSrc=3D"https://ceur-ws.org/HOW=
TOSUBMIT.html" target=3D"_blank">https://ceur-ws.org/HOWTOSUBMIT.html</a><b=
r>- All submissions must be in English and submitted in PDF format.<br></di=
v><div dir=3D"ltr"><br></div><div dir=3D"ltr"></div><div dir=3D"ltr">Accept=
ed original contributions will be published in the CEUR-WS Proceedings (pos=
sibly in conjunction with other ICLP workshops).</div><div dir=3D"ltr"></di=
v><div dir=3D"ltr">Accepted non-original contributions will be showcased on=
 the workshop website with links to the <br>original publication, where ava=
ilable.<br><br><b>Submissions site:</b><br>Submissions will be managed via =
Microsoft CMT. Papers will remain private during the review process. <br>Al=
l authors must maintain up-to-date Microsoft CMT profiles to ensure proper =
conflict-of-interest <br>management and paper matching. Incomplete profiles=
 may result in desk rejection. <br>Submit papers through the C.A.R.L.A. <br=
>Submission Portal on Microsoft CMT: <a href=3D"https://eur01.safelinks.pro=
tection.outlook.com/?url=3Dhttps%3A%2F%2Fcmt3.research.microsoft.com%2FCARL=
A2025&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C60ef7f54674e4718693=
108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C6388178643174205=
79%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAi=
OiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3DRr9k5=
SX9xI4nKThwKlj6lllKIsaEmVHl0Zb37z%2BIYmk%3D&amp;reserved=3D0" originalSrc=
=3D"https://cmt3.research.microsoft.com/CARLA2025" target=3D"_blank">https:=
//cmt3.research.microsoft.com/CARLA2025</a><br><br><b>Anonymity:</b><br>The=
 workshop follows a single-blind review process. <br>Submissions must not b=
e anonymized by removing author names, affiliations, and acknowledgments.=
=C2=A0</div><br><div dir=3D"ltr"><br><b>ORGANIZATION</b><br><br>- Fabrizio =
Lo Scudo =C2=B7 University of Calabria, Italy<br>- Sotirios Batsakis =C2=B7=
 Hellenic Mediterranean University, Greece<br>- Manuel Borroto =C2=B7 Unive=
rsity of Calabria, Italy</div>

<br></div>
</div>
</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=
://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.unical.i=
t%2F5x1000&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C60ef7f54674e47=
18693108dd897685d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63881786431=
7439542%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCI=
sIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3D=
W4JTRBLbjnw9thPfwOULdfwxOXgGzzIXb4CotJKuqgo%3D&amp;reserved=3D0" originalSr=
c=3D"https://www.unical.it/5x1000" target=3D"_blank"><img src=3D"https://ww=
w.unical.it/media/medias/2024/5X1000_2024_mail_ok_20.webp" alt=3D"https://w=
ww.unical.it/5x1000"></a><br></span></font></div>=

--0000000000006027690634267433--

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

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz
dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z
Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo=

--===============4167609042937578033==--