TLA+ Community Meeting 2025

[Markus Kuppe]

A TLA+ Community Meeting will be organized as a satellite of ETAPS 2025 (https://www.etaps.org/2025/) at McMaster University in Hamilton, Canada, on May 4, 2025. This will be the first TLA+ Community Meeting outside Europe. The meeting will bring together the community of users of the TLA+ specification language and its associated tools. Talks should present work of interest to users of TLA+ or PlusCal, such as but not limited to:

• Industrial and academic case studies
• New tools for TLA+ or add-ons to existing tools
• innovative uses of the TLA+ tools or reports on their shortcomings
• use of TLA+ in education

Please send a 1-2 page abstract summarizing the content of the contribution by February 7, 2025 to «tla2025» \o «@» \o «inria.fr», indicating whether you would like to give a long or short presentation (40 or 25 minutes, including discussion). Any additional material may appear in an appendix that will be read at the discretion of the program committee. Notification of acceptance will be sent by February 17. There will not be formal proceedings, but accepted abstracts and slides of the presentations will be made available on the web. Presentations of relevant work published elsewhere are welcome. Speakers at the TLA+ Community Meeting will be required to register for workshop participation at ETAPS 2025.

For up-to-date information, please consult http://conf.tlapl.us/2025-etaps/.

Markus
(on behalf of the organizers)

[Markus Kuppe]

Just a friendly reminder: The deadline to present at the TLA+ Community Meeting 2025 is quickly approaching! You have one month left, with the final submission date set for February 7th.

> --
> 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+u...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/tlaplus/316FA390-E4A1-4C7D-9086-E55852F89C1B%40lemmster.de.

[Andrew Helwer]

Currently http://conf.tlapl.us/2025-etaps/ cannot be resolved.

Andrew

[Markus Kuppe]

This has been fixed.

Background: The DNS CNAME record for conf.tlapl.us <http://conf.tlapl.us/> was deleted, but the IT department of the Linux Foundation has recreated it. Unfortunately, they are unaware of the reason behind its earlier deletion.

[Markus Kuppe]

Don’t forget that the deadline is next Friday!

[Markus Kuppe]

The deadline to submit a proposal has been extended to Friday, February 28. Please send your 1-2 page abstract summarizing the content of the contribution and, if you wish to speak for 25 or 40 minutes, to «tla2025» \o «@» \o «inria.fr».

Markus
(on behalf of the organizers)

> On Nov 26, 2024, at 9:34 AM, Markus Kuppe <tlaplus-go...@lemmster.de> wrote:
>

[Markus Kuppe]

The program is online at https://conf.tlapl.us/2025-etaps/.

Participants will be required to register to ETAPS 2025.

We hope to see many members of the TLA+ community in Hamilton, Canada!

Best regards,
Markus

[A. Jesse Jiryu Davis]

Thanks Markus, the registration for ETAPS is $1200 Canadian, which seems steep for those of us just attending the one-day TLA+ event. Is there a way to register for just the TLA+ event, and can you tell us how to do that?

--
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+u...@googlegroups.com.

To view this discussion visit https://groups.google.com/d/msgid/tlaplus/23C1FAE3-0C28-4FD3-B6B9-82776693B42B%40lemmster.de.

[Konstantin Läufer]

I'm in the same boat...

On the registration site, I was able to click the "next" or similar button without putting ETAPS itself into the cart.

On one of the subsequent pages, there was an item just for the TLA+ workshop, which I put in the cart and paid for.

I hope this works for you.

Konstantin

To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAFRUCtYc8_3_RykBuAhXePP70FqOOQLmavWhvZLoLzRtFwQLWQ%40mail.gmail.com.

[Stephan Merz]

Indeed, for attending the Community Meeting it should be enough to register for a one-day workshop, not the entire conference.

Stephan

On 27 Mar 2025, at 18:41, Konstantin Läufer <klae...@gmail.com> wrote:



To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAG51ZLUOsBxg7aQpx7Xxsh85JStOQYA5RX20ZkP%3DO5miUxGkVQ%40mail.gmail.com.

[A. Jesse Jiryu Davis]

This was probably easy for all you PhDs to figure out. But in case any other muggles like me are having trouble, these instructions worked for me.

• Go to https://register.mcmaster.ca/StarRezPortalXConference/550E4E91/25/28/Home-Conference_Registrat?UrlToken=990D0A6E
• Create an account and/or log in
• "General Registration"
• Enter ETAPSGUEST25 and click "SEARCH"
• Next to "European Joint Conferences on Theory and Practice of Software" click "SELECT"
• Click "SAVE & CONTINUE"
• Fill out the form, click "SAVE & CONTINUE"
• On the screen with "Registration Fees" and three options for ETAPS, like "ETAPS - Regular Member Registration (Early Bird)", this is tricky, don't select anything, just click "SAVE & CONTINUE"!
• Accept "Guest Expectations"
• Find "TLA+" and "ADD TO CART"
• Click "SAVE & CONTINUE"
• Click "PAY NOW"

To view this discussion visit https://groups.google.com/d/msgid/tlaplus/245AA7C9-51E7-4F78-A285-E1A937BF64DB%40gmail.com.

[Andrew Helwer]

Early registration is ending on April 1st so it is good to book within the next few days if you want to also attend some ETAPS events.

The ETAPS website has a good guide for the specific building location on the McMaster campus and how to get there from the Toronto airport: https://etaps.org/2025/attending/

The linked page recommends taking a bus from the Toronto airport but you want to hang around Toronto for a bit you can also take the Lakeshore West rail line to Hamilton from Union Station in downtown Toronto, near the CN Tower; it takes about an hour and costs $13.60 one way: https://en.wikipedia.org/wiki/Lakeshore_West_line

Andrew Helwer