TYPED: The Formal Verification Roundtable

Date

2025-12-07

Location

Florianópolis, Santa Catarina, Brazil

Host

CryptoLar

Topics

• other
• community
• networking
• meetup
• social

Registration

Register / Get tickets