Zoe P .ical Sessions 11-1309:4560minFormal Verification in the Ethereum Protocol: Current Status and Future DirectionsDavid Pearce, Igor Konnov, Julian Sutherland, Zoe PSecurityClassroom A 11-1317:0030minAnnouncing the Argot CollectiveKaan Uzdogan, Zoe P, GrantCoordinationStage 2
