BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//talk//3PC37L
BEGIN:VTIMEZONE
TZID:IST
BEGIN:STANDARD
DTSTART:20000101T000000
RRULE:FREQ=YEARLY;BYMONTH=1
TZNAME:IST
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-devcon8-3PC37L@cfp.devcon.org
DTSTART;TZID=IST:20261105T160000
DTEND;TZID=IST:20261105T162500
DESCRIPTION:Production Rust from Plonky3 and RISC Zero\, turned into machin
 e-checked Lean 4 proofs. AI provers close proof obligations\, the Lean ker
 nel re-checks every step. You leave with a realistic picture of what Rust-
 to-Lean verification delivers today\, what it costs\, and how AI provers c
 hange the economics.
DTSTAMP:20261101T122847Z
LOCATION:Lotus Stage 2
SUMMARY:From Production Rust to Lean 4 Proofs: A Verification Pipeline - Na
 talia Klaus
URL:https://cfp.devcon.org/devcon8/talk/3PC37L/
END:VEVENT
END:VCALENDAR