The abstracts from the 1st SPIN Workshop are now available online, through Netscape or Mosaic. You can access it through the standard SPIN News page .
The abstracts are also available directly .
The abstracts page also contains some references to other papers that didn't make it in time for the workshop itself.
There is also a brief announcement of at least a somewhat firmer plan now to organize also the 2nd SPIN workshop, next year in New Jersey, adjacent to the CAV96 and LICS96 conferences.
If you would like to change one of the links to point to a local copy of a paper, or propose any other type of change (extra papers, other links), let us know!
J-Ch. Gregoire
Doron Peled
Gerard Holzmann