Loading events...
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.
Sunday, May 4, 2025
Hamilton, Canada
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.
Receive curated event recommendations based on your interests.
See how WebMobi helps you manage registration, check-in, and analytics.
Request a DemoOr start free →TLA+ Community Event 2025 takes place on Sunday, May 4, 2025 in Hamilton. All times are in UTC.
WebMobi provides event registration, ticketing, mobile apps, check-in, and analytics — all with zero platform fees.
Get curated B2B events, AI-powered insights, and industry trends delivered to your inbox