[tlaplus] Re: TLA+ project meetings

[Gal Vardi <thevardis@xxxxxxxxx>]

Hi,

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

ב-יום שישי, 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.

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/41ffb0b9-a666-453d-be36-3e9a77cc6339n%40googlegroups.com.