[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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:

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.

(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.