Looking forward to the workshop

We are looking forward to welcoming the participants to our international workshop on “Validated Numerics for Computer-Assisted Proofs” next month, 6-10 July 2026, at the International Centre for Mathematical Sciences (ICMS), Edinburgh.

The workshop will bring together around 30 participants, from 12+ countries, at all career stages.

The workshop is supported by the ICMS, the London Mathematical Society, and the Glasgow Mathematical Journal Trust. (The ICMS is supported by UKRI EPSRC, Heriot Watt University, and the University of Edinburgh.)