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
Summary
Note: (*) The Monday session begins at 10:00 rather than 09:30.
| MON | TUE | WED | THU | FRI | |
|---|---|---|---|---|---|
| 0930 | *Welcome, Eckmann | Rump, Mihalache | Breden, Capinski | Wilczak, Kapela | Lessard, Mireles-James |
| 1100 | Break | Break | Break | Break | Break |
| 1130 | Parker, Cadiot | Rahman, Mestel | Miranda, Benet | Vytnova, Wormell | Breakouts, Closing |
| 1230 | Lunch | Lunch | Lunch | Lunch | Lunch |
| 1400 | van den Berg, Chu | Dudko, Henot | Half-day Activities | Zgliczynski, Gorbovickis | |
| 1530 | Break | Break | Break | ||
| 1600 | Discuss 1 | Discuss 2 | Discuss 3 | ||
| 1700 | Welcome Reception | Social & Networking |
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 | Break | |
| 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 | Break | |
| 16:00 | Discussions 1: Open Problems and Scope | 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 |
| 11:00 | Break | |
| 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 | About the fate of the Rotating Eight families | Olivier Henot |
| 15:15 | (Motivation for discussion session. Chair: Ben Mestel) | |
| 15:30 | Break | |
| 16:00 | Discussions 2: Methodologies, languages, platforms, standards and AI / proof assistants | Discussion Chair2 |
| 17:00 | Social & Networking |
Wed 08 Jul 2026
| Time | Title | Speaker |
|---|---|---|
| 09:00 | Registration and refreshments | |
| 09:25 | Housekeeping and Welcome | |
| 09:30 | Rigorous computation of renormalization fixed points using Chebyshev series | Maxime Breden |
| 10:15 | Arnold Diffusion and Blenders in the Three-Body Problem | Maciej Capinski |
| 11:00 | Break | |
| 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 | |
| 13:30 | Half-day Suggestions: | |
| (A) 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) Museums and Galleries |
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 | Break | |
| 11:30 | Euler-Maclaurin Formula in Hausdorff dimension estimates | Polina Vytnova |
| 12:00 | Euler–Maclaurin on a computer | 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 | Break | |
| 16:00 | Discussions 3: Future activity | Discussion Chair3 |
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 | Computer assisted proofs for invariant manifolds and their use in connecting orbit problems | Jason Mireles-James |
| 11:00 | Break | |
| 11:30 | Breakout discussions | All participants |
| 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.