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

TLA+ Conference 2021

We will announce the program of TLA+ conference 2021 around July 15, 2021. In the meantime, please find general information on the announcement page. Information about the TLA+ workshop that happens on the day before TLA+ conf is found over at the Strange Loop site. Feel free to reach out to Pawel Szulc with questions.