Saturday, June 17th
Tutorial: High-Level Executable Specification and Reasoning for Improving Distributed Algorithms (in conjunction with PDLI)
Organizers: Yanhong Annie Liu and Scott Stoller
Website: https://pldi23.sigplan.org/details/pldi-2023-PLDI-Workshops/5/High-Level-Executable-Specification-and-Reasoning-for-Improving-Distributed-Algorithm
Monday, June 19th
Workshop: Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems (ApPLIED)
Organizers: Yanhong Annie Liu and Elad Michael Schiller
Website: https://www.cse.chalmers.se/~elad/ApPLIED2023/
Friday, June 23rd
Workshop: Biological Distributed Algorithms (BDA)
Organizers: Arjun Chandrasekhar, Frederik Mallmann-Trenn, Yannic Maus, and Ted Pavllic
Website: https://sites.google.com/view/bda23/home
Tutorial: Cryptography in distributed protocols
Organizers: Rotem Oshman and Vinod Vaikuntanathan
Tutorial: Pathways
Organizers: Adrian Kosowski, Krzysztof Nowicki, and Przemyslaw Uznanski