Talks & Podcasts
A collection of talks, workshops, and podcast appearances about Quint, organized chronologically.
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
Ivan Gavran at Runtime Verification (RVCase)
📍 Graz, Austria
Ivan Gavran at Cosmoverse
📍 Split, Croatia
Last updated on