[tlaplus] TLA+ Conference 2024 - April 15th - Seattle, USA

[Markus Alexander Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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.

Markus

(on behalf of the organizers)

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/f39af063-2709-490e-916f-7e1973b55d46n%40googlegroups.com.