.jpg "China Electric Vehicle Forum 2012")
5th International Workshop on Systems Software Verification (SSV 2010)
Real Software, Real Problems, Real SolutionsOct 06,2010 - Oct 07,2010
Vancouver, British Columbia, Canada
-
Highlights
Join us in Vancouver, BC, Canada, October 6–7, 2010, for the 5th International Workshop on Systems Software Verification. Industrial-strength software analysis and verification has advanced in recent years. However, many techniques are working under restrictive assumptions that are invalidated by complex embedded systems software. The aim of this workshop is to bring together researchers and developers from both academia and industry who are facing real software and real problems with the goal of finding real, applicable solutions.
The complete program will be available here in August 2010.
Event Reminder
- Registration Open
- Call for Papers
- Call for Speakers
- Receive GTM eblast updates
- Security Code:
Event Profile
- Theme: Real Software, Real Problems, Real Solutions
- Sponsors: NICTA, Microsoft Research
Contact Details
- Contact person: SSV '10
- Event website: http://www.usenix.org/events/ssv10/
- Phone: 510-528-8649
- Fax: 510-548-5738
Tags
Contact Organizer
