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 duePapers, no longer than 20 pages, can be submitted by email in Postscript format to
spin_list@research.bell-labs.comAll topics that can be of serious interest to the SPIN users community are acceptable, including, and not necessarily restricted to:
* Prof. Amir Pnueli Faculty of Mathematical Science Weizmann Institute of Science, Israel
Elie Najm: Elie.Najm@Email.ENST.fr Ahmed Serhrouchni: ahmed@res.enst.fr Gerard Holzmann: gerard@research.bell-labs.com