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.
Sponsors
Universidad de Cantabria
Vicerrectorado de Investigación y Desarrollo
Facultad de Ciencias. UC.
Departamento de Matemáticas, Estadística y Computación. UC.
Ministerio de Economía y Competitividad
Secretaría de Estado de Investigación
(but the money from the ministry arrived one year late)