TLA+ Community Event 2020
October 15.-16. & 19.

The schedule of the TLA+ Community Event 2020 has been posted!

What is TLA+?

TLA+ is a formal language for specifying systems that is used in industry and academia to verify complex distributed and concurrent systems. Among others, the TLA+ methodology is successfully applied at Amazon Web Services and Microsoft.

TLA+ Community Event?

The objective of the TLA+ Community Events is to bring together practitioners and researchers interested in the use and further development of the TLA+ specification language and its associated tools. Talks should present work of interest to users of TLA+ or PlusCal, such as:

  • industrial and academic case studies
  • new tools for TLA+
  • innovative use of existing tools or reports on their shortcomings
  • use of TLA+ in education

See the schedule for the list of presentations.

The workshop will be a satellite of the Symposium on Distributed Computing and will take place virtuall on Thursday 15., Friday 16. and Monday 19. of October 2020. For information about the registration, please go to the DISC 2020 website (registration for participants will be free of charge).



  • Discussions: Mattermost (already up and running)
  • Long-talks: Youtube (details to follow)
  • Presentation: Zoom (details to follow)


Organizers: Leslie Lamport, Stephan Merz, Markus Kuppe

Previous TLA+ Community Events