[tlaplus] TLA+ project meetings

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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=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.