TLA+ Conference
September 30, 2021
St. Louis, MO, USA

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


Proposals for presentations, with a one-page summary of the content, should be sent by July 01, 2021 to «tla2021» \o «@» \o «». Notification of acceptance will be given by July 15, 2021. The presentations given at the event will be made available on the web.


TLA+ conf will be an in-person(!) event taking place in St. Louis, MO, USA, on September 30, 2021 as part of Strange Loop 2021. Participants are required to register through the Strange Loop web site.

Due to the pandemic, entry into the US is still barred for some travelers. While we hope for most restrictions to be lifted by the time of the conference and generally prefer in-person presentations, speakers unable to attend due to travel restrictions will be allowed to present virtually.


Program Committee: Stephan Merz, Igor Konnov, Markus Kuppe, and Hillel Wayne

Previous TLA+ Confs & Community Events