Reliable Distributed Systems, Symposium on