Formal Methods × AI 2025

A high-bandwidth, high-trust, high-impact exclusive gathering of top researchers, industry leaders, and funders dedicated to exploring opportunities arising at the intersection of Formal Methods (FM) and Artificial Intelligence (AI).

FMxAI 2025 attendees gathered on the steps at SRI International

The inaugural FMxAI gathering — 50+ invited attendees at SRI International.

The goal

The inaugural edition brought together senior FM researchers, frontier AI lab engineers, government research staff, startup founders, and funders to:

Bring together key contributors across both domains.
Foster collaboration between individuals and disparate teams.
Identify important problems and high-value neglected projects at the intersection.

Schedule

Sep 30Welcome Reception at 6:30 PM

Oct 1Day 1, 9:00 AM – 5:30 PM

Oct 2Day 2, 9:00 AM – 5:30 PM

Speakers

Max Tegmark

MIT / Beneficial AI Foundation

Stuart Russell

CHAI

Clark Barrett

Stanford CS

Zac Hatfield-Dodds

Anthropic

Swarat Chaudhuri

Google DeepMind / UT Austin

Mike Dodds

Galois, Principal Scientist

Rajashree Agarwal

Theorem Labs, Co-founder

Leo de Moura

AWS, Lean FRO Chief Architect

Adam Chlipala

MIT CSAIL

Joe Kiniry

Free & Fair, Principal Scientist

What attendees valued

Meeting and interacting with the leading lights.

The working groups on near-term impact and the ask/offer sessions were valuable.

Connection with frontier researchers and their research.

Venue & logistics

Venue

SRI International
333 Ravenswood Ave
Menlo Park, CA 94025

Closest airports

SFO (San Francisco) — 30 min drive
SJC (San Jose) — 30 min drive
OAK (Oakland) — 45 min drive

Public transit

~10 min walk from Menlo Park Caltrain station

Hotel

A reserved room block was available; attendees covered their own costs.

Organization & support

Organized by Atlas Computing, with funding support from the Beneficial AI Foundation.

See FMxAI 2026 →