Community
“A virtual community is a social network of individuals who interact through specific media, potentially crossing geographical and political boundaries in order to pursue mutual interests or goals.” – Wikipedia
This web site tries to unite the TLA+ community–the people interested in TLA+ or PlusCal and their tools. The authors of TLA+, PlusCal, and the tools understand the importance of interacting with this community. For now, we support several mechnisms to foster this communication.
Current web site
The current web site is used as a central information point around TLA+ and PlusCal. Any activities originated by the members of the community can be announced on this site. We tried to gather some interested information on TLA+ and created and support it by the structure of this page. If you miss something – let us know and we will try to incorporate it.
RSS Feeds
As you may have noticed, this web site supports RSS publishing. Feel free to follow the changes by subscribing to the RSS feed of the page.
If you want to get recent updates even more quickly, you can follow us on Twitter.
Discussion Forums
One of the major part of community communication takes place in the discussion forums, where different subjects can be discussed.
Contributors
We appreciate the people who contributed to the development of TLA+, PlusCal and the tools and want to thank them.
Projects
We are interested in projects on TLA+ and PlusCal and in experience using the languages and their tools in industry.
Teaching
Courses that include lectures on TLA+ and PlusCal are listed in the Teaching section. If you know any that are missing here, please let us know.
