Welcome to the 2nd International Conference on Neuro-symbolic Systems (NeuS 2025). NeuS aims to bring together novel concepts, theories, and practices that can help in the development of the science and application of neuro-symbolic computing and systems. The conference will focus on system theoretic approaches to address fundamental challenges to increase the confidence of neuro-symbolic systems by making them more secure, dependable, and trustworthy. An emphasis will be on design, analysis, and synthesis techniques for neuro-symbolic systems with a particular interest in assurance metrics, robustness, and ease of translation from design to production.

In doing so, the conference aims to advance the development of principled approaches to the design, development, and deployment of complex and sophisticated neuro-symbolic systems. Topics of particular interest are:
Artificial Intelligence
Machine Learning
Autonomy
Cyber-Physical Systems
Formal Methods
Large Language Models
Neurosymbolic Programming
Neurosymbolic Hardware