TLA+ Community Event 2025

The TLA+ Community Event serves as a forum where practitioners and researchers interested in the use and further development of the TLA+ specification language and its tools meet and discuss. Proposals for contributed talks are sollicited that present work of interest to users of TLA+ or PlusCal, such as: industrial or academic case studies, new tools for TLA+ or add-ons to existing tools, innovative use of existing tools or reports on their shortcomings, use of TLA+ in education.