BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//ECJ37R
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-RPAPTP@cfp.devcon.org
DTSTART;TZID=IST:20261103T093000
DTEND;TZID=IST:20261103T120000
DESCRIPTION:Devcon 8 Opening Ceremony\, where we'll set the stage for an in
 credible event ahead! Join us as we kick off four days of talks\, workshop
 s\, and community gatherings in Mumbai. This session sets the scene for th
 e days ahead introducing the host city\, the venue\, and everything the ev
 ent has to offer.
DTSTAMP:20261101T132137Z
LOCATION:Main Stage (Lotus)
SUMMARY:Opening Ceremony: Welcome to Devcon 8 India! - nethan\, Vitalik\, J
 ustin Drake\, Nico\, Luca Donno\, Derek Sorensen\, Mooly Sagiv\, Kev\, Aud
 rey Tang
URL:https://cfp.devcon.org/devcon8/talk/RPAPTP/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-devcon8-8YRHCY@cfp.devcon.org
DTSTART;TZID=IST:20261105T140000
DTEND;TZID=IST:20261105T142500
DESCRIPTION:[evm-asm](https://github.com/Verified-zkEVM/evm-asm) is an expe
 riment to see if we can use LLMs + formal verification to write the EVM di
 rectly in Risc-V assembly. I will share what we've done\, what we've learn
 ed\, and how this will help us secure Ethereum in protocol upgrades to com
 e!
DTSTAMP:20261101T132137Z
LOCATION:Lotus Stage 2
SUMMARY:evm-asm: Experiences Writing the EVM\, Directly in Risc-V Assembly 
 - Derek Sorensen
URL:https://cfp.devcon.org/devcon8/talk/8YRHCY/
END:VEVENT
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:20261101T132137Z
LOCATION:Workshop 2
SUMMARY:Formal Verification in Lean - Derek Sorensen
URL:https://cfp.devcon.org/devcon8/talk/SAWU7Y/
END:VEVENT
END:VCALENDAR