Re: [tlaplus] TLA+ project meetings

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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.

Markus

[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.