Working on neurosymbolic AI?
#FMAS2026 invites papers on formal methods for hybrid symbolic/subsymbolic systems: differentiable reasoning, LLM knowledge integration, logical formula learning, explainability, benchmarks, and applications.
fmasworkshop.github.io/FMAS2026/
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
