[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

--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://carla-ws.github.io/web/

Part of ICLP 2025
https://iclp25.demacs.unical.it


*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://ceur-ws.org/HOWTOSUBMIT.html
- 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://cmt3.research.microsoft.com/CARLA2025

*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://www.unical.it/5x1000>


--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://carla-ws.github.io/web/" target=3D"_blank">https://carla-ws.=
github.io/web/</a><br><br>Part of ICLP 2025</div><div dir=3D"ltr"><a href=
=3D"https://iclp25.demacs.unical.it" target=3D"_blank">https://iclp25.demac=
s.unical.it</a><br><br><br><b>IMPORTANT DATES (AoE)</b><br>- Paper Deadline=
: June 1, 2025<br>- Notification: July 13, 2025<br>- Camera-Ready Deadline:=
 July 27, 2025<br><br>Accepted papers will be presented as posters, with a =
subset selected for oral presentations. <br>The workshop will take place in=
 person at ICLP 2025, with virtual participation options to <br>be confirme=
d. <br><br><b>GENERAL INFORMATION</b><br>The 1st Workshop on Cognitive Arch=
itectures for Robotics: LLMs and Logic in Action (CARLA) <br>seeks to trans=
form the landscape of intelligent robotics by pioneering the integration of=
 <br>large language models (LLMs), symbolic reasoning, and logic solvers in=
to robotic systems. <br>As robotics moves towards real-world applications r=
equiring adaptability, safety, and complex <br>decision-making, this worksh=
op focuses on harnessing the synergy between data-driven learning <br>model=
s and symbolic logic-based systems to advance automation. <br><br><br><b>SC=
OPE</b><br>CARLA invites research contributions and discussions in the foll=
owing focus areas:<br><br>- Knowledge Representation for Robotics: Framewor=
ks and methodologies for integrating <br>structured knowledge into robotic =
architectures.<br>- LLMs as Cognitive Engines: Leveraging LLMs to process c=
omplex commands, generate actionable <br>insights, and facilitate human-rob=
ot communication.<br>- Neuro-Symbolic Systems in Robotics: Hybrid approache=
s combining neural networks with <br>symbolic reasoning for decision-making=
 and task execution.<br>- Logic Solvers in Robotic Control: Employing const=
raint solvers, SAT solvers, or theorem <br>provers for autonomous planning =
and reliable decision-making.<br>- Adaptive and Safe Robotic Architectures:=
 Strategies for real-time adaptation and <br>coordination in robotic system=
s using LLMs and symbolic logic.<br>- Human-Robot Collaboration: Innovation=
s in language-driven interactions, focusing on <br>usability, interpretabil=
ity, and reliability in diverse scenarios.<br>- Challenges of LLM Deploymen=
t in Robotics: Addressing safety, robustness, and ethical <br>consideration=
s when integrating LLMs into robotic systems.<br>- LLM-Driven Planning and =
Problem Solving: Enabling robots to perform dynamic planning <br>and adapt =
to novel situations using LLM-guided reasoning.<br><br><br><b>SUBMISSIONS</=
b><br>CARLA welcomes the following types of submissions:<br><br>- Original =
Research Papers: Presenting novel research contributions aligned with the w=
orkshop=E2=80=99s <br>focus areas.<br>- Work-in-Progress Reports: Sharing p=
reliminary findings and ongoing research efforts.<br>- Position Papers: Dis=
cussing emerging challenges, visionary ideas, and future directions at <br>=
the intersection of robotics, LLMs, and logic solvers.<br>- Already Present=
ed Works: Contributions that have been previously presented at other venues=
 <br>but are relevant to the workshop themes. Such works can be resubmitted=
 to foster further <br>discussion and exploration.<br><br><b>Submissions sh=
ould adhere to the following guidelines:</b><br>- Maximum of 12 pages (excl=
uding references) for full papers and 6 pages (excluding references) <br>fo=
r short papers.<br>- Formatting must follow the CEURART style: <a href=3D"h=
ttps://ceur-ws.org/HOWTOSUBMIT.html" target=3D"_blank">https://ceur-ws.org/=
HOWTOSUBMIT.html</a><br>- All submissions must be in English and submitted =
in PDF format.<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr"></div><=
div dir=3D"ltr">Accepted original contributions will be published in the CE=
UR-WS Proceedings (possibly in conjunction with other ICLP workshops).</div=
><div dir=3D"ltr"></div><div dir=3D"ltr">Accepted non-original contribution=
s will be showcased on the workshop website with links to the <br>original =
publication, where available.<br><br><b>Submissions site:</b><br>Submission=
s will be managed via Microsoft CMT. Papers will remain private during the =
review process. <br>All authors must maintain up-to-date Microsoft CMT prof=
iles to ensure proper conflict-of-interest <br>management and paper matchin=
g. Incomplete profiles may result in desk rejection. <br>Submit papers thro=
ugh the C.A.R.L.A. <br>Submission Portal on Microsoft CMT: <a href=3D"https=
://cmt3.research.microsoft.com/CARLA2025" target=3D"_blank">https://cmt3.re=
search.microsoft.com/CARLA2025</a><br><br><b>Anonymity:</b><br>The workshop=
 follows a single-blind review process. <br>Submissions must not be anonymi=
zed 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 University 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=
://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>
--0000000000006027690634267433--