Keynote Speakers
| August 19th: |
| Distributed Runtime Verification |
| Sergio Rajsbaum (Instituto de Matematicas, Universidad Nacional Autonoma de Mexico, Mexico) |
| August 20th: |
| Is Bitcoin Stable, Secure, and Scalable? |
| Roger Wattenhofer (Distributed Computing Group, ETH Zurich, Switzerland) |
| August 21st: |
| Correctness Conditions for Randomized Shared Memory Algorithms |
| Philipp Woelfel (Department of Computer Science, University of Calgary, Canada) |