//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts
Loading...
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
Planning ahead for #FMAS2026? The workshop will support in-person and remote participation. Presenting or participating online will be free. Submission deadline: 17 Aug 2026 AOE fmasworkshop.github.io/FMAS2026/
Want to see the kind of work presented at FMAS? Previous editions are indexed on DBLP: dblp.dagstuhl.de/db/conf/fmas... Then consider submitting your latest work to #FMAS2026: fmasworkshop.github.io/FMAS2026/
Special topic at #FMAS2026: Neurosymbolic AI We invite work on formal methods for systems combining symbolic AI — logic, knowledge graphs, reasoning — with subsymbolic AI, including neural networks and reinforcement learning. CFP: fmasworkshop.github.io/FMAS2026/