BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//talk//PYCGBJ
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-PYCGBJ@cfp.devcon.org
DTSTART;TZID=IST:20261105T153000
DTEND;TZID=IST:20261105T155500
DESCRIPTION:Jaune is an independent executable specification of Ethereum's 
 execution layer in Lean 4 — one artifact that passes the complete suppor
 ted current-mainnet corpus (34\,005 cases) and supports machine-checked pr
 oofs. Stories from building it: a merged EELS correction\, transition-tool
  divergences filed upstream\, and what a runnable\, provable second spec i
 s for.
DTSTAMP:20261101T123200Z
LOCATION:Lotus Stage 2
SUMMARY:A Yellow Paper you can run: an independent executable EVM spec in L
 ean 4 - Seulkee Baek
URL:https://cfp.devcon.org/devcon8/talk/PYCGBJ/
END:VEVENT
END:VCALENDAR