SPIN is a reachability analysis tool designed for the verification of distributed systems. First made available publicly in 1991, SPIN is widely used both for teaching and for industrial applications. It has inspired many other model checking tools in various ways.

The SPIN95 workshop, held on 16 October 1995 in Montreal, created a first opportunity for SPIN users to meet and exchange experiences, ideas, theories, wishes, gripes about formal verification tools.

The SPIN96 workshop will take place in New Jersey as part of the DIMACS Special Year on Logic and Algorithms, one of whose focus areas is computer-aided verification. The workshop is part of a series of workshops on formal methods and verification. Click here for more information.

The workshop will be held at Rutgers University Busch campus on Monday, August 5, 1996. Details on transportation between the FLoC conference site and Busch campus will be provided later.

Demo sessions of extensions, restrictions, and variations of SPIN will be organized (or of any comparable tool that is suggested).

Keynote speaker: Moshe Y. Vardi, Rice University.

Papers: Papers can be up to 20 pages in length and can be either a report on work in progress or a regular research paper on work that is somehow related to the SPIN system.

Demos: Tool demonstrations, of extensions, restrictions variations, or alternatives, to SPIN, are invited. Please tell us as early as possible if you plan to demonstrate software so that we can make sure we can set it up properly and make it work.

Dates: The deadline for all contributions is: Saturday, 15 June 1996. Papers can be submitted electronically, in PostScript form to any one of the organizers. We will make available a proceedings of the workshop in both printed and also, for the authors that permit us to do so, in electronic form.

Organizers: Jean-Charles Grégoire, gregoire@inrs-telecom.uquebec.ca; Doron Peled, doron@research.att.com; Gerard Holzmann, gerard@research.att.com.

More information is available here.

Sponsor: DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science