Lean Software Verification conference at Stanford adds AI safety roundtable with Tegmark and de Moura
ChrSzegedy · x · 2026-11-07
Software Verification in Lean (SVIL), co-organized by the Beneficial AI Foundation and Lean FRO, lands at Stanford on November 7, focusing on pushing Lean's software verification ecosystem toward production use, especially end-to-end verification of security-critical systems.
- Talks cover Rust verification with the Aeneas framework, low-level verification, and formally verified OS kernels
- Speakers include Max Tegmark, Leonardo de Moura, Jonathan Protzenko, Andres Erbsen, Mike Dodds, and Shaowei Lin
- Newly added closing roundtable (4:45–5:30pm PT) on AI safety and formal verification, moderated by Pedro Abreu of the Type Theory Forall podcast
- In-person is sold out; livestream registration remains open via Luma, with recordings available afterward
More from Companies & People
- Walden Robotics teases "exciting AI news" at CoRL 2026 keynote "Learning in the factories" — adnothing · 2026-11-07
- OpenAI CFO promises never to raise electricity bills, defends data centers' water and noise footprint — rohanpaul_ai · 2026-11-07
- Link to CNBC interview: OpenAI CFO on data centers' power, water and noise concerns — rohanpaul_ai · 2026-11-07
- Theory Ventures hosts AI agent hackathon: 5 hours to run the most profitable bakery in town — HamelHusain · 2026-11-07
- Rippling acquires Reprompt AI to scale its agentic AI efforts — andreisavu · 2026-11-07
- 36K job postings: Claude Code passes Cursor, a third of 'agentic' roles are buzzword — vilnitskiy · 2026-11-07