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

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20110325/368c306f/attachment.html>
-------------- nächster Teil --------------
Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt.
Name: SPIN 2011 CFP.txt
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20110325/368c306f/attachment.txt>