On Tue, 19 Mar 2024 at 10:10, jayaprabhakar k <jayaprabhakar@xxxxxxxxx> wrote:
Hi Markus,I am trying to register, but from the Linux Foundation Open Source Software Summit North America 2024, I do not see TLA+ conference as an option. Did the registration close already? I also see only the April 16-18 dates. Did I miss something?On Tue, 27 Feb 2024 at 09:57, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:We are happy to announce that the schedule for the 2024 TLA+ Conference, to be held on April 15th in Seattle, Washington, is now available [1]! The day will feature a full day of talks on modeling real-world systems with TLA+, connecting TLA+ specifications to implementations, and the latest developments in the TLA+ tool ecosystem. The conference will kick off with a keynote by AWS Distinguished Engineer Marc Brooker, titled "Fifteen Years of Formal Methods at AWS."
The TLA+ Conference will take place as a co-located event of the Linux Foundation Open Source Software Summit North America 2024. To join use, please register through the official Linux Foundation Open Source Software Summit North America website [2]. Remember to select the TLA+ Conference option during the checkout process. Be aware that the deadline to register at the standard rate is April 7th.
We look forward to seeing you in April!
[1] https://conf.tlapl.us/2024/
[2] https://events.linuxfoundation.org/open-source-summit-north-america/register/
--
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/B2597B25-0DF4-4BD6-82AF-8A04736CD042%40lemmster.de.
