FMxAI '26
Second edition · Invitation only
Formal Methods × AI 2026
80 people, two and a half days, no spectators. FM and AI researchers scope what to build next — together.
June 1–3, 2026
SRI International, Menlo Park, CA
Invitation only — RSVP link is in your inbox
Think you should be there? Nominate yourself
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.
~95% of post-event survey respondents said they'd try their best to attend again. One attending VC called it his favorite event all year.
What attendees said
“
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. I am now more interested in the "flywheel" and how that might enable accelerated results in this space.
“
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.
What you'll get out of it
This is not a traditional academic conference. The format is built for shared problem-scoping, not paper presentations.
Curated for complementary expertise
About 80 people, hand-picked across formal methods, frontier AI labs, government research, and funders. The mix is the point.
Working sessions, not broadcast
Structured discussion is the default mode. Lightning talks and longer presentations exist to seed conversations, not fill the schedule.
Scope real projects
Working groups identify neglected high-value problems. Ask/offer sessions turn introductions into concrete collaborations.
Outcomes that ship
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.
Schedule
High-level shape of the 2.5 days. Detailed agenda coming soon.
Sun, June 1
Welcome Reception
6:30 PM
Mon, June 2
Day 1
9:00 AM – 5:30 PM
Tue, June 3
Day 2
9:00 AM – 5:30 PM
Detailed agenda coming soon.
Confirmed speakers
Leo de Moura
AWS — Chief Architect, Lean FRO
Jesse Han
Math Inc. — CEO & Cofounder
Keri Warr
Anthropic — Member of Technical Staff
Mike Dodds
Galois — Principal Scientist
More speakers
to be announced
Venue & logistics
Venue
SRI International
333 Ravenswood Ave
Menlo Park, CA 94025
Closest airports
- SFOSan Francisco — 30 min drive
- SJCSan Jose — 30 min drive
- OAKOakland — 45 min drive
Public transit
- ~10 min walk from Menlo Park Caltrain station
- From SFO: BART to Millbrae → Caltrain south to Menlo Park
- From SJC: VTA Route 60 to Santa Clara Caltrain → Caltrain north to Menlo Park
Hotel
A room block has been reserved at a nearby hotel. Attendees cover their own rooms; booking details are sent after RSVP.
Ready to join us?
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.
Want to get involved?
Interested in quarterly updates?
Get email updates
Want more frequent updates?
Follow our blog