(supported by the project “Romanian Hub for Artificial Intelligence -HRIA”, Smart Growth, Digitization and Financial Instruments Program, MySMIS no. 351416)
AIM
This special session focuses on recent advances in Neuro-Symbolic Artificial Intelligence (NSAI), with a particular emphasis on neuro-symbolic models such as Logic Tensor Networks (LTN), DeepProbLog and related frameworks that integrate symbolic reasoning with deep learning. These approaches aim to improve the training, generalization, and interpretability of neural networks by incorporating logical constraints, structured knowledge, and reasoning capabilities. The motivation of this session is to advance the connections between statistical learning and symbolic reasoning, which is a central theme aligned with SYNASC’s focus on symbolic and numeric computation. Neuro-symbolic approaches offer a promising direction for building more reliable, interpretable, and data-efficient AI systems, making this topic relevant to the SYNASC audience.
TOPICS OF INTEREST INCLUDE (BUT ARE NOT LIMITED TO):
- Neuro-symbolic intelligent agents and networked systems
- Applications in medicine, fault diagnostics and computer vision
- Neuro-symbolic methods for planning and program synthesis
- Integration with large language models
- Symbolic knowledge extraction and injection
- Trustworthy AI (explainability, fairness, robustness)
- Symbolic regression and inductive logic programming
- Training deep neural networks with logical constraints (e.g., LTN, differentiable logic)
- Compositional concept learning, variable binding, and relational reasoning
- Neuro-Symbolic Prediction via Physiology-Constrained Learning
CHAIRS
- Darian Onchis (darian.onchis@e-uvt.ro), West University of Timisoara, Romania
- Florin Leon (florin.leon@academic.tuiasi.ro), “Gheorghe Asachi”; Technical University of Iasi, Romania
IMPORTANT DATES
- June 30, 2026 (AoE): Paper submission (extended deadline)
- July 25, 2026 (AoE): Notification of acceptance
- September 4, 2026: Registration
- September 4, 2026: Revised papers according to reviews
- September 14-17, 2026: Symposium
All deadlines are 11:59 pm, AoE time (Anywhere on Earth).
PAPER SUBMISSION
We welcome original research contributions in the following formats:
- Full papers: 6–8 pages, presenting mature research results.
- Short papers: 4 pages, suitable for work-in-progress, early-stage results, or
demonstrations of software prototypes.
All submitted papers will undergo a peer-review process. Selected papers presented during the conference will be published in the SYNASC 2026 post-proceedings, edited by the Conference Publishing Service (CPS) and submitted for indexing in ISI Web of Science, DBLP, and SCOPUS.
SUBMISSION GUIDELINES
- Submissions should highlight the research problem, methodology, key results (even preliminary), and future research directions.
- All submissions must follow the CPS Conference Style
- Submissions should highlight the research problem, methodology, key results (even preliminary), and future research directions. Papers must be submitted electronically via EasyChair
SCIENTIFIC COMMITTEE (to be confirmed/updated)
- Guido Bologna, University of Applied Sciences and Arts of Western Switzerland,
- Radu Ionescu, University of Bucharest, Romania
- Adrian Popescu, CEA LIST Laboratory, France,
- Pedro Real, University of Seville, Spain
- Marius Gavrilescu, “Gheorghe Asachi”; Technical University of Iasi, Romania
- Laura Diosan, Babes-Bolyai University, Romania
- Ernesto Exposito, University de Pau et des Pays de L’Adour, France
- Ruqiang Yan, Xi’an Jiaotong University, China
- Fernando Diaz del Rio, University of Seville, Spain
- Todor Ivascu, West University of Timisoara, Romania
- Istin Codruta, Politehnica University of Timisoara, Romania
- Rainer Gilbert Gillich, Babes-Bolyai University, Romania
- Mihail Gaianu, West University of Timisoara, Romania
- Dan Pescaru, Politehnica University of Timisoara, Romania
- Ana Corlan, Victor Babeş University of Medicine and Pharmacy, Romania
ORGANIZATION COMMITTEE
- Eduard Hogea, West University of Timisoara, Romania
- Flavia Costi, West University of Timisoara, Romania
- Fabian Galiș, West University of Timisoara, Romania
- Emanuel Covaci, West University of Timisoara, Romania
- Ioan Samuilă, West University of Timisoara, Romania
- Diogen Babuc, West University of Timisoara, Romania