BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.ducttape.events//ethprague-2026//talk//3HDF8E
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-ethprague-2026-3HDF8E@cfp.ducttape.events
DTSTART;TZID=CET:20260508T131000
DTEND;TZID=CET:20260508T140500
DESCRIPTION:This workshop provides practical training in act\, a high-level
  specification language for EVM programs with built-in formal verification
  capabilities to increase smart contract security. Targeted at security ex
 perts and auditors\, we will develop an act specification for a smart cont
 ract\, automatically verify its equivalence to Solidity implementation\, a
 nd prove correctness in a proof assistant.
DTSTAMP:20261017T235149Z
LOCATION:Masaryk Stage
SUMMARY:Specifying and Verifying Smart Contracts - Anja Petković Komel
URL:https://cfp.ducttape.events/ethprague-2026/talk/3HDF8E/
END:VEVENT
END:VCALENDAR