community

Stack Overflow is the main venue for posting questions and discussions about Alloy. Posts with tag ''alloy'' are actively monitored by the developers of the language.

Please join the Alloy-announce list to receive general announcements about Alloy. For other questions or comments, contact us through alloy@nullmit.edu.

An Alloy Workshop was held in 2006.

The International Conference of Alloy, ASM, B, VDM and Z Users (ABZ) conference has an Alloy track, and is held every other year.