Date: September 14-17, 2026
Location: Weierstrass Institute Berlin
The Workshop on Neuro-Symbolic Reasoning for AI and Mathematics (NESYRE 2026) brings together researchers from academia and industry working on neuro-symbolic AI, mathematical reasoning, intelligent agents, and large language models. Topics include theorem proving, formal verification, knowledge graphs, world models, continual learning, and the integration of symbolic reasoning with modern AI systems.
The workshop features an outstanding lineup of invited speakers from leading universities, research institutes, and industrial research labs, including Bosch, Sony AI, Siemens, KU Leuven, the University of Manchester, and many others.
For researchers interested in AI for mathematics, automated reasoning, formal methods, and agentic AI, NESYRE 2026 offers an excellent opportunity to learn about recent developments and connect with the growing neuro-symbolic AI community.
Further information, registration, and the full program are available at: