DEVCON1: Formal Semantics for Protocols - Peter McBurney
DEVCON1: IPFS - Juan Batiz-Benet
DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore
DEVCON1: Digital Identity - Christian Lundkvist
Christopher Brewster - Smart Contracts and the need for Semantics (and reasoning)
FinWork Blockchain: Peter McBurney: Distributed Ledgers as the Second Great Revolution in IT
Casper Research 24
Ontology Review - 2018 Gem - A Distributed Trust Network - Cross Chain Platform
