AI is making it cheap to write code and proofs; formal methods make it possible to trust them. The intersection is where verifiable, safety-critical systems get built — and it's badly under-coordinated. FMxAI brings the two communities into one room to scope what to build next.
An invitation-only gathering of FM researchers, frontier AI labs, government research staff, startup founders, and funders — built for shared problem-scoping, not paper presentations. Organized by Atlas Computing.
~80 people, two and a half days. Speakers, agenda, venue, and logistics.
View the 2026 conference → PastThe inaugural edition — 50+ invited attendees. Recap, speakers, and outcomes.
View the 2025 recap → PastThe precursor gathering that started the series.
Visit the 2024 site ↗The FMxAI map tracks groups, projects, and resources at the intersection of formal methods and AI.
Open the map →The Secure Program Synthesis Fellowship, run with Apart Research, supports work on trustworthy AI-generated code.
Learn about the fellowship ↗