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.
