- When
- Tuesday, November 3, 2026, 6pm – 9pm
- Where
- Toronto — address on RSVP, Toronto, ON
- Price
- Free
Giles Edkins, a software engineer at Epoch AI, discusses a recent large-scale effort to apply AI-assisted formal verification to production software at the assembly code level. The talk covers what the results mean for the software people rely on today.