BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//talk//LUVQKE
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-LUVQKE@cfp.devcon.org
DTSTART;TZID=IST:20261105T113000
DTEND;TZID=IST:20261105T115500
DESCRIPTION:AI can generate a plausible implementation of anything\, which 
 moves the bottleneck from writing code to knowing it's correct. A working 
 pipeline — behavioural specs\, synthesised Yul\, machine-checked refinem
 ent — and why the only component you have to trust is the checker.
DTSTAMP:20261101T123134Z
LOCATION:Lotus Stage 2
SUMMARY:Don't Review the Code: Formal Specs First Smart Contract Developmen
 t - Dorde Mijovic
URL:https://cfp.devcon.org/devcon8/talk/LUVQKE/
END:VEVENT
END:VCALENDAR