TLA+ Conference 2024 - April 15th - Seattle, USA
Markus Alexander Kuppe
TLA+ conference brings together industrial and academic users of the TLA+ specification language and its associated tools; it complements the 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 1st, 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.
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.