There're transcripts and/or summaries available for some videos.
You can find links to them either next to the video itself, or on a special Transcripts & summaries page, or in some cases there is just a link to a page that contains both video and associated text.
IOHK | Cardano Testnets (28 May 2018)Edit
With the launch of the first Cardano testnet for smart contracts, Duncan Coutts, IOHK Director of Engineering, introduces this release and explains the further testnets that will be released. (14:40)
IOHK | Philipp Kant, Director of Formal Methods (23 May 2018)Edit
Philipp Kant is Director of Formal Methods at IOHK. In this video, he explains what formal methods are and why they are important to designing and building cryptocurrencies. (59:32)
IOHK | PoS Delegation, Lars Brünjes, Director of education (14 May 2018)Edit
IOHK | PMO Project Goguen April 2018 updateEdit
IOHK | Professor Aggelos Kiayias, Ouroboros Genesis: A Provably Secure Proof-of-Stake Blockchain ProtocolEdit
IOHK | Runtime Verification; Prof. Grigore Roșu CEOEdit
IOHK | Prof. Philip Wadler, Smart ContractsEdit
IOHK | Prof. Elias Koutsoupias, Why game theory?Edit
Shelley Update March 2018Edit
Dr. Peter Gaži presenting Ouroboros at MITEdit
Domen Kožar, Nix workshopEdit