Lean software verification conference SVIL lands at Stanford Nov 7 with Tegmark and de Moura
wellecks · x · 2026-10-27
Co-organized by the Beneficial AI Foundation and Lean FRO, Software Verification in Lean (SVIL) 2026 Fall takes place at Stanford University on November 7, focusing on moving Lean's software verification ecosystem toward production use, with emphasis on end-to-end verification of security-critical systems and BAIF's Secure Stack initiative.
- Topics: Rust verification with the Aeneas framework, low-level software verification, and formally verified OS kernels
- Speakers: Max Tegmark and Shaowei Lin (BAIF), Leonardo de Moura (Lean FRO), Jonathan Protzenko (Google), Andres Erbsen (UW), Mike Dodds (Oath FRO)
- One-day program (9:30 AM–5:00 PM PT), each talk followed by discussion; follows the first SVIL held in Paris earlier this year
- Limited in-person capacity; livestream links for non-local/waitlisted registrants, recordings available afterward
More from Research
- UC Berkeley paper: RL reweights LLM reasoning strategies rather than expanding them — burny_tech · 2026-10-27
- Dehaene lab finds a cortical map integrating integers and fractions via 7T fMRI — burny_tech · 2026-10-27
- LLM rewrites a physics paper into a clearer 12-page explainer — correctness unverified — thomasahle · 2026-10-27
- OpenAI's new math results accused of scooping community mathematician's Yang-Mills work — burny_tech · 2026-10-27
- NYC Reliable AI Meetup on Synthetic Data Set for Nov 16 with NYU's Gautam Kamath — karen_ullrich · 2026-10-27
- Meta's InteractiveWorld Benchmark Shows MLLMs Still Far from Reliable Physical Assistants — meta · 2026-10-27