Post

Software Verification in Lean (SVIL) comes to Stanford University on Saturday, November 7, co-organized by the Beneficial AI Foundation and the Lean FRO. Program and registration: beneficial-ai-foundation.github.io/SVIL2026_Fall/

beneficial-ai-foundation.github.ioSVIL 2026 · FallSoftware Verification in Lean — a one-day event on November 7, 2026, in Palo Alto, California.

26/10/26, 10:24 pm1 repost4 likes

Lean Focused Research Organization

@lean-lang.org

A day of public lectures on advancing Lean’s software verification ecosystem toward production use. Talks will cover Rust verification with the Aeneas framework, low-level software verification, and formally verified OS kernels.

Lean Focused Research Organization

@lean-lang.org

Speakers include Max Tegmark, Shaowei Lin, Leonardo de Moura, Jonathan Protzenko, Andres Erbsen, and Mike Dodds. In-person space is limited. Non-local and waitlisted registrants will receive a livestream link, and recordings will be available afterward.