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.
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:
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).
Organizers: Leslie Lamport, Stephan Merz, Markus Kuppe