[tlaplus] 2026 TLA+ Community Survey

[Taylor Waggoner <twaggoner@xxxxxxxxxxxxxxxxxxx>]

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

Sent with Mixmax

-- 
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/CAL%2BefUpzMUBrtOtAa-02ZYLtdAV_bv%2BpYuJNJiA4zXC2qhh9qg%40mail.gmail.com.