Welcome to the new Alloy community website! This site is intended as a way for Alloy users to connect and discuss the Alloy modeling language, as well as a place to post papers, software, events or courses related to Alloy.

If you are a new user to Alloy, please browse the Tutorial and the main Alloy Analyzer web page.

If you are a researcher or user of Alloy, we encourage you to create an account for yourself and you can upload your models/papers/software or post and answer questions on the Alloy Forum.

If you are teaching or using Alloy in a course, we'd love to hear about it. Please leave a note at the Alloy Courses listing and you can also see other courses that teach or use Alloy.

Please email alloy at mit.edu if you have questions or suggestions; we love to hear from you!