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

[tlaplus] TLA+ Community Survey 2024 Results

Thank you to those who participated in the community survey. Attached are the results. There's a report by Martin Hornáček, and a presentation with highlights. 

Special thanks to Martin for all his work updating the survey and compiling the results. Please let us know if there are any thoughts or questions. 

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/CALLYA9yqDn1sbK6558useBsf52W--0%3D7GGi7no%2BvsOBVOBaESQ%40mail.gmail.com.

Attachment: TLA+ Community - 2024 Survey Results.pdf
Description: Adobe PDF document

Attachment: TLA+ 2024 Survey report.pdf
Description: Adobe PDF document