Invited Speakers

Invited Plenary Speakers

• Ekaterina Auer (University of Duisburg-Essen, Germany)
  Result Verification and Uncertainty Management in Engineering Applications
• Andrej Bauer (University of Ljubljana, Slovenia)
  Programming techniques for exact real arithmetic
• Sylvie Boldo (Inria, France)
  Formal verification of tricky numerical computations
• Jack Dongarra (University of Tennessee and ORNL, USA)
  Algorithmic and Software Challenges at Extreme Scales 
• John Gustafson (Ceranovo Inc., USA)
  An Energy-Efficient and Massively Parallel Approach to Valid Numerics
• Kenta Kobayashi (Hitotsubashi University, Japan), Winner of R. E. Moore Prize 2014
  Computer-Assisted Uniqueness Proof for Stokes' Wave of Extreme Form
• Bartłomiej Jacek Kubica (Warsaw University of Technology, Poland)
  Interval methods for solving various kinds of quantified nonlinear problems 
• John Pryce (Cardiff University, UK)
  The architecture of the IEEE P1788 draft standard for interval arithmetic