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

[tlaplus] TLA+ project meetings

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=cb3f93f188c92378a8fec42b25365ab2a64665d770a8265c1fcec00e03823c6c%40group.calendar.google.com&ctz=America%2FLos_Angeles

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/23E0AE56-2AAF-41BD-A516-00903D63355F%40lemmster.de.