BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//talk//SAWU7Y
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-SAWU7Y@cfp.devcon.org
DTSTART;TZID=IST:20261105T160000
DTEND;TZID=IST:20261105T165000
DESCRIPTION:**Formal verification** is exploding in accessibility and relev
 ance\, and is securing more critical code than ever due in part to advance
 ments in LLM-assisted proofs. At this **workshop on formal verification in
  Lean**\, expect to learn: what guarantees you can (and cannot) expect fro
 m formal verification\, what a formally verified codebase looks like\, and
  hands-on\, practical experience to start formally verifying code in Lean 
 today.
DTSTAMP:20261101T132129Z
LOCATION:Workshop 2
SUMMARY:Formal Verification in Lean - Derek Sorensen
URL:https://cfp.devcon.org/devcon8/talk/SAWU7Y/
END:VEVENT
END:VCALENDAR