Skip to content

Latest commit

 

History

History
120 lines (105 loc) · 15.3 KB

edcon-2018.md

File metadata and controls

120 lines (105 loc) · 15.3 KB

May 3

(protocol level)

May 4

(application and business side)

Sub-Conference (more technical) videos are not available.

  • Fun with Incentives by Philip Daian (Researcher and PhD Student, Cornell Tech / IC3)

  • Brief History of Distributed State by Ethan Buchman (CTO and Founder of Tendermint)

  • Vyper - Don't Worry It Doesn't Bite by David Knott (OMG Plasma Reseacher)

  • Vyper in Action by David Knott (OMG Plasma Reseacher)

  • Declarative Static Analysis of Smart Contracts by Quentin Hibon (Blockchain Security Engineer at ChainSecurity)

  • Computer-aided Reasoning for Smart Contracts by Steven Steward (CTO of Quanstamp)

  • How Formal Verification Fixed the Web and Can Fix Ethereum by Harry Halpin (Project Coordinator of NEXTLEAP at Inria And A Visiting Research Scientist at MIT)

  • The Road to Web 3 by Peter Czaban (Executive director of Web 3)

  • FFG Casper by Karl Floersch (Lead FFG Casper Researcher)

  • CBC Casper by Vlad Zamfir (Lead CBC Casper Researcher)

  • Introduction of Asia-Pacific Community by Haoyun Guo (Asia-Pacific Community)

  • A Decentralized Community by Yungchen Hsieh (Taipei Commnuity)

  • How EthFans Supports the Developers by Xin Xu (Chinese Community)

  • Community in Japan - After the First Meetup Supported by the Ethereum Foundation by Yusuke Obinata (Japanese Community)

  • Overview of Korean Ethereum community by Brian Cheong (Korean Community)

  • Building a Blockchain online community. Lessons after 2y of ibc.technology by Roland Kofler (Germany Community)

  • Ethereum Classic: Where are we now? by Anthony Lusardi (Director at Ethereum Classic Cooperative)

May 5