NSV-3: July 15

Third International Workshop on Numerical Software Verification

associated with CAV and LICS


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 scope of the workshop includes, but is not restricted to, the following topics:

More information can be found here.


Invited Talks

Program Chairs

Georgios Fainekos, Arizona State University, United States
Eric Goubault, CEA/Saclay, France
Sylvie Putot, CEA-LIST (Commissariat a l'Energie Atomique), France, Metropolitan

Program Committee:

Rajeev Alur, University of Pennsylvania, United States
Martin Berz, Michigan State University, United States
Stephane Gaubert, INRIA and CMAP, Ecole Polytechnique, France
Alwyn Goodloe, National Institute of Aerospace, United States
Francjo Ivancic, NEC Labs America, United States
Guillaume Melquiond, INRIA, France
David Monniaux, CNRS / VERIMAG, France
Stefan Ratschan, Czech Academy of Sciences, Czech Republic
Nathalie Revol, INRIA - LIP, Universite de Lyon, France
Sriram Sankaranrayanan, University of Colorado, Boulder, CO, United States
Hakan Yazarel, Toyota, United States