Numerical Sofware: Design, Analysis and Verification
Santander, Spain, July 4-6 2012
(in association with the IFIP WG 2.5 meeting, July 2-3)

The workshop aims to review and discuss recent advances and research trends in the design,
analysis and verification of numerical software.  The workshop is opened to computational
scientists and mathematicians with interest in different areas of numerical software.

Programme     Registration    Abstract submission     Proceedings

Accommodation     Travel information

IFIP WG 2.5 meeting 2012 (Santander, 2-3 July 2012)