spinnews.gif (1514 bytes)

NewsLetter 31 - January 18, 2001:

Online Database of Spin Applications

Alberto Lafuente from the University in Freiburg is putting together a comprehensive database of Spin models, so that they are more easily available to everyone. If you have items that would be interesting to share, please send them to Alberto ([email protected]). When it is complete, we plan to make the database available on the Spin website as well.

The database is currently at: http://www.informatik.uni-freiburg.de/~lafuente/models/models.html

Spin2001 and 2002

The deadline for submissions to the 8th Spin Workshop, held May 19-20, 2001 in Toronto, is getting close.
Papers can be submitted in postscript form to [email protected] before January 29, 2001 Notifications of acceptance will be sent out on February 26. The call for papers is http://www.cis.ksu.edu/santos/spin2001/cfp.html.

The Spin2002 workshop will most likely be held in early April 2002 in Grenoble, France, co-located with the ETAPS2002 conference. More details will follow.

CFP for DSVV'01

At Pedro Merino's request ([email protected]), we also remind you of another submission deadline that is coming up on January 26 2001 for the 2nd International Workshop on Distributed System Validation and Verification. Please check the website for details: http://dalila.sip.ucm.es/~manolo/dsvv01.html

Spin Executables

The current version of Spin is 3.4.3. Starting with version 3.4.0, precompiled spin executables for Windows, SGI, and Linux machines are available online at, respectively:


End of Newsletter Nr. 31.

Spin Homepage ,