//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Have an early-stage research idea on formal methods for autonomous systems? #FMAS2026 welcomes research previews, and work from PhD students is particularly encouraged. Abstract deadline: 14 Aug 2026 AOE 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...
fmasworkshop.github.io
Eighth International Workshop on Formal Methods for Autonomous Systems
9d
Formal Methods for Autonomous Systems