Day 1 (10/8)
===
## 09:00 ~ 17:00
- [BokkyPooBah's Ethereum Workshop Goes To Devcon5 (B5) - Bok Khoo](/xqeagnZgSyWTZfmU35v9VQ)
## 09:00 ~ 17:00
- [Swarm: Storage and Communication for a Sovereign Digital Society (B8) - The Swarm Team, Aron Fischer, Viktor Tron, Rinke Hendriksen, Vojtech Simetka, Tim Bansemer, Anton Evangelatov, Rafael Matias, Daniel A. Nagy, Piper Merriam, Dr. Vero Estrada-Galiñanes, Racin Nygaard](/IdzRHheWR6mrS7YWD8KrmA)
## 09:00 ~ 12:00
- [Blockchain at the Edge - Transformational Solutions (B9) - Thessy Mehrain, Alix Keller](/C5vSH5E1RKOb_piFYDy_ww)
## 09:05 ~ 10:35
- [Formal Verification of Smart Contracts and Protocols: What, Why, How (B7) - Grigore Rosu, Everett Hildenbrandt, Daejun Park, Shuvendu Lahiri](/szETF5YYT6mHyv2ULRB3iA)
## 09:05 ~ 09:50
- [Golem: Building On Top of Golem with gWasm & Unlimited (B3) - Mikolaj Barwicki, Jakub Konka](/-mHiBTtzQUuwQZo_X0kgtQ)
## 09:05 ~ 10:00
- [Ethereum Roadmap 2020: Say Hello and Opening Ceremony (Convention) - Jamie Pitts, Anett Rolikova](/wIYjPQvUT3WWmWWzLXN8PQ)
## 09:10 ~ 11:40
- [State Channels Summit (B10) - Qingkai Liang, Liam Horne, Lisa Eckey, Sebastian Stammler, Franziska Heintel, Arjun Bhuptani, Augusto Hack, Jeremy Longley](/wJq0RAp9SQyU4vKE34ba5Q)
## 09:10 ~ 13:10
- [p2p - Where Are We with the Ecosystem and How to Push It Forward? (B2) - Chris Waclawek](/0zWznZbjSVeVNLJoVa1Dmg)
## 10:00 ~ 10:20
- [Preventing Disaster: Advances in Smart Contract Vulnerability Detection (D) - Bernhard Mueller](/Lvuw38_YROasX8lz8nId7g)
## 10:00 ~ 11:30
- [Ethereum Roadmap 2020: EEA Meets with the Ethereum Community (Convention) - Ronald Resnick, Paul DiMarzio, Jamie Pitts, Anett Rolikova, Lane Rettig, Hudson Jameson](/k2IN5WadTK2Yr0npIE8EAg)
## 10:05 ~ 10:50
- [RADON: A Domain Specific Language for Oracles (B3) - Adán Sánchez de Pedro Crespo, Mario Cao, Gorka Irazoqui](/lZ2xvtrGSGmRcQJ2sZN5Jg)
## 10:15 ~ 10:20
- [whisper (Amphitheater) - recN38YpIRq0tD4gL](/GekJna0iS8eNcAu0wGctVg)
## 10:30 ~ 10:50
- [Why Dapp Users Will Hate Cross-Shard Comumnication and What You Can Do About It (D) - James Prestwich](/dqLqhtGoSYSRDvLB3xvF0Q)
## 10:30 ~ 10:50
- [Grantee Exposé Lightning Talk 1 (A1) - John Burnham, Conor Svensson, Franco Zeoli](/HTMFUZcFT4eITLUXzg7s9A)
## 10:55 ~ 11:55
- [How Two Microsoft Engineers Build Blockchain Apps on Ethereum Networks (B7) - David Burela](/PXH7nRnLQrONAxmb8QdRVA)
## 11:05 ~ 11:50
- [Functional Programming for Ethereum (B3) - Kristoffer Josefsson, Martin Allen](/vubzUjtXRe-2Zh2pfwmUeA)
## 11:30 ~ 11:50
- [Intentions and the End-User: How Do We Build Time-Resistant Systems? (D) - Dialika Camara](/z5Uu4kISROGd8WsTJzrEdg)
## 11:30 ~ 11:50
- [Grantee Exposé Lightning Talk 2 (A1) - Fabrizio Romano Genovese, Lisa Eckey, Liraz Siri](/iYi1bXdFS7u9iL72zy-s4Q)
## 11:55 ~ 13:25
- [Creative Constraints for Dapp Development (B10) - Ann Kilzer](/AXu8dY2oQGqlxdlOrUTnvA)
## 12:00 ~ 12:20
- [Better Than Free? The End of FAANG. (D) - Pol Bordas](/4kLwNFRPRlSOTUcKpVzDKQ)
## 12:05 ~ 12:50
- [An EVM-Based Formal Rules Language (B3) - Michael Yuan , Hung Ying Tai, Timothy McCallum](/jja4EM5xQVaxyVBHm7n8KA)
## 12:10 ~ 12:30
- [ethers.js: A Complete, Tiny and Simple Ethereum Library in JavaScript (B7) - Richard Moore](/FkpMRlm_Qk2JkNi1K1C05Q)
## 12:15 ~ 12:35
- [The Road to Eth 2, Phase 2 & Phase 2 Testnet (B9) - Will Villanueva, Matthew Garnett](/Il0pDorATzaGArdgBfc90g)
## 12:30 ~ 13:00
- [Ethereum Roadmap 2020: Open Community Discussion (Convention)](/ut9y39W8TKy7RMlWBpdpfA)
## 12:30 ~ 12:50
- [An Anthropological Perspective on Ethereum (D) - Ann Brody](/HQbJ49DrRqiTUuG8KSOOmw)
## 12:40 ~ 13:10
- [Make the Tests Feel the User's Pain: e2e Testing for Dapps (B7) - Carlos Gonzalez](/LMyPZljjSSWTvaW7M9-Zgw)
## 12:45 ~ 13:05
- [A trustless Ethereum mixer using zero-knowledge signalling (B9) - Wei Jie Koh, Barry WhiteHat, Kobi Gurkan](/2Irptae1Tj6GfwQpVGFBgA)
## 13:00 ~ 14:00
- [Ethereum Roadmap 2020: Ethereum 1.0 and Eth1.x (Convention)](/Dv9zWLp8Q1mP832UNyLaSQ)
## 13:00 ~ 13:20
- [Data Privacy and Provenance with OpenAttestation (D) - Raymond Yeh](/NoQ2a5akRb6mEBZZeic3Xg)
## 13:05 ~ 13:50
- [Japanese, Human-Readable Smart Contracts (B3) - Henning Diedrich](/NfW_fJNhROSeqyXoVX6PUg)
## 13:15 ~ 13:35
- [State of Ethereum 2019 (B9) - Matthew Tan, Wee Chuan Tan](/0_s9sX1_Q5-vSkvmDQFlsA)
## 13:25 ~ 14:55
- [Building Synthetic Derivatives on Ethereum (B2) - Allison Lu, Regina Cai](/A_SopIGuQ5Gpd5_MN4BT9A)
## 13:25 ~ 14:55
- [Open Source Lira Community Coding Workshop (B7) - Omri Ross, Peter Emil Jensen](/RFR2a_9yQnCG6t3KVbqSqA)
## 13:30 ~ 13:50
- [Grantee Exposé Lightning Talk 3 (A1) - Ryuya Nakamura, Andreas Wallendahl, Tom Nash](/rE1N1KT3S9Owz5vVYlhbCg)
## 13:30 ~ 13:50
- [libp2p Ecosystem: What’s Up and What’s Next (D) - Raúl Kripalani](/8Vm5dziAQBy5uWM3BO5g1w)
## 13:40 ~ 15:40
- [Funding as Medium and Message: How We Get Capital and Its Influence on #BUIDL (B10) - Paul Kohlhaas](/M-lD8xbTRIay79673YvIhA)
## 14:00 ~ 14:45
- [Ethereum Roadmap 2020: Eth1 to Eth2 Transition (Convention) - Ethereum Research Team](/H90EqLMJT6mqeBI401gXpw)
## 14:00 ~ 17:00
- [What on-chain, social & development data tells us about Ethereum's growth (B9) - Serena Tan](/Evpd7BEjTBuCrA3oskFVmw)
## 14:00 ~ 14:20
- [When Blockchain Meets Legal Design: UX Challenges in the World's First Decentralized Court (D) - Plinio Braga](/lpR-gDtXRlanFJibpyxWQg)
## 14:05 ~ 14:50
- [Building a Formally-Verified DApp with the Reach DSL, today! (B3) - Jay McCarthy](/dwKnQOpzTeuwKK5QHNfHGQ)
## 14:30 ~ 14:50
- [BitDEX: Building a Decentralized BitMEX Using Priceless Financial Contracts (D) - Hart Lambur](/Ox0kltsTScKLgfHt7NW1Ug)
## 14:30 ~ 15:00
- [Teatime With Doge (yes, that Doge) (Amphitheater) - Kabochan, Aya Miyaguchi](/F5BMMOL_QLKeJnYh5wN1wg)
## 14:45 ~ 15:30
- [Ethereum Roadmap 2020: Ethereum 2.0 (Convention) - Ethereum Research Team](/bJptd5DFTUGFOyNOMIMUZA)
## 15:00 ~ 15:20
- [MakerDAO Oracles: The Backbone of Decentralized Finance (D) - Niklas Kunkel](/4wcCnQ2bRWivH3Wxa6uKbQ)
## 15:05 ~ 16:20
- [WASM and Rust: Building Blocks for Blockchain (B3) - Dawn Song, Nikhil Sharma](/H3l-1GA0QW-TBFl_7P38WQ)
## 15:10 ~ 15:40
- [Hands-on Trusted Platform Module (TPM2) Programming for Ethereum (B7) - Brandon Arvanaghi](/ywan77tqRqakOE-oWJLlGA)
## 15:30 ~ 17:00
- [Ethereum Roadmap 2020: Working Groups (Convention)](/yDSUGNqVQSG2m7er18IUuQ)
## 15:30 ~ 16:00
- [Lightning Talks: The MakerDAO Critical Governance Vulnerability - The Augur Master Plan, Part 2 - Path to Seedless Recovery - Ethereum Network Participation out of the Coldest of Storage - Store Your Keys Safely Offline - Never Get Online to Sign Transactions - LavaMoat: MetaMask's Approach to Secure App (D) - Alejo Salles, Joey Krug, Stefan George, Max Blaushild, Thibaut Sardan, Aaron Kumavis](/a6lcnHgiRfOIgiKUnm_6hg)
## 15:30 ~ 17:30
- [UX Audits (B2)](/0jHl2BqHQyiYkXDitqVaEA)
## 15:55 ~ 17:25
- [Towards Better Debugging: Data Format Design Session (B7) - G. Nicholas D'Andrea, Harry Altman](/711CuWDJSG23r1PSIpj7tw)
## 15:55 ~ 16:55
- [Smart Contracts: Coding Best Practices and Security Recommendations (B10) - ConsenSys Academy](/xTpRfFclSbK3IhvtftwGzQ)
## 16:00 ~ 16:30
- [Lightning Talks: zkSNARK Ethereum mixer - Mixing-based Privacy Mechanisms Are Insufficient - Incognito mode for Ethereum (Decentralized Privacy) - Birthmarking Your Smart Contracts For Vulnerability Search - Keymanagement: Multisig based Custody as Enabler for Mass Adoption - Easily develop blockchain games with Rocket Protocol: Sharing the Empirical Experience of Developing a Large First Person Shooter Game on Ethereum (D) - Ivan Bogatyi, Mudit Gupta, Doy Huynh, Han Liu, Christoph Jentzsch, Nep Yan](/xJoAjc6eTLuSXZd-12KrNw)
## 16:35 ~ 17:35
- [Decentralized UX Problem Solving with Bounties Network and Rimble (B3) - Zach Kalman, Corwin Harrell, Mike Lockwitz, Sharon Kaziunas, Ryan Cordell](/IND4T2llQLOwwDxixChmGQ)
## 17:00 ~ 18:30
- [UNICEF Summit (D) - UNICEF](/8UWOav34TtSH9N0rITjGMQ)
###### tags: `devcon5`