Talks & Podcasts
A collection of talks, workshops, and podcast appearances about Quint, organized chronologically.
Thinking Hard is not Enough
Ivan Gavran at Cosmoverse
Introdução à Linguagem Quint [Portuguese]
Gabriela Moreira at Esquenta SE4FP
Func Prog Podcast Episode
Gabriela Moreira and Christoffer Ekeroth at Func Prog Podcast
Live Coding with Quint
Gabriela Moreira and Chad Fowler at BlueYard Capital
Quint Launch Party
Gabriela Moreira at Quint's Launch Online Event
Quint: A modern and executable specification language
Gabriela Moreira and Diego Torres at MACROCOSM
Specification and Model-checking of the ZKsync Governance Protocol
Igor Konnov at DeFi Security Summit
Modelling and analysis of Starknet decentralization protocols in Quint
Josef Widder at StarknetCC
The 3 Body Problem of Rollups
Adi Seredinschi at Nebular Summit
CosmWasm Contract Security
Ivan Gavran at AwesomWasm Hackathon
Quint Language
Igor Konnov at Cosmoverse
Quint - Protocol Specifications Made Executable
Zarko Milosevic at ConsensusDays
Upcoming
Gabriela Moreira at Web3 Security Tools Seminar (W3ST)
📍 Buenos Aires, Argentina
Gabriela Moreira at DeFi Security Summit
📍 Buenos Aires, Argentina
Last updated on