NSV 2014 PROCEEDINGS: EDITOR'S PREFACE

This volume contains the accepted papers as well as the invited talks presented at NSV 2014: 7th International Workshop on Numerical Software Verification held on July 17-18, 2014 in Vienna, satellite to CAV and part of the Vienna Summer of Logic 2014 (FLOC).

The NSV workshop is dedicated to the current development and the future prospects of logical and mathematical techniques that allow reasoning about programmability and reliability of numerical systems.

The committee decided to accept 5 papers. Each submission was reviewed by at least 3 program committee members. The workshop includes 3 invited talks and a special track with selected presentations.

We thank the PC members for their time and careful selection of the content of these proceedings. We also kindly thank the FLOC proceedings' chairs as well as the EasyChair team for their technical support. We finally would like to gratefully acknowledge the generous donations provided by our corporate sponsors - CEA LIST and Maplesoft.