Embedded Files
The FMxAI Conference is 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).
The FMxAI Conference is 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).
Feedback on our previous event:
"Meeting and interacting with the leading lights"
"The working groups on near-term impact, the ask/offer session... were very valuable."
"The connection with frontier researchers (and their research)."
Sep 30th
Sep 30th
Welcome Reception: 6:30pm
Oct 1st
Oct 1st
Day 1: 9-5:30pm
Oct 2nd
Oct 2nd
Day 2: 9-5:30pm
Our goals:
Our goals:
- Bring together and connect key contributors across both domains.
- Foster collaboration between individuals and connect disparate teams.
- Identify important problems and neglected high value projects at the intersection between fields.
Confirmed Speakers
Confirmed Speakers
Max Tegmark
Max Tegmark
MIT / Beneficial AI Foundation
Stuart Russell
Stuart Russell
Center for Human-Compatible Artificial Intelligence (CHAI)
Clark Barrett
Clark Barrett
Stanford CS
Zac Hatfield-Dodds
Zac Hatfield-Dodds
Anthropic, Member of Technical Staff
Swarat Chaudhuri
Swarat Chaudhuri
Google DeepMind, UT Austin CS / ML Lab
Mike Dodds
Mike Dodds
Galois, Principal Scientist
Rajashree Agarwal
Rajashree Agarwal
Theorem Labs (YC '23), Co-founder
Leo de Moura
Leo de Moura
AWS, Chief Architect at the Lean FRO
Adam Chlipala
Adam Chlipala
MIT CSAIL, Coq proof assistants
Joe Kiniry
Joe Kiniry
Galois, Principal Scientist
Closest Airports:
Closest Airports:
San Francisco Airport (30min drive)
Oakland Airport (45min drive)
San Jose Airport (30min drive)
Public transport:
The venue and hotels are ~ 10 mins. walk from the Menlo Park Caltrain station.
From SFO: Take Bart to Millbrae and transfer to Caltrain (south, toward San Jose) to Menlo Park.
From SJC: take the VTA Route 60 (Airport Flyer) to the Santa Clara Caltrain Station then Caltrain (north, toward San Francisco) to Menlo Park.
Hotel:
We have a reservation block for a hotel nearby; attendees will cover their own rooms. More info after filling the RSVP form.
Page updated
Google Sites
Report abuse