International Symposium on DIStributed Computing (DISC) 2020

Workshops

  • TLA+
    October 15-16 and 19
    Chairs: Leslie Lamport and Stephan Merz