© 2020 Strange Loop
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+ Conference is to bring together industrial users of the TLA+ specification language and its associated tools; it complements the biannual TLA+ workshops. The conference will consist of invited talks that present developments concerning the TLA+ language and tools, and of contributed talks.