[M3] ================================================ AMAST Links 02 07

               1st SPIN Model Checking Workshop, SPIN'95

  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_ at URL:

   http://netlib.att.com/netlib/spin/news.html

  The abstracts are also available _directly_ at URL:

   http://netlib.att.com/netlib/spin/ws95/spin95_abstracts.html

  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