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

[tlaplus] Join Today: Monthly TLA+ Community Call

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Tue, 10 Nov 2026 06:46:11 -0800

Hi everyone,

a friendly reminder that our monthly TLA+ community call is at 8am Pacific! All are welcome to join and share their TLA+-related work with the community.

Zoom: https://zoom-lfx.platform.linuxfoundation.org/meeting/92470634305?password=f70a506f-cc98-4ff8-b34d-8bed26695930

Markus

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/D3328DD7-26BC-4D5D-BA58-A3DFDF75E17E%40lemmster.de.

Follow-Ups:
- Re: [tlaplus] Join Today: Monthly TLA+ Community Call
  - From: Ovidiu Marcu

Prev by Date: [tlaplus] Measuring re-verification cost on MongoDB's TLA+ history: feedback welcome
Next by Date: Re: [tlaplus] Join Today: Monthly TLA+ Community Call
Previous by thread: [tlaplus] Measuring re-verification cost on MongoDB's TLA+ history: feedback welcome
Next by thread: Re: [tlaplus] Join Today: Monthly TLA+ Community Call
Index(es):
- Date
- Thread