Formal Verification + AI: Midspiral's Practical Approach to Bug-Free Code
- Date
- 2026-06-10
- Location
- Confirmed attendees will get an email the day of the event with a QR code to show building security. We're on the 10th floor in Suite 1050!, San Francisco, CA, USA
- Host
- Antithesis SF events