[TYPES/announce] SPIN 2013 - Call for Participation

[Scott Stoller]

International SPIN Symposium on Model Checking of Software - SPIN 2013

Stony Brook, NY, USA, July 8-9 2013

Marking the 20th Anniversary of the International SPIN Workshop



Registration is open!  Early registration ends June 7!



The program includes an invited talk by Dirk Beyer, a tutorial

by Gerard Holzmann, 18 technical papers, and 2 tool papers.



Full details are on the SPIN website: http://spin2013.cs.sunysb.edu/


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130529/7ce302c0/attachment-0001.html>