Logic List Mailing Archive

CfP: SYNERGY 2024 - Call for Contributions First Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology, 2 - 4 November (one day in this time), Hanoi (Vietnam)

*** Apologies for multiple postings. Please distribute to interested parties. ***
--------------------------------------------------------------------------------------------------
                                                SYNERGY 2024 - Call for Contributions First Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology
                                                Located @KR 2024, Hanoi, Vietnam
                                TBD (one-day event between November 2nd and 4th, 2024)

                        SYNERGY webpage:
https://sites.google.com/view/kr-synergy/home
                        KR 2024 webpage: https://kr.org/KR2024/
--------------------------------------------------------------------------------------------------


**Description
We invite submissions for the 1st Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technolog{y (SYNERGY), aimed at advancing the frontier of intelligent robotics through the integration of Knowledge Representation techniques and neuro-symbolic architectures.
This workshop aims to provide a collaborative platform for experts working in knowledge representation, neuro-symbolic architectures, machine learning, and robotics to exchange ideas, discuss challenges, and explore innovative solutions. We encourage submissions that demonstrate clear connections to KR and neuro-symbolic architectures, even if the primary focus is on ML or LLMs.

**Focus Areas
The topics of interest for SYNERGY include, but are not limited to:
    - Knowledge representation frameworks for intelligent robotics
    - Neuro-symbolic architectures and their applications in robotics
    - Coordination and integration of multiple components in robot-focused architectures
    - Machine learning (ML) techniques and large-language models
(LLMs) in the context of robotics
    - Interfaces and interactions between robots and humans enabled by ML and LLMs
    - Challenges and solutions in using ML and LLMs for robotics, with emphasis on safety and reliability

**Submission Guidelines
We welcome original research contributions, work-in-progress reports, and position papers addressing the workshop themes.
We plan to publish original contributions as ``Electronic Proceedings in Theoretical Computer Science (EPTCS)''.
Accepted non-original contributions will be given visibility on the conference Web site including a link to the original publication, if available.

Contributions must not exceed 14 pages (references excluded) for full papers and 7 pages (references excluded) for short papers. Contributions must be formatted using the CEURART style (https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-style/).
All contributions must be written in English

At least one author of each accepted paper will be required to attend the workshop to present the contribution.

All the papers must be submitted through the CMT portal at the following link:
https://cmt3.research.microsoft.com/KR2024/Track/26/Submission/Create

**Important Dates:
    - Paper Submission Deadline: July 17, 2024
    - Notification Deadline: August 21, 2024
    - Workshop Registration Deadline: September 4, 2024
    - Camera-Ready Paper Due: TBD
    - SYNERGY Workshop: TBD (one-day event between November 2nd and 4th, 2024)

**Workshop Chairs and Contacts:
    - Francesco Fabiano, New Mexico State University -- ffabiano@nmsu.edu
    - Marcello Balduccini, Saint Joseph's University -- marcello.balduccini@gmail.com

For more details and updates, visit the workshop website:
https://sites.google.com/view/kr-synergy/home.

We look forward to your contributions and participation in advancing the field of intelligent robotics through innovative KR-based approaches and neuro-symbolic architectures.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php