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.
* 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:
(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
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.
* 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.
Elie Najm: [email protected]
Ahmed Serhrouchni: [email protected]
Gerard Holzmann: [email protected]