NSV 2013 - 6th International Workshop on Numerical Software Verification

We live in an era where numerical computing is becoming more and more important. For one, computing is increasingly integrated with sensor-driven perceptions of the physical world. Secondly, intensive numerical simulations are key to coping with some of biggest scientific challenges of the day (for example climate change). As a third example, numerics-heavy multimedia applications such as games and image manipulation systems are perhaps the popular forms of consumer software at this point. Given the increasing complexity of numerical software, it is imperative to develop logical and mathematical techniques that would allow greater programmability and software reliability in this space. The NSV workshop is dedicated to the current development and future prospects of such techniques.
The scope of the workshop includes, but is not restricted to, the following topics:
Models and abstraction techniques for numerical programs
Formal specification, verification, and synthesis of numerical programs
Quality of finite precision implementations
Propagation of uncertainties, deterministic and probabilistic models
Tradeoffs between quality of service and resource (for example energy) consumption in programs
Hybrid systems verification and synthesis
Application domains such as embedded software, scientific computing, and multimedia, graphics, and gaming.