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.
Contributed 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
- Teaching of TLA+ in industry or academia
- Novel techniques exploiting TLA+ and its tools
The conference will take place in St. Louis, MO, USA, on September 12, 2019 as part of Strange Loop 2019.
Participants are required to register through the Strange Loop web site.