AI can write the code; formal methods can prove it correct. The hard part is coordination — that's what these 2.5 days are 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 is not a traditional academic conference. The format is 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.
This is an invitation-only event. If you've been invited, check your inbox for the RSVP link.
Think you should be there? Nominate yourself.
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.
