← Back to all events
Hosted by Microsoft
21WED · OCT
12:00 AMyour time
Price: Check registration page for priceB2BVirtual
This event has ended
Beyond Vibe Coding: Formal Verification for AI-Generated Software
"AI coding agents can now write substantial amounts of open-source software, but generated code still needs more than a plausible implementation and a passing test suite.
When
Wednesday, October 21 at 12:00 AM (your time)
Format
webinar
Venue
Virtual
Visit Microsoft's event page
This event has ended. The link goes to Microsoft's own page, which may include a recording or follow-up content.