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 |
Abstract |
| |
Arrivals and Check-in |
|
|
| |
Suggested activity |
|
|
Mon 06 Jul 2026
| Time |
Title |
Speaker |
Abstract |
| 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 |
Abstract |
| 11:00 |
Coffee |
|
|
| 11:30 |
Computer-assisted proofs in nonlinear dynamics based on spectral methods |
Jan Bouwe van den Berg |
Abstract |
| 12:15 |
Rigorous enclosure of Lyapunov exponents of stochastic flows |
Hugo Chu |
Abstract |
| 13:00 |
Lunch |
|
|
| 14:00 |
(Part I - TBC) |
Polina Vytnova |
Abstract |
| 14:30 |
(Part II - TBC) |
Caroline Wormell |
Abstract |
| 15:00 |
Coffee |
|
|
| 15:30 |
Unstructured discussions |
|
|
| 17:00 |
Welcome Reception |
|
|
Tue 07 Jul 2026
| Time |
Title |
Speaker |
Abstract |
| 09:00 |
Registration and refreshments |
|
|
| 09:25 |
Housekeeping and Welcome |
|
|
| 09:30 |
Verified error bounds for sparse systems |
Siegfried Rump |
Abstract |
| 10:30 |
(TBC) |
Nicolae Mihalache |
Abstract |
| 11:00 |
Coffee |
|
|
| 11:30 |
Rigorous computation of renormalization fixed points using Chebyshev series |
Maxime Breden |
Abstract |
| 12:15 |
Computer Assisted Proofs in Julia applied to Area Preserving Twists Maps |
George Browne |
Abstract |
| 13:00 |
Lunch |
|
|
| 14:00 |
Existence of cycles of the doubling operator for coupled maps |
Zainab Rahman |
Abstract |
| 14:30 |
A computer-assisted proof of dynamo growth in the stretch-fold-shear map |
Benjamin Mestel |
Abstract |
| 15:00 |
Coffee |
|
|
| 15:30 |
Unstructured discussions |
|
|
| 17:00 |
Pizza Evening & Networking |
|
|
Wed 08 Jul 2026
| Time |
Title |
Speaker |
Abstract |
| 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 |
Abstract |
| 10:15 |
Arnold Diffusion in the Three-Body Problem |
Maciej Capinski |
Abstract |
| 11:00 |
Coffee |
|
|
| 11:30 |
Computer-assisted proof of existence and stability of solitary waves in the Whitham equation |
Matthieu Cadiot |
Abstract |
| 12:00 |
Computer Assisted Proofs for Nonlinear Problems in the Borel Plane and Validated Numerics for Complex Convolutions |
Juan Miranda |
Abstract |
| 12:30 |
(TBC) |
Julia Slipantschuk |
Abstract |
| 13:00 |
Lunch |
|
|
| 14:00 |
HALF DAY SUGGESTIONS: |
|
|
| |
Tour of the James Clerk Maxwell House, 14 India Street |
David Kerridges |
Abstract |
| |
Tour of Old Town, Royal Mile |
|
|
| |
Dean Village |
|
|
| |
Walk to Arthur’s Seat |
|
|
| |
? |
|
|
Thu 09 Jul 2026
| Time |
Title |
Speaker |
Abstract |
| 09:00 |
Registration and refreshments |
|
|
| 09:25 |
Housekeeping and Welcome |
|
|
| 09:30 |
The CAPD library - a tool for validation in dynamical systems |
Daniel Wilczak |
Abstract |
| 10:30 |
Rigorous integration of differential inclusions and delay differential equations in the CAPD library |
Tomasz Kapela |
Abstract |
| 11:00 |
Coffee |
|
|
| 11:30 |
Rigorous integration of dissipative PDEs on the torus |
Piotr Zgliczynski |
Abstract |
| 12:15 |
Computer-assisted proofs for periodic solutions in state-dependent delay equations |
Jean-Philippe Lessard |
Abstract |
| 13:00 |
Lunch |
|
|
| 14:30 |
Taylor models in Julia |
Luis Benet Fernández |
Abstract |
| 15:00 |
Coffee |
|
|
| 15:30 |
Unstructured discussions |
|
|
| |
? |
|
|
Fri 10 Jul 2026
| Time |
Title |
Speaker |
Abstract |
| 09:00 |
Registration and refreshments |
|
|
| 09:25 |
Housekeeping and Welcome |
|
|
| 09:30 |
Lower bounds on the Hausdorff dimension of some Julia sets |
Igors Gorbovickis |
Abstract |
| 10:15 |
On attractors of Fibonacci maps |
Artem Dudko |
Abstract |
| 11:00 |
Coffee |
|
|
| 11:30 |
(TBC) |
Jeremy Parker |
Abstract |
| 12:00 |
(TBC) |
Olivier Henot |
Abstract |
| 12:30 |
Closing remarks and thanks |
|
|
| 13:00 |
Lunch |
|
|
| 14:00 |
Close |
|
|
