Talks & Podcasts
A collection of talks, workshops, and podcast appearances about Quint, organized chronologically.
Can We Trust AI-Written Code? Why Executable Specs Are the Future of Software
Gabriela Moreira at YouTube
Thinking Hard is not Enough
Ivan Gavran at Cosmoverse
Introdução à Linguagem Quint [Portuguese]
Gabriela Moreira at Esquenta SE4FP
![Introdução à Linguagem Quint [Portuguese] - Gabriela Moreira](https://img.youtube.com/vi/IL0ayQDTuIk/maxresdefault.jpg)
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
Modelling and analysis of Starknet decentralization protocols in Quint
Josef Widder at StarknetCC
CosmWasm Contract Security
Ivan Gavran at AwesomWasm Hackathon
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