AI can write the code; formal methods can prove it correct. The hard part is coordination — that's what these 2.5 days were for.
The first edition gathered 50+ invited attendees at SRI International from September 30 to October 2, 2025 — senior FM researchers, frontier AI lab engineers, government research staff, startup founders, and funders.
FM x AI 2025 attendees at SRI International.
~95% of post-event survey respondents said they'd try their best to attend again.
The quality of people in the room was amazing. Please keep bar high.
I got some great new perspectives on how AI might support FM and the (potential) future capabilities of models.
The working groups on near-term impact, the ask/offer session… were very valuable.
I definitely am going to do more with FM, specifically starting with learning LEAN.
Hearing opinions from people that I would normally not have the chance to talk to.
Yes, realized I'm not actually crazy.
This was not a traditional academic conference. The format was built for shared problem-scoping, not paper presentations.
About 80 people, hand-picked across formal methods, frontier AI labs, government research, and funders. The mix is the point.
Structured discussion is the default mode. Lightning talks and longer presentations exist to seed conversations, not fill the schedule.
Working groups identify neglected high-value problems. Ask/offer sessions turn introductions into concrete collaborations.
The 2025 edition produced new research collaborations, funded projects, and at least one Focused Research Organization that traces directly back to connections made in the room.
High-level shape of the 2.5 days. Detailed agenda below.
SRI International campus, Menlo Park.
SRI International, Innovation Center
301 Ravenswood Avenue
Menlo Park, CA 94025
View on map ↗
A room block has been reserved at a nearby hotel. Attendees cover their own rooms; booking details are sent after RSVP.
FMxAI 2026 took place June 1–3, 2026 at SRI International, Menlo Park.
The next edition is planned for the week of April 26, 2027 in London. There's no event page yet — to express interest in attending, email fmxai@atlascomputing.org.
Organized by Atlas Computing, with funding support from Coefficient Giving, Halcyon Futures, Harmonic, and ARIA.
Interested in quarterly updates, or want more frequent news? Visit the Atlas Computing event page or follow the blog.
