The 21 full papers and 7 short papers together with 4 invited papers included in this book were carefully reviewed and selected from 59 submissions. The conference focuses on the design and development of distributed systems with a focus on systems that are able to
provide guarantees on their correctness, performance, and/or security in the face of an adverse operational environment.