Scope and Topics

The goal of SCAN2014 is to advance the frontiers in verified numerical computations, as well as in their application to computational engineering and science.

Topics of interest include, but are not limited to 

• Theory, algorithms and arithmetics for verified numerical computations
• Symbolic and algebraic methods
• Computer-assisted proofs
• Hardware and software support and programming tools for verified numerical computations
• Interval analysis and applications
• Treatment of uncertainty
• Constraint programming
• Verification in optimization and simulation
• Ordinary and partial differential equations
• Supercomputing and reliability
• Industrial and scientific applications of verified numerical computations
• Reliability in computer graphics