SPIN NEWS - Nr. 11 - April 16, 1996

Contents of this NewsLetter:

SPIN96 Workshop Update

Financial support for students

A small amount of funds is available to provide financial support for graduate students who would like to attend the workshop, but cannot do so without support. If you'd like to qualify for support for hotel and travel to attend the SPIN96 workshop, please send an application to us as soon as possible, but in any case before Saturday June 15, 1996 at the very latest, attaching a brief supporting statement from your supervisor (email is preferred).

The deadline for paper submissions is June 15 1996. Please note that papers that are included in the DIMACS Proceedings of the workshop must be original contributions, not previously published. Depending on the number of submissions, though, we may consider also other contributions for presentation at the workshop itself, and for inclusion in the (preprint) participants proceedings. Contributions selected for the final DIMACS proceedings will also have to pass a reviewing/editing cycle (following DIMACS rules).

Travel arrangements, etc.

It is probably good to note that the 1996 Olympic Games in Atlanta will end close to the start of our workshop (they end on August 3, our workshop is August 5). The extra flow of travelers may make it hard to make reservations for flights also in out of New York close to this date... Make your travel arrangements early! There are good connections between New York or Newark airport to New Brunswick (the Rutgers campus where our workshop is held this year). DIMACS recommends two hotels: the Holiday Inn or the Comfort Inn. More information: http://dimacs.rutgers.edu (or "telnet info.rutgers.edu 90")

SPIN Version 2.8.1

An important upgrade

The current version of SPIN (on netlib.bell-labs.com in directory /netlib/spin) contains some important changes:

Some recent papers

End of Newsletter Nr. 11.

Gerard J. Holzmann (gerard@research.bell-labs.com)