[TYPES/announce] SPIN 2013 - Call for Participation

Scott Stoller stoller at cs.stonybrook.edu
Wed May 29 15:35:59 EDT 2013

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>

More information about the Types-announce mailing list