Validated Numerics for Computer-Assisted Proofs

6-10 July 2026, ICMS, Bayes Centre, Edinburgh

• Overview
• News and Announcements
• Short Programme
• Abstracts / Long Programme
• Participants

News and announcements

Most recent first:

• June 8, 2026 Call for contributions to edited volume
• June 7, 2026 Looking forward to the workshop