What is TLA+?

TLA+ is a formal language for specifying systems 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+ Conference?

TLA+ conference brings together industrial and academic users of the TLA+ specification language and its associated tools; it complements the biannual TLA+ workshops with a stronger focus on applying TLA+. Talks should present work of interest to users of TLA+ or PlusCal, such as but not limited to:

  • Industrial and academic case studies
  • Use of the TLA+ tools or reports on their shortcomings
  • Novel tools & techniques exploiting TLA+ and its existing tools
  • Teaching TLA+ and its combination with other (software) engineering methodologies

Previous TLA+ Confs & Community Events