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

Re: [tlaplus] TLA+ Community Meeting 2025 - Schedule posted



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.


On Thu, Mar 27, 2025 at 1:58 PM Stephan Merz <stephan.merz@xxxxxxxxx> wrote:
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 <klaeufer@xxxxxxxxx> wrote:


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



On Thu, Mar 27, 2025 at 12:09 PM A. Jesse Jiryu Davis <jesse@xxxxxxxxxxxxxxx> wrote:
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?

On Tue, Mar 25, 2025 at 2:38 PM Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
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

> On Feb 11, 2025, at 6:25 AM, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
>
> 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-google-group@xxxxxxxxxxx> wrote:
>>
>> 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)

--
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 visit https://groups.google.com/d/msgid/tlaplus/23C1FAE3-0C28-4FD3-B6B9-82776693B42B%40lemmster.de.

--
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 visit https://groups.google.com/d/msgid/tlaplus/CAFRUCtYc8_3_RykBuAhXePP70FqOOQLmavWhvZLoLzRtFwQLWQ%40mail.gmail.com.

--
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 visit https://groups.google.com/d/msgid/tlaplus/CAG51ZLUOsBxg7aQpx7Xxsh85JStOQYA5RX20ZkP%3DO5miUxGkVQ%40mail.gmail.com.

--
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 visit https://groups.google.com/d/msgid/tlaplus/245AA7C9-51E7-4F78-A285-E1A937BF64DB%40gmail.com.

--
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 visit https://groups.google.com/d/msgid/tlaplus/CAFRUCtbmiYQSDyudhuAkCx2b-mgKsForXN6tEAaHT7tg2VbDnw%40mail.gmail.com.