BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//7ADCQB
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-LXDNUG@cfp.devcon.org
DTSTART;TZID=IST:20261104T102500
DTEND;TZID=IST:20261104T110500
DESCRIPTION:Indian Institutional Needs
DTSTAMP:20261101T132136Z
LOCATION:Community Led Stage
SUMMARY:Institutions Onchain - Sandeep Nailwal\, Samyak Jain\, Aaryamann Ch
 allani
URL:https://cfp.devcon.org/devcon8/talk/LXDNUG/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-devcon8-T7QBZ7@cfp.devcon.org
DTSTART;TZID=IST:20261104T123000
DTEND;TZID=IST:20261104T125000
DESCRIPTION:What Mumbai Dabbawalas Teach Private Finance
DTSTAMP:20261101T132136Z
LOCATION:Community Led Stage
SUMMARY:The Lid Leaks: What Mumbai Dabbawalas Teach Private Finance - Aarya
 mann Challani
URL:https://cfp.devcon.org/devcon8/talk/T7QBZ7/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-devcon8-WHU9HR@cfp.devcon.org
DTSTART;TZID=IST:20261104T140000
DTEND;TZID=IST:20261104T142500
DESCRIPTION:Every identity system on Ethereum answers to a source that can 
 disappear\, or turn against the people it verified. I show what removing t
 hat dependency really costs\, and what plural identity needs that nothing 
 deployed today has.
DTSTAMP:20261101T132136Z
LOCATION:Lotus Stage 1
SUMMARY:Who Vouches for You When Your Issuer Is Gone? - Aaryamann Challani
URL:https://cfp.devcon.org/devcon8/talk/WHU9HR/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-devcon8-XAD8FT@cfp.devcon.org
DTSTART;TZID=IST:20261105T143000
DTEND;TZID=IST:20261105T145500
DESCRIPTION:Specs for confidential systems make security claims in prose: v
 alue is conserved\, no note can be spent twice. This talk is an experience
  report from machine-checking those claims for an open source shielded poo
 l spec in Lean 4: what verification actually involves\, what it costs a sm
 all team today\, and what's still open.
DTSTAMP:20261101T132136Z
LOCATION:Lotus Stage 2
SUMMARY:Formally Verifying a Shielded Pool in Lean 4 - Aaryamann Challani
URL:https://cfp.devcon.org/devcon8/talk/XAD8FT/
END:VEVENT
END:VCALENDAR