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 trial →TLA+ Community Event 2025 takes place on Sunday, May 4, 2025.
TLA+ Community Event 2025 is held in Hamilton, Canada.
Pricing information is available on the event website.
TLA+ Community Event 2025 is designed for education professionals looking to network, learn, and discover new opportunities.
Get curated B2B events, AI-powered insights, and industry trends delivered to your inbox