International Workshop on Validated Numerics for Computer-Assisted Proofs
by Andrew Burbanks
The slides from individual talks are now available in the long version of the programme on the page Abstracts and Slides. Click the presentation icon for each talk in order to access the slides.
Thank you to the participants for agreeing to distribute the slides.
With best wishes, the organisers.
tags: talks