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

[tlaplus] Re: TLA+ project meetings

If no notes, can you publish the agenda, or the list of topics that will be discussed / "on the table" for the next meetings ?

ב-יום שישי, 8 בספטמבר 2023 בשעה 14:47:05 UTC+3, Stephan Merz כתב/ה:
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/41ffb0b9-a666-453d-be36-3e9a77cc6339n%40googlegroups.com.