BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//GAHFAR
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:20261101T132158Z
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-LTAQGE@cfp.devcon.org
DTSTART;TZID=IST:20261103T131500
DTEND;TZID=IST:20261103T140000
DESCRIPTION:Securing Ethereum in the age of AI: Challenges & Opportunities
DTSTAMP:20261101T132158Z
LOCATION:Community Led Stage
SUMMARY:Securing Ethereum in the age of AI: Challenges & Opportunities - 0x
 Rajeev\, Vitalik\, Fredrik Svantes\, Mooly Sagiv\, Josselin Feist
URL:https://cfp.devcon.org/devcon8/talk/LTAQGE/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-devcon8-Z7YVKJ@cfp.devcon.org
DTSTART;TZID=IST:20261105T123000
DTEND;TZID=IST:20261105T125500
DESCRIPTION:We show how AI agents can turn informal requirements into forma
 lly verified Aave V4 spokes\, using the Certora Prover as a correctness gu
 ardrail. Attendees will learn how “verified vibe coding” enables rapid
  development without trusting LLM-generated code to be correct.
DTSTAMP:20261101T132158Z
LOCATION:Lotus Stage 2
SUMMARY:Bug-Free Solidity Coding Agents - Mooly Sagiv
URL:https://cfp.devcon.org/devcon8/talk/Z7YVKJ/
END:VEVENT
END:VCALENDAR