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

Re: [tlaplus] TLA+ project meetings

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-google-group@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=cb3f93f188c92378a8fec42b25365ab2a64665d770a8265c1fcec00e03823c6c%40group.calendar.google.com&ctz=America%2FLos_Angeles

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/B4574853-F1FC-40DF-97D1-626216426F8D%40lemmster.de.