[tlaplus] Re: TLA+ project meetings

[Stephan Merz <stephan.merz@xxxxxxxxx>]

Just a friendly reminder that these monthly meetings [1] are open to everybody in the community, and in particular those who consider contributing actively to the TLA+ project [2]. The next meeting will be next Tuesday, September 12th.

Stephan

[1] https://calendar.google.com/calendar/embed?src="">

The calendar is also linked from the TLA+ Foundation page (https://github.com/tlaplus/foundation).

[2] https://github.com/tlaplus

On Tuesday, November 22, 2022 at 6:56:56 PM UTC+1 Markus Alexander Kuppe 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 tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/356b87ca-66b8-4673-ab5b-175a0b3d570dn%40googlegroups.com.