International Symposium on DIStributed Computing (DISC) 2020

Workshops

  • TLA+
    Chairs: Leslie Lamport and Stephan Merz