Agenda
Slides
Chairs' Presentation
Stellar Consensus Protocol Update -- David Mazieres
Formal Verification of SCP -- Guiliano Losa
Distributed Delegated Mappings -- Jean Luc Watson
Coconut -- Shehar Bano
DINRG & ANIMA -- Toerless Eckert
Decentralized Internet Resource Trust Infrastructure -- Bingyang Liu
Minutes