SPIN NEWSLETTER Nr. 25

Contents NewsLetter 25 - May 10, 1999:

Spin99-VI Extended Deadline

The deadline for the 6th Spin workshop, held at the World Congress in Formal Methods (FM99) in Toulouse, on 21 September this year, has been extended until:
	May 17, 1999
Papers up to 20 pages in length can be submitted by email, in Postscript, up to midnight in a time-zone of your choice on May 17 1999 to Stefan Leue at [email protected] .
We have a tight schedule for this workshop, so please note that this new deadline is really strict. For more details see:
http://fee.uwaterloo.ca/~sleue/6thSPIN99.html

More information on FM99 can be found at: http://www.it.dtu.dk/~db/fm99/FM99Main/FM99Main.html

There will be a joint proceedings for the two Spin workshops of 1999 as a volume of a Springer Lecture Notes in Computer Science.

Spin 3.3.0 Preview:

The new release of Spin is getting close to being generally available. This new Version 3.3.0 has been a few months in the making, and is considerably more efficient than the current release (3.2.4), often cutting memory use in half or more. The most important changes that help to make this so are: There are other small improvements, many requested by faithful users, to simplify life. Multiple mtype definitions, for instance, are now allowed, and there's a more sensible compiler directive to specify the amount of available memory in Megabytes instead of as a power of two.

Spin version 3.3.0 is still undergoing more testing, but we expect that it will become available before the end of this month. Please let us know if you would like to test a beta version before the final release is made.


End of Newsletter Nr. 25.