at://
/
app.bsky.feed.post
/
3modnrgmqwg2e
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Planning your next submission? #FMAS2026 welcomes work on formal methods for autonomous, semi-autonomous, automated, robotic, and cyber-physical systems. Abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE
10h
Formal Methods for Autonomous Systems
