NEWS - Nr. We hope to send out another Spin NewsLetter by June 22 with more information about program, speakers, etc. Send proposals for demos also via email as above, before the deadline of June 15.
Some funds are available for financial support of graduate students.
The deadline for applications for support is also June 15. In case we get more requests than we can honor, we will of course give priority to those who submit a paper to the workshop on work related to the Spin system. Selection We will try to confirm the presentation of papers quickly after the deadline, at the latest by June 19. Papers can report either on research related to the Spin system, significant practical applications, comparative evaluations of model checkers, etc. The proceedings will appear in book-form in early 1997.