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
About this event
This event is organized by Antithesis SF events, taking place in 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, USA on 2026-06-10. Topics covered include: ai, autonomy, community, networking, meetup.