SSV 2015 Cancelled
It is with some regret that we announce that SSV 2015 has been cancelled due to lack of submissions.
After consulting with the Steering Committee, the unanimous decision was made to cancel the event. Papers on verification of systems software now routinely appear at major verification and systems conferences. Just recently, SOSP’15 opened with a session on formal verification. Thus, in our opinion, the recent decline of SSV marks a natural transition of systems software verification into the mainstream, which is only a good thing.
David and I would like to sincerely thank all those who submitted to SSV 2015. We would also like to thank the PC members for agreeing to serve on the SSV PC, and for their help in promoting SSV 2015.
Please don’t hesitate to get in touch if you have any questions.
Toby and David