Upcoming Events
Description
An 80-person invite-only gathering to connect key contributors across Formal Methods and AI, foster collaboration, and identify high-value projects at the intersection of these fields. Event site here
Partners: Coefficient Giving, ARIA, Halcyon Futures, Harmonic, SRI
Past Events
Description
A 70-person invite-only workshop to bring together experts from AI and Formal Methods. Event site here
Partner: Beneficial AI Foundation
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