INVA 2014
The International Workshop on Numerical Verification and its Applications 2014
The workshop prepares abstracts of each talk. The authors of each contributed talk require an extended abstract. It should be up to 4 pages for an invited talk and up to 2 pages for a contributed talk in PDF format. Please send your abstract (.tex and .pdf files) via email by February 21, 2014.
TeX format of the abstract is here (PDF).
Deadline for abstract submission: February 21, 2014
Abstract of INVA 2014
Copyright: CREST, JST project titled “Establishment of Foundations of Verified Numerical Computations for Nonlinear System and Error-free Algorithms in Computational Engineering”. All rights reserved.