Re: [tlaplus] 2026 TLA+ Community Survey

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

Thanks, Taylor, for driving this.

If you use or contribute to TLA+, please take a few minutes to fill out the survey. Your feedback helps shape where we focus next.

M.

> On Oct 5, 2026, at 4:40 PM, Taylor Waggoner <twaggoner@xxxxxxxxxxxxxxxxxxx> wrote:
> 
> Hi everyone,
> 
> The 2026 TLA+ Community Survey is now live!
> 
> Your feedback will help shape key priorities for TLA+ tooling, community channels, and Foundation initiatives for the coming year.
> 
> 👉 Take the survey here
> 
> Thank you for taking the time to share your experience!
> 
> Best,
> 
> TAYLOR WAGGONER
> Program Manager
> twaggoner@xxxxxxxxxxxxxxxxxxx

-- 
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/2E65EA20-F81A-4FFA-8B13-C9B95B4D2EFB%40lemmster.de.