SPIN98 Workshop

SPIN98 -- Call for Participation

The 4th International SPIN Workshop

   Date:     Monday November 2 1998
   Place:    ENST, Paris, France
   Duration: One day (9am - 6pm)

The SPIN98 workshop will take place on the day before the IFIP FORTE/PSTV98 conference, that will take place at ENST (Ecole Nationale Superieure des Télécommunications, 46 Rue Barrault, 75013 Paris, France) in Paris from Nov 3-6 1998.

The workshop program is now available at:

The aim of the workshop is to bring together researchers and practitioners interested in the further development and understanding of formal methods, and specifically in the theoretical background and the practical application of the SPIN system.

Important Dates:

 * June 20, 1998 -- Submit abstracts, demo&tutorial proposals
 * Aug. 20, 1998 -- Submission deadline for papers
 * Sept 20, 1998 -- Notification of acceptance
 * Oct. 10, 1998 -- Final Postscript version for Proceedings due
Papers, no longer than 20 pages, can be submitted by email in Postscript format to
All topics that can be of serious interest to the SPIN users community are acceptable, including, and not necessarily restricted to:

Keynote Speaker

   * Prof. Amir Pnueli
     Faculty of Mathematical Science
     Weizmann Institute of Science, Israel


Tool demonstrations and suggestions for short presentations that are tutorial in nature are welcome. Please tell us as early as possible if you plan to demonstrate a tool so that we can make sure we can set it up properly and make it work.


As in previous years, workshop attendance will include participants proceedings, coffee breaks and lunch. There may be a small fee for attending the workshop, but we will try to keep this at a minimum. Please register your participation, so that we can guarantee enough proceedings and lunches.

Workshop Organization

   Elie Najm: Elie.Najm@Email.ENST.fr
   Ahmed Serhrouchni: ahmed@res.enst.fr
   Gerard Holzmann: gerard@research.bell-labs.com