Description of Activity
Organiser of the Validated Numerics for Computer-Assisted Proofs workshop at the International Centre for Mathematical Sciences (ICMS) Edinburgh, together with Ben Mestel (formerly Open University, UK), Mark Pollicott (University of Warwick, UK), and Julia Slipantschuk (University of Bayreuth, Germany).The workshop is supported by £21k funding from an ICMS Workshop Grant (PI: Burbanks), £4.8k funding from the London Mathematical Society (LMS) Research Grant Scheme 1 (PI: Burbanks), and £500 from the Glasgow Mathematical Journal Trust. The ICMS is supported by UKRI EPSRC, Heriot Watt University, and the University of Edinburgh.
Validated numerics, rooted in Moore’s interval analysis, uses the arithmetic of real intervals to rigorously bound nonlinear functions and control floating-point errors in computations. These methods extend naturally to higher-dimensional and function spaces, forming the basis of rigorous numerical functional analysis. Combined with set-oriented techniques, validated numerics has enabled computer-assisted proofs to address a variety of problems in dynamical systems. Recent advances in computing, and wider availability of platforms that provide support, have led to a resurgence of research activity in the field of validated numerics (and application to computer-assisted proofs).
This ICMS workshop aims to bring together a group of international experts and those at all career stages in the area of validated numerics and its applications:
to review current progress across different application areas (including computer-assisted proofs that use this methodology);
to develop a young and diverse group of researchers in this field;
to identify further open problems for which a validated-numerics approach may be profitably utilised;
to review and compare different software platforms and to discuss common standard features for further software developments;
to scope international collaborative research projects and associated funding applications to advance the field in the next 10 – 15 years;
to establish an international Special Interest Group in Validated Numerics as a focus for further activity in this field.
| Period | 6 Jul 2026 → 10 Jul 2026 |
|---|---|
| Event type | Workshop |
| Location | Edinburgh, United KingdomShow on map |
| Degree of Recognition | International |