Skip to Content
DocumentationTalks & Podcasts

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