Formally Speaking
Formally Speaking is our seminar series for researchers working at the seam between formal methods and AI. Every talk from the series in one place — recordings are published as they're ready.
Showing 7 of 7
Aug 20, 2026
Xinyu Wang
U-M
Superoptimization for Database Queries
Coming soon
Aug 27, 2026
Ranjit Jhala
UCSD
Flux: Refinement Types for Verified Rust Systems
Coming soon
Sep 3, 2026
Adam Chlipala
MIT
Scaling Formal Verification to Complete Hardware-Software Stacks
Coming soon
Sep 10, 2026
John Regehr
Utah
Translation Validation for LLVM's AArch64 and RISC-V Backends
Coming soon