The PC for the workshop consists of Dennis Dams (Eindhoven Univ), Mieke Massink (CNR-Ist), Ed Brinksma (Univ of Twente), Marco Daniele (ITC-IRST), Bengt Jonsson (Uppsala Univ), and Gerard Holzmann (Bell Labs).
The keynote speaker is John Rushby (http://www.csl.sri.com/rushby/rushby.html)
Submission deadline for SPIN-V is April 1, 1999
FLOC99 will also include the next CAV, LICS, and CADE conferences. More information about FLOC99 can be found at: http://www.cs.bell-labs.com/cm/cs/what/floc99/
The keynote speaker for SPIN-VI will be announced shortly.
Submission deadline for SPIN-VI is May 10, 1999
More information on FM99 can be found at: http://www.it.dtu.dk/~db/fm99/FM99Main/FM99Main.html