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

[tlaplus] Re: TLA+ project meetings

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.


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


[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/356b87ca-66b8-4673-ab5b-175a0b3d570dn%40googlegroups.com.