Antithesis SF events

Events

• Formal Verification + AI: Midspiral's Practical Approach to Bug-Free Code 2026-06-10
• The BugBash Roadshow - San Francisco - 090925 2025-09-10