Logo

International Workshop on Validated Numerics for Computer-Assisted Proofs

13 July 2026

Slides from talks now available

by Andrew Burbanks

Slides from talks now available

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