Systems Software Verification Conference (SSV 2012)

Sydney, November 28–30, 2012

Home
Call for Papers
Important Dates
Venue
Registration
- Registration
- Dietary Requirements
Contact
Programme

SSV 2012

SSV 2012, November 28-30, Sydney, Australia.
Opera House

SSV 2012, November 28–30, Sydney, Australia.

Important Dates
Submission:
- Abstract: September 14 Extended to 22, 2012
- Paper: September 19 Extended to 26, 2012
- Notification: October 19 24, 2012
- Conference: November 28--30, 2012
Sponsors
Proceedings

SSV 2012 proceedings are available as EPTCS 102
Latest News

Theme by Towfiq I.