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 (lafuente@informatik.uni-freiburg.de).
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.
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 (pedro@lcc.uma.es), 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
,
spin_list@research.bell-labs.com
Papers can be submitted in postscript form to spin2001@cis.ksu.edu
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.
ftp://cm.bell-labs.com/cm/cs/what/spin/Bin/spin343.exe
ftp://cm.bell-labs.com/cm/cs/what/spin/Bin/spin343_sgi
ftp://cm.bell-labs.com/cm/cs/what/spin/Bin/spin343_linux