The aim is to bring together researchers working on the theory and implementation of blockchains.
The program includes recent research in the sub-themes of consensus protocols, zero-knowledge proofs, privacy, and anonymity-preserving techniques, language design and semantics for smart contracts, formal verification of cryptographic protocols, and implementations, among other relevant topics. The workshop aims to enable interdisciplinary research and foster collaboration among theoreticians and practitioners in blockchain protocols, distributed systems, and cryptography.
Each seminar will consist on at least an invited talk, a virtual coffee break and two contributed talks.
Wednesdays from 17-19 starting on May 27 2020