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:

http://netlib.bell-labs.com/netlib/spin/ws98/program.html

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

	spin_list@research.bell-labs.com

All topics that can be of serious interest to the SPIN users community are acceptable, including, and not necessarily restricted to:

Theory (automata, algorithms, reduction methods, logic, real-time, abstraction, modularity, hierarchy, refinement, implementation, fairness, symmetry relation, storage methods, caching methods, etc. etc.)
Significant or unusual practical applications of model checking
Short tutorials or surveys on a topical subject related to SPIN model checking
Analyses of shortcomings, possible extensions, benefits of existing tools
Empirical studies, measurements, tool comparisons, etc.

Keynote Speaker

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

Program

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.

Cost

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