Mastodawn

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.

https://fmasworkshop.github.io/FMAS2026/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

International Workshop on Formal Methods for Autonomous Systems