[Om-announce] SPIN 2011 Call For Papers

[Madan Musuvathi]

[Apologies if you receive multiple copies]

Please consider submitting to the SPIN Workshop on Model Checking of Software<http://research.microsoft.com/en-us/um/redmond/events/spin2011/index.htm>. The deadline for submitting papers is April 1st, 2011. The CFP is attached.

Thanks
Alex Groce and Madanlal Musuvathi

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20110325/368c306f/attachment.htm 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: SPIN 2011 CFP.txt
Url: http://openmath.org/pipermail/om-announce/attachments/20110325/368c306f/attachment.txt