[agents] [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]

 *[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’s
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 · University of Calabria, Italy
- Sotirios Batsakis · Hellenic Mediterranean University, Greece
- Manuel Borroto · University of Calabria, Italy

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20250502/60f19528/attachment.htm>