BackEvent Ended
Technology
Formal Verification + AI: Midspiral's Practical Approach to Bug-Free Code
Wednesday, June 10, 2026
01:00 AM UTC
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, US
Free
No description available for this event. Visit the official page →
Organized by Antithesis SF events
Share
Date & Time
Wednesday, June 10, 2026
01:00 AM UTC
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, US
Price
Free
Level: beginner