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
CRIL-CNRSleberre1Computer Science Research Lab from the University of Artois, FranceRequest membership
MIT-SDGalloy10Software Design Group at the Massachusetts Institute of TechnologyRequest membership
RFM-UBAjgaleotti2Relational Formal Methods from the University of Buenos Aires, ArgentinaRequest membership
UofOwhassan1Research 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