[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  are open to everybody in the community, and in particular those who consider contributing actively to the TLA+ project . The next meeting will be next Tuesday, September 12th.
On Tuesday, November 22, 2022 at 6:56:56 PM UTC+1 Markus Alexander Kuppe wrote:
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 . The inaugural meeting is on January 10th at 8 am Pacific Time .
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/41ffb0b9-a666-453d-be36-3e9a77cc6339n%40googlegroups.com.