TLA+ Community Meeting 2026

[Stephan Merz]

A TLA+ Community Meeting will be organized as a satellite of ETAPS 2026 (https://www.etaps.org/2026/) in Torino, Italy, on April 12, 2026. The meeting will bring together the community of users of the TLA+ specification language and its associated tools. Talks should present work of interest to users of TLA+ or PlusCal, such as but not limited to:

• Industrial and academic case studies
• New tools for TLA+ or add-ons to existing tools
• innovative uses of the TLA+ tools or reports on their shortcomings
• use of TLA+ in education

Please send a 1-2 page abstract summarizing the content of the contribution by January 31, 2026 to «tla2026» \o «@» \o «inria.fr», indicating whether you would like to give a long or short presentation (40 or 25 minutes, including discussion). Any additional material may appear in an appendix that will be read at the discretion of the program committee. Notification of acceptance will be sent by February 16. There will not be formal proceedings, but accepted abstracts and slides of the presentations will be made available on the web. Presentations of relevant work published elsewhere are welcome. Speakers at the TLA+ Community Meeting will be required to register for workshop participation at ETAPS 2026.

For up-to-date information, please consult https://conf.tlapl.us/2026-etaps/.

Stephan
(on behalf of the organizers)

[Stephan Merz]

A gentle reminder that we'd love to receive your proposals for presentations at the Community Meeting by this weekend. Thanks to the authors of the proposals that we have already received.

Stephan

[Stephan Merz]

The list of presentations accepted for the Community Meeting is now online at https://conf.tlapl.us/2026-etaps/.

We hope to see a significant number of members of the TLA+ community in Torino. 

If you intend to participate, please register through https://etaps.org/2026/registration/.

Note that the early registration deadline is March 10. We encourage participants to include the workshop dinner on Sunday in the registration.

Stephan (on behalf of the organizers)