Scale or Die: Securing Solana with Formal Verification

Date

2025-05-20

Location

New York, NY, USA

Host

Personal - Don't use

Speakers

• gabe.sol
• Theresa Kennedy
• Cosette
• Deeew
• Robert Jones
• Fabio Federici
• Miklós Veszprémi, PhD
• Greg
• Karn Saxena
• Charco

Topics

• crypto
• community
• networking
• meetup
• social

Registration

Register / Get tickets