[clean-list] 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://mailman.science.ru.nl/pipermail/clean-list/attachments/20110325/368c306f/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: SPIN 2011 CFP.txt
URL: <http://mailman.science.ru.nl/pipermail/clean-list/attachments/20110325/368c306f/attachment.txt>