Online Proceedings Thu Aug 11 2011 The workshop proceedings are available online now.

Accepted Papers Mon Aug 08 2011 The accepted papers are available now.

Registration Fri July 08 2011 Details about the registration are available now. Please note that early registration ends on July 15, 2011.

Workshop Program Available Fri July 08 2011 We have assembled the workshop program, consisting of three invited talks and six regular presentations.

Invited Speaker: Bart Jacobs Mon June 28 2011 We are glad that Bart Jacobs from the Katholieke Universiteit Leuven in Belgium has accepted to give an invited talk at the workshop.

Invited Speaker: Sebastien Bardin Mon June 14 2011 We are pleased to announce that Sebastien Bardin who is working with the Software Reliability Lab at CEA will give an invited talk about the analysis of executable code at the workshop.

SSV 2011 is a one-day workshop only Wed June 08 2011 Because of the low number of submissions SSV 2011 will only take place on Friday, August 26th with a workshop dinner in the evening.

Invited Speaker: Peter Sewell Wed June 08 2011 We are pleased to announce that Peter Sewell from the University of Cambridge will give an invited talk at the workshop.

Abstract submission deadline extended by two weeks Tue May 17 2011 The abstract and paper submission deadlines have been extended by two weeks, see the CfP.

SSV 2011 Web Site
Tue Mar 15 21:03:40 WEST 2011 - The SSV 2011 website is online. The system is based on standard technologies such as PHP 4.3.10, RSS 2.0, CSS 2.1, XML, XHTML 1.0. It has been inspired by the FMICS 2010 web site by Marco Roveri.

Sponsored by:
Supported by:
FBK RWTH-AACHEN Technische Universitat Dresden RWTH-AACHEN
Published by:
[to be announced]
Valid XHTML 1.0 Transitional Valid CSS! [Valid RSS]
Inspired by the FMICS 2010 web pages by Marco Roveri