[DL] [CFP][Deadline Extended] FOUSY - Workshop on Foundations of Neuro-Symbolic Logical Reasoning at TriCoLore, December 1-4, 2026, PTH Brixen College, Bressanone, Italy

[Mena Leemhuis]

[Apologies for potential crossposting]

We are pleased to inform you about a deadline extension for a call for papers for FOUSY, the Workshop on Foundations of
Neuro-Symbolic Logical Reasoning.

It is held as part of TriCoLore (https://tricolore.inf.unibz.it/ [https://tricolore.inf.unibz.it/]) at December 1-4, 2026, hosted
at PTH Brixen College, in Bressanone, Italy.

Website: https://fousy.sai.jku.at/ [https://fousy.sai.jku.at/]

Submission Deadline: 12th October 2026

About the workshop:

Neurosymbolic AI is seen as a way to increase trustworthiness and interpretability of subsymbolic learning approaches by
incorporating structured information, such as ontologies,  and symbolic reasoning. Neurosymbolic AI can, however, also be
interpreted as a means to enhance symbolic reasoning techniques subsymbolically.
In particular, logics, especially non-classical logics suffer from issues regarding representational and computational complexity
and struggle to be applied to real-world use cases. Here, neurosymbolic approaches can come in handy to allow for an enhancement
of logical approaches with subsymbolic techniques, e.g., by symbol grounding. This allows for widening the appeal of complex
logical frameworks by simpler access through a neurosymbolic framework.
This workshop aims at bringing together researchers from the neurosymbolic AI community with logicians and ontologists to explore
the synergy between these fields.

Important dates:

Abstract submission deadline: 5th October 2026

Paper submission deadline: 12th October 2026

Notification: 1st November 2026

List of Topics:

FOUSY invites paper contributions related (but not restricted) to the following areas:
- Conceptual foundations and structure of logic-based NeSy architectures
- Ontological analysis of neurosymbolic architectures
- Starting points include reasoning problems that were elusive to purely symbolic methods. Examples include:
    - reasoning with common sense
        - reasoning with image schemas (spatio-temporal dynamics)
        - Hampton effects such as overextension
        - quantum logics
        - fuzzy logics and prototypes
        - perceptron logics
        - relevance logics
        - non-monotonic reasoning / exceptions
        - paraconsistent reasoning
        - free logics (the logic of non-existence)
        - logic combinations, multi-modal modeling, learning the links between the components (fibrings, E-connections,
distributed DL, distributed knowledge graphs, ...)

Type of Contributions

We accept 3 types of contribution:

- Abstract for presentation only: 2 pages
- Short papers: 6-8 pages
- Full research papers: max. 10-14 pages

The proceedings of the workshops will be published as a joint volume in the CEUR Workshop Proceedings series (template
<https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw&gt
[https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw>];).

Link for submission: https://easychair.org/conferences/?conf=fousy2026 [https://easychair.org/conferences/?conf=fousy2026]

Best regards,
Mena Leemhuis
Oliver Kutz


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260907/66beea1e/attachment.htm>