Get ready for next November 16th for our first online event of the year: Formal Verification in the Ethereum Ecosystem. The event will cover the essential aspects of formal verification, different languages, tools, approaches, and methods applied by key players in the ecosystem.