Skip to Content
DocumentationTalks & Podcasts

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