DEVCON1 4.40 pm Day 1 Grant Passmore of Aesthetic Integration () presents on Imandra, the advancement artificial intelligence innovation for making sure monetary algorithms are developed and executed safely and relatively utilizing official confirmation. Apologies […]
DEVCON1 5.30 pm Day 1 Peter McBurney presents on Formal Semantics for Procedures at Ethereum's DEVCON1.
DEVCON1 5.20 pm Day 1 Jack Pettersson and Robert Edström present Chalmers University of Technology, Sweden present on a dependantly typed functional language for smart contracts.
DEVCON1 10:35 am Day 3 Ethereum's Dr. Jutta Steiner () and Gustav Simonsson () present on the work undertaken to secure Ethereum.
DEVCON1 09:00 am Day3 Ethereum's Alex Leverington provides on "devp2p", Ethereum's networking protocol.
DEVCON1 9:00 AM Day 4 Dr. Jack Peterson provides on Augur (), an open-source, decentralized prediction market built on Ethereum.
DEVCON1 11.20 am Day 3 Vitalik Buterin, Dr. Gavin Wood, Fabian Vogelsteller, Nikolai Mushegian and Christian Lundkvist go over standardisation in the Ethereum space.
DEVCON1 10:55 am Day 3 Ethereum's Konstantin Kudryavtsev provides on Embark, a DApp Advancement Structure constructed by Iuri Mathias ().
DEVCON1 9:15 am Day 4 Nikolai Mushegian presents on Maker (), an agreement system which creates and keeps the Dai Stablecoin.
DEVCON1 9.55 am Day 4 Dominic Williams () provides on Synthetic Assets at Ethereum's DEVCON1.