International Workshop on Validated Numerics for Computer-Assisted Proofs
Validated Numerics for Computer-Assisted Proofs
6-10 July 2026, ICMS, Bayes Centre, Edinburgh
Short Programme
Note: The programme is provisional and subject to changes.
Sun 05 Jul 2026
| Time | Title | Speaker |
|---|---|---|
| Arrivals and Check-in | ||
| Suggested activity |
Mon 06 Jul 2026
| Time | Title | Speaker |
|---|---|---|
| 09:00 | Registration and refreshments | |
| 10:00 | Housekeeping and Welcome | |
| 10:15 | The beginnings of validated numerics, in memory of Hans Koch and Oscar Lanford | Jean-Pierre Eckmann |
| 11:00 | Coffee | |
| 11:30 | Validated polynomial optimisation for computer-assisted proofs in ODEs | Jeremy Parker |
| 12:00 | Computer-assisted proof of existence and stability of solitary waves in the Whitham equation | Matthieu Cadiot |
| 12:30 | Lunch | |
| 14:00 | Computer-assisted proofs in nonlinear dynamics based on spectral methods | Jan Bouwe van den Berg |
| 14:45 | Rigorous enclosure of Lyapunov exponents of stochastic flows | Hugo Chu |
| 15:30 | Coffee | |
| 16:00 | Discussions 1 | Discussion Chair1 |
| 17:00 | Welcome Reception |
Tue 07 Jul 2026
| Time | Title | Speaker |
|---|---|---|
| 09:00 | Registration and refreshments | |
| 09:25 | Housekeeping and Welcome | |
| 09:30 | Verified error bounds for sparse systems | Siegfried Rump |
| 10:30 | Root certification using disk arithmetic | Nicolae Mihalache-Ciurdea |
| 11:00 | Coffee | |
| 11:30 | Existence of cycles of the doubling operator for coupled maps | Zainab Rahman |
| 12:00 | A computer-assisted proof of dynamo growth in the stretch-fold-shear map | Benjamin Mestel |
| 12:30 | Lunch | |
| 14:00 | On attractors of Fibonacci maps | Artem Dudko |
| 14:45 | (TBC) | Olivier Henot |
| 15:15 | (Motivation for discussion session. Chair: Ben Mestel) | |
| 15:30 | Coffee | |
| 16:00 | Discussions 2 | Discussion Chair2 |
| 17:00 | Reception & Networking |
Wed 08 Jul 2026
| Time | Title | Speaker |
|---|---|---|
| 09:00 | Registration and refreshments | |
| 09:25 | Housekeeping and Welcome | |
| 09:30 | Computer assisted proofs for invariant manifolds and their use in connecting orbit problems | Jason Mireles-James |
| 10:15 | Arnold Diffusion and Blenders in the Three-Body Problem | Maciej Capinski |
| 11:00 | Coffee | |
| 11:30 | Computer Assisted Proofs for Nonlinear Problems in the Borel Plane and Validated Numerics for Complex Convolutions | Juan Miranda |
| 12:00 | Taylor models in Julia | Luis Benet |
| 12:30 | Packed Lunch | |
| 14:00 | HALF DAY SUGGESTIONS: | |
| (A) 15:00 Tour of the James Clerk Maxwell House, 14 India Street | David Kerridges | |
| (B) Walk to Arthur’s Seat | ||
| (C) Walk exploring Old Town, Royal Mile, Dean Village | ||
| (D) Scottish Museum | ||
| (TBC) |
Thu 09 Jul 2026
| Time | Title | Speaker |
|---|---|---|
| 09:00 | Registration and refreshments | |
| 09:25 | Housekeeping and Welcome | |
| 09:30 | The CAPD library - a tool for validation in dynamical systems | Daniel Wilczak |
| 10:30 | Rigorous integration of differential inclusions and delay differential equations in the CAPD library | Tomasz Kapela |
| 11:00 | Coffee | |
| 11:30 | (Part I - TBC) | Polina Vytnova |
| 12:00 | (Part II - TBC) | Caroline Wormell |
| 12:30 | Lunch | |
| 14:00 | Rigorous integration of dissipative PDEs on the torus | Piotr Zgliczynski |
| 14:45 | Lower bounds on the Hausdorff dimension of some Julia sets | Igors Gorbovickis |
| 15:30 | Coffee | |
| 16:00 | Discussions 3 | Discussion Chair3 |
| (TBC) |
Fri 10 Jul 2026
| Time | Title | Speaker |
|---|---|---|
| 09:00 | Registration and refreshments | |
| 09:25 | Housekeeping and Welcome | |
| 09:30 | Computer-assisted proofs for periodic solutions in state-dependent delay equations | Jean-Philippe Lessard |
| 10:15 | Rigorous computation of renormalization fixed points using Chebyshev series | Maxime Breden |
| 11:00 | Coffee | |
| 11:30 | (TBC) | (TBC) |
| 12:00 | Closing remarks and thanks | |
| 12:30 | Lunch | |
| 14:00 | Close |
The long version of the programme with further details and abstracts is also available.