BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//talk//Z7YVKJ
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-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:20261101T132208Z
LOCATION:Lotus Stage 2
SUMMARY:Bug-Free Solidity Coding Agents - Mooly Sagiv
URL:https://cfp.devcon.org/devcon8/talk/Z7YVKJ/
END:VEVENT
END:VCALENDAR