Marc Brooker - VP/Distinguished Engineer at Amazon Web Services - will look back in his keynote over the decade since the publication of “How Amazon Web Services Uses Formal Methods”, how their practice has evolved since then, and the challenges for the future.

What is TLA+?

TLA+ is a formal language for specifying systems used in industry and academia to verify complex distributed and concurrent systems. Among others, the TLA+ methodology is successfully applied at Amazon Web Services, Microsoft, and Oracle.

TLA+ Conference?

TLA+ conference brings together industrial and academic users of the TLA+ specification language and its associated tools; it complements the biannual TLA+ workshops with a stronger focus on applying TLA+. Talks should present work of interest to users of TLA+ or PlusCal, such as but not limited to:

  • Use of TLA+ and its tools in industry and academia
  • Novel tools & techniques exploiting TLA+ and its existing tools
  • Adopting TLA+ and its combination with other engineering pratices
  • How you can participate and contribute

Please send a 1-2 page abstract summarizing the content of a 45-minute presentation by February 7th, 2024 to «tla2024» \o «@» \o «tlapl.us». Notification of acceptance will be sent soon after. There will not be formal proceedings, but recordings may be made available on the web. Presentations of relevant work published elsewhere are welcome.

Conference Organizers:

When & Where?

TLA+ conf will be an in-person only event in Seattle, WA, USA, on April 15, 2024 as part of the Linux Foundation Open Source Summit North America. Participants are required to register through the LF Open Source Summit website at https://events.linuxfoundation.org/open-source-summit-north-america/.

Code of Conduct

TLA+ conf agrees with and follows the Linux Foundation’s Code of Conduct!

Previous TLA+ Confs & Community Events