The Verification Summit — Launch Edition · San Francisco

Date

2026-06-10

Location

San Francisco, CA, USA

Host

Verification Summit Events

Speakers

• Amol Mittal
• Jiahui Chen
• Thomas Joshi
• Ian Klatzco
• Max Khalkhali
• Cosmin Radoi
• Mayank Bansal
• Pranay Baid
• Andy Wang
• Abhishek Mukherji

Topics

• ai
• formal-verification
• sfo
• community
• networking

Registration

Register / Get tickets