The TLA+ Conference will be held in-person on September 30, 2021, in St.
Louis, MO, USA.
What?
-----
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
When?
-----
Proposals for presentations, with a one-page summary of the content,
should be sent by July 01, 2021 to «tla2021» \o «@» \o «
tlapl.us».
Notification of acceptance will be given by July 15, 2021. The
presentations given at the event will be made available on the web.
Where?
------
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.
For more details and future announcements please check
https://conf.tlapl.us.