Symposium on Principles of Distributed Computing