The NSV workshop is dedicated to the current development and future prospects on applying logical and mathematical techniques for reasoning about numerical aspects of software. The workshop will also be an occasion to discuss robustness of software and systems under uncertainty of values and numerical perturbations, which is a central issue in numerical methods and robust control. It will be associated to the Conference on Computer Aided Verification CAV 2011.
Wednesday, July 13, 2011 - 8:00pm to Thursday, July 14, 2011 - 7:59pm
Cliff Lodge, Snowbird, Utah