Workshops & Tutorials

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