//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
A gentle reminder for your summer planning: #FMAS2026 abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE Workshop: 17–18 Nov 2026, Southampton fmasworkshop.github.io/FMAS2026/
4d
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