BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//EMTERK
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-TWALMN@cfp.devcon.org
DTSTART;TZID=IST:20261104T142000
DTEND;TZID=IST:20261104T143500
DESCRIPTION:Formalization of consensus spec in Lean4 and proving protocol i
 nvariants and rules. I will go over six months of proving work during EPF 
 and explain the tool-assisted proving pipeline used.
DTSTAMP:20261101T132136Z
LOCATION:Workshop 2
SUMMARY:Etheorem: Lean 4 Consensus-Spec Proofs - Ivan Anishchuk\, Raj gill
URL:https://cfp.devcon.org/devcon8/talk/TWALMN/
END:VEVENT
END:VCALENDAR