//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Working on formal specification, modelling, verification, or assurance for autonomous systems? Consider submitting to #FMAS2026! Abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE fmasworkshop.github.io/FMAS2026/
21d
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
Formal Methods for Autonomous Systems