Dear all, just wanted to draw your attention to the Microsoft Open Source Challenge (http://research.microsoft.com/en-us/projects/opensource/) that may be of interest to some people on the list. The TLA+ tools are eligible, among many others. Stephan
Attachment:
smime.p7s
Description: S/MIME cryptographic signature