Alloy Community

User login

Groups directory

Please first login if you wish to create a new group.

Search for a group by name
Groupsort iconManagerSubscribersDescriptionSubscribe
ALLOY BeginnersMark.Buckle10A beginners group for ALLOYRequest membership
ALLOY-JPtakeo1Japanese Users Group of Alloy / 日本語AlloyユーザグループRequest membership
ASA-KITtaghdiri2The Automated Software Analysis research group at Karlsruhe Institute of TechnologyRequest membership
CRIL-CNRSleberre2Computer Science Research Lab from the University of Artois, FranceRequest membership
MIT-SDGalloy10Software Design Group at the Massachusetts Institute of TechnologyRequest membership
NEMObernardofbbraga2Ontology & Conceptual Modeling GroupRequest membership
RFM-UBAjgaleotti3Relational Formal Methods from the University of Buenos Aires, ArgentinaRequest membership
UofOwhassan2Research on Governance for Privacy and Security at School of engineering and information technology. Université d'Ottawa.Request membership

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte