Loading events...
This event listing is based on historical patterns and may not be officially confirmed. Dates, venue, and details are subject to change. Please verify with the event organizer or official website before making travel arrangements.
Verify on official websiteThe 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 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