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
Jul 7, 2026
Aws Albarghouthi
UW–Madison · AWS
Verifying, Heavy & Light
Coming soon
Jul 13, 2026
Ilya Sergey
NUS
Using Lean as a Multi-Modal Meta-Verifier
Coming soon
Jul 21, 2026
Xinyu Wang
U-M
Superoptimization for Database Queries
Coming soon
Jul 28, 2026
Ranjit Jhala
UCSD
Flux: Refinement Types for Verified Rust Systems
Coming soon
Aug 11, 2026
Adam Chlipala
MIT
Scaling Formal Verification to Complete Hardware-Software Stacks
Coming soon
Aug 18, 2026
John Regehr
Utah
Translation Validation for LLVM's AArch64 and RISC-V Backends
Coming soon