Zoe P .ical Sessions 11-13 09:45 60min Formal Verification in the Ethereum Protocol: Current Status and Future Directions David Pearce, Igor Konnov, Julian Sutherland, Zoe P Security Classroom A 11-13 17:00 30min Announcing the Argot Collective Kaan Uzdogan, Zoe P, Grant Coordination Stage 2
