Tentative program is announced


The fourth workshop on Numerical Software Verification (NSV) will be held in Cliff Lodge, Snowbird, Utah, on July 14th, 2011 , and associated to the Conference on Computer Aided Verification CAV 2011.
This workshop will continue along the lines of NSV-I (2008) that was held in July 2008 along with CAV 2008 at Princeton, NJ, NSV-II (2009), held in April 2009 as part of CPSWeek'09, and affiliated with the conference on Hybrid Systems: Computation and Control, and NSV-III (2010), held in July 2010 as part of the Federated Logic Conferences FLoC 2010, affiliated with the Conference on Computer Aided Verification CAV 2010 and the Symposium on Logic in Computer Science LICS 2010.

Topics of Interest

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. The scope of the workshop includes the following topics:

Invited Speakers

James Demmel (University of California at Berkeley)
Thomas Gawlitza (INRIA Rhônes-Alpes)
Goran Frehse (Verimag)


One aim of the workshop is to constitute a library of benchmarks for numerical programs. We thus invite researchers of the field to submit not only original research papers, but also benchmarks and tool papers.

We call for several categories of submissions:

Please submit your papers through easychair.

Final proceedings will be edited after the workshop, most probably as a special issue of ENTCS or Mathematics in Computer Science. This special issue will undergo the classical reviewing process.

The tool contest

We will propose a very informal and relaxed tool contest during the workshop, partially based on the submitted benchmarks papers. Please inform us 3 weeks before the workshop of your intention to participate. We encourage tool writers to submit a tool paper, but if not please send us at least 3 weeks before a short description of your tool (in particular properties verified, language for the benchmarks, platform for installation).

Important Dates

Paper submission deadline: March 31, 2011.
Notification of acceptance/rejection: May 6, 2011.
Camera-ready version: May 24, 2011.
Worshop: July 14, 2011.


Eric Goubault (CEA LIST)
Sylvie Putot (Cea LIST)
Stefan Ratschan (Academy of Sciences, Czech Republic)
Sriram Sankaranarayanan (University of Colorado Boulder)

Program Committee

Sylvie Boldo (INRIA Saclay - Proval)
Swarat Chaudhuri (Pennsylvania State University)
Michael Colon (U.S. Naval Research Laboratory)
Eric Feron (Georgia Institute of Technology)
Stéphane Gaubert (INRIA Saclay - MaxPlus)
Nathalie Revol (INRIA - Arénaire)
Stephen F. Siegel (University of Delaware)


For questions related to this workshop and abstract submission for talks please contact the organizers.