Numerical Software: Design, Analysis and Verification
Month: July 2012
Date: July 4--6
Name: Numerical Software: Design, Analysis and Verification
Location: Universidad de Cantabria, Santander, Spain.
Description
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. Selected contributions will be invited for a special issue of the journal "Science of Computer Programming".
Deadlines
Contributed session proposals: February 1, 2012. Abstracts for contributed talks and posters: April 1, 2012.
Information
http://personales.unican.es/segurajj/numsoft12