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

Re: [tlaplus] TLA+ project meetings

When is the next meeting? Is there a link to a meeting series or will they be posted here a month ahead?

On Tuesday, January 10, 2023 at 9:55:33 AM UTC-5 Markus Alexander Kuppe wrote:
Friendly reminder that this meeting starts in a little more than an hour at 8 am Pacific Time on Teams [1]. Please join if you want to contribute to the development of the TLA+ tools and ecosystem.


[1] https://teams.microsoft.com/l/meetup-join/19%3ameeting_M2VhMTRhODEtYmYxYi00YWU5LThhM2ItNjFiOGQ0NjkyMDAy%40thread.v2/0?context=%7b%22Tid%22%3a%2272f988bf-86f1-41af-91ab-2d7cd011db47%22%2c%22Oid%22%3a%223fc2706a-8053-4b20-8869-be54ceab53fb%22%7d

> On Nov 22, 2022, at 9:56 AM, Markus Kuppe <tlaplus-go...@xxxxxxxxxxx> wrote:
> Hi all,
> to foster broad collaborations, we will start hosting monthly meetings to coordinate and discuss ongoing and future TLA+ development. Please join the meetings if you want to become involved or actively contribute to the TLA+ project [1]. The inaugural meeting is on January 10th at 8 am Pacific Time [2].
> Markus
> [1] https://github.com/tlaplus
> [2] https://calendar.google.com/calendar/embed?src="">

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
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/8df67590-258d-437a-bac5-cae68c190f07n%40googlegroups.com.