Upcoming Events
Workshop
FMxAI Workshop
Sept 30 - Oct 2, 2025
San Francisco, CA
Description
A 70-person invite-only workshop to bring together experts from AI and Formal Methods
Partner: Beneficial AI Foundation
Past Events
Workshop
GSAI Summit
March 7-9, 2025
San Francisco, CA
Description
A 40-person workshop to advance the subfield of guaranteed-safe AIEvent site here
Partner: Beneficial AI Foundation
Workshop
Mathematical Boundaries
April 10-14, 2024
Berkeley, CA
Description
A small-form workshop to formalize mathematical properties that might enable computational identification of boundaries
Description
A workshop for identifying, discussing, and strategizing about promising AI safety research directions related to the boundaries that causally distinguish agents from their environment.
Partner: Chris Lakin
Description
A small workshop for individuals working on provable safety properties for AI.
Here are public videos from this workshop.
Partner: FAR AI
Reach out to us with ideas.
Want to get involved?
Interested in quarterly updates?
Get email updates
Want more frequent updates?
Follow our blog