Tue | Jun 29 | 14:00 | Andrew Burbanks | Computer-assisted proofs for renormalisation fixed-points and eigenfunctions for period-doubling universality in maps of the interval | |

Tue | Jun 22 | 14:00 | Marian Mrozek | Combinatorial Topological Dynamics | |

Tue | Jun 15 | 14:00 | Zbigniew Galias | Chaos in the Chua's circuit | |

Tue | Jun 08 | 14:00 | Vladimir Sverak | OPEN PROBLEMS SERIES: Some conjectures that seem difficult to prove | |

Tue | Jun 01 | 14:00 | Charles Fefferman | CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days | |

Tue | May 18 | 14:00 | Thomas Wanner | Bifurcation Points in the Ohta-Kawasaki Model | |

Tue | May 11 | 14:00 | Jonathan Jaquette | A computer assisted proof of Wright's conjecture: counting and discounting slowly oscillating periodic solutions to a DDE | |

Tue | May 04 | 14:00 | Kaname Matsue | Rigorous numerics of blow-up solutions for autonomous ODEs | |

Tue | Apr 27 | 14:00 | Joel Dahne | A computer assisted counterexample to Payne’s nodal line conjecture with few holes | |

Tue | Apr 20 | 14:00 | Alberto Bressan | Non-uniqueness and error bounds for fluid flow | |

Tue | Apr 13 | 14:00 | Warwick Tucker | Relative equilibria for the n-body problem | |

Tue | Apr 06 | 14:00 | Piotr Kalita | Rigorous FEM based forward in time integration of dissipative PDEs | |

Tue | Mar 30 | 14:00 | Jean-Philippe Lessard | Computer-assisted proofs for Cauchy problems of delay equations and PDEs via Chebyshev series | |

Tue | Mar 23 | 14:00 | Antoine Zurek | Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof | |

Tue | Mar 16 | 14:00 | Shin'ichi Oishi | Computer assisted existence proof of complicated dynamics in forced delay action oscillator modelling El Nino phenomena | |

Tue | Mar 09 | 15:00 | Alessandra Celletti | KAM (computer-assisted) results in Celestial Mechanics: the dissipative spin-orbit problem | |

Tue | Mar 02 | 15:00 | J.D. Mireles James | Boundary value problems and transversality in conservative systems: computer assisted proofs of connection and collision orbits | |

Tue | Feb 23 | 15:00 | Florent Bréhard | Beyond Exponential Complexity of Newton-Galerkin Validation Methods: A Polynomial-Time Newton-Picard Validation Algorithm for linear ODEs | |

Tue | Feb 16 | 15:00 | Konstantin Mischaikow | CRM-CAMP COLLOQUIUM: Wherefore computer assisted proofs in dynamics? | |

Tue | Feb 09 | 15:00 | David Sanders | Interval methods with Julia: Finding one million roots in one second | |

Tue | Feb 02 | 15:00 | Hans Koch | Golden mean renormalization for the almost Mathieu operator and related skew products | |

Tue | Jan 26 | 15:00 | Anna Gierzkiewicz | Periodic orbits in Roessler system | |

Tue | Jan 19 | 15:00 | Nicolas Brisebarre | Correct rounding for transcendental functions | |

Tue | Jan 12 | 15:00 | Robert Szczelina | A computer assisted proof of chaos in a delayed perturbation of chaotic ODE | |

Tue | Dec 08 | 15:00 | Jean-Pierre Eckmann | CRM-CAMP Colloquium | |

Tue | Dec 01 | 15:00 | Arnd Scheel | Future Directions Series: Defect and front dynamics: analysis and computation | |

Tue | Nov 24 | 15:00 | Gianni Arioli | Symmetry breaking and Hopf bifurcations for the planar Navier-Stokes equation | |

Tue | Nov 17 | 15:00 | Ferenc Bartha | Stable periodic orbits for the Mackey-Glass equation | |

Tue | Nov 10 | 15:00 | Blake Barker | Recent progress in proving stability of traveling waves in the 1D Navier-Stokes equations using rigorous computations | |

Tue | Nov 03 | 21:00 | Gary Froyland | Stability and approximation of statistical limit laws | |

Tue | Oct 27 | 14:00 | Evelyn Sander | Equilibrium validation in models for pattern formation based on Sobolev embeddings | |

Tue | Oct 20 | 14:00 | Assia Mahboubi | Formally verified computer-assisted mathematical proofs | |

Tue | Oct 13 | 14:00 | Kevin Church | Rigorous computation of periodic solutions and Floquet multipliers in delay differential equations with time-forced discontinuities | |

Tue | Oct 06 | 14:00 | Akitoshi Takayasu | Computer-assisted proofs for finding the monodromy of hypergeometric differential equations | |

Tue | Sep 29 | 14:00 | Piotr Nowak | A computer-assisted proof of Kazhdan’s property (T) for automorphism groups of free groups | |

Tue | Sep 22 | 14:00 | Shane Kepley | Computing and validating collisions, ejections, and homoclinics for the three body problem | |

Tue | Sep 15 | 14:00 | Elena Queirolo | Validating Hopf bifurcations in the Kuramoto-Sivashinsky PDE | |

Tue | Sep 08 | 14:00 | Isaia Nisoli | A proof of Noise Induced Order in the BZ map, and some remarks on the phenomenon | |

Tue | Sep 01 | 14:00 | Maciej Capiński | Computer assisted proofs of Arnold Diffusion | |

Tue | Aug 25 | 14:00 | Maxime Breden & Maximilian Engel | Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems | |

Tue | Aug 18 | 14:00 | Caroline Wormell | Rigorously validated estimation of statistical properties of expanding maps | |

Tue | Aug 11 | 14:00 | Renato Calleja | Torus knot choreographies in the n-body problem | |

Tue | Aug 04 | 14:00 | Daniel Wilczak | Rigorous numerical investigation of chaos and stability of periodic orbits in the Kuramoto-Sivashinsky PDE | |

Tue | Jul 28 | 14:00 | Nilima Nigam | A modification of Schiffer's conjecture, and a proof via finite elements | |

Tue | Jul 21 | 14:00 | Xuefeng Liu | Solution verification for the stationary Navier-Stokes equation over bounded non-convex 3D domains | |

Tue | Jul 14 | 14:00 | Javier Gómez-Serrano | Uniqueness of Whitham's highest cusped wave | |

Tue | Jul 07 | 14:00 | Michael Plum | Computer-assisted existence and multiplicity proofs for semilinear elliptic problems on bounded and unbounded domains | |

Tue | Jun 30 | 14:00 | Jonathan Jaquette | An overabundance of breathers in a nonlinear Schrödinger equation without gauge invariance | |

Tue | Jun 23 | 14:00 | Jan Bouwe van den Berg | Stable periodic patterns in 3D for the Ohta-Kawasaki problem | |