Devcon 2
Shanghai, China · 19-21 Sept 2016
Hosted by Ethereum Foundation.
79 talks
- Formal Verification of Smart Contracts - Yoichi Hirai
- Towards Web3 Infrastructure - Viktor Trón
- INFURA インフラ – IPFS and Blockchain Infrastructure - Herman Junge
- Ethereum On Ruby
- Dapple Dev Workflow - Nikolai Mushegian
- MetaMask Bridging Browsers to Blockchains - Aaron Davis
- Panel Smart Contract Security in Ethereum
- A Lap Around Developing Cryptlets
- Designs for the L4 Contract Programming Language Based on Deontic Modal Logic
- Sikorka – Ethereum Meets the Outdoors
- Mango - Git Completely Decentralized - Alex Beregszaszi
- Swap, Swear and Swindle Swarm Incentivisation - Viktor Trón and Dr. Aron Fischer