CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis

External homepage

analysis of PDEs classical analysis and ODEs dynamical systems functional analysis numerical analysis

Centre de recherches mathématiques

Audience: Researchers in the discipline
Seminar series time: Tuesday 14:00-15:00 in your time zone, UTC
Organizers: Jean-Philippe Lessard*, Jason D. Mireles James, Jan Bouwe van den Berg
*contact for this listing

To have access to the zoom details of the talks, please register at

Upcoming talks
Past talks
Your timeSpeakerTitle
TueJun 2914:00Andrew BurbanksComputer-assisted proofs for renormalisation fixed-points and eigenfunctions for period-doubling universality in maps of the interval
TueJun 2214:00Marian MrozekCombinatorial Topological Dynamics
TueJun 1514:00Zbigniew GaliasChaos in the Chua's circuit
TueJun 0814:00Vladimir SverakOPEN PROBLEMS SERIES: Some conjectures that seem difficult to prove
TueJun 0114:00Charles FeffermanCRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days
TueMay 1814:00Thomas WannerBifurcation Points in the Ohta-Kawasaki Model
TueMay 1114:00Jonathan JaquetteA computer assisted proof of Wright's conjecture: counting and discounting slowly oscillating periodic solutions to a DDE
TueMay 0414:00Kaname MatsueRigorous numerics of blow-up solutions for autonomous ODEs
TueApr 2714:00Joel DahneA computer assisted counterexample to Payne’s nodal line conjecture with few holes
TueApr 2014:00Alberto BressanNon-uniqueness and error bounds for fluid flow
TueApr 1314:00Warwick TuckerRelative equilibria for the n-body problem
TueApr 0614:00Piotr KalitaRigorous FEM based forward in time integration of dissipative PDEs
TueMar 3014:00Jean-Philippe LessardComputer-assisted proofs for Cauchy problems of delay equations and PDEs via Chebyshev series
TueMar 2314:00Antoine ZurekExistence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
TueMar 1614:00Shin'ichi OishiComputer assisted existence proof of complicated dynamics in forced delay action oscillator modelling El Nino phenomena
TueMar 0915:00Alessandra CellettiKAM (computer-assisted) results in Celestial Mechanics: the dissipative spin-orbit problem
TueMar 0215:00J.D. Mireles JamesBoundary value problems and transversality in conservative systems: computer assisted proofs of connection and collision orbits
TueFeb 2315:00Florent BréhardBeyond Exponential Complexity of Newton-Galerkin Validation Methods: A Polynomial-Time Newton-Picard Validation Algorithm for linear ODEs
TueFeb 1615:00Konstantin MischaikowCRM-CAMP COLLOQUIUM: Wherefore computer assisted proofs in dynamics?
TueFeb 0915:00David SandersInterval methods with Julia: Finding one million roots in one second
TueFeb 0215:00Hans KochGolden mean renormalization for the almost Mathieu operator and related skew products
TueJan 2615:00Anna GierzkiewiczPeriodic orbits in Roessler system
TueJan 1915:00Nicolas BrisebarreCorrect rounding for transcendental functions
TueJan 1215:00Robert SzczelinaA computer assisted proof of chaos in a delayed perturbation of chaotic ODE
TueDec 0815:00Jean-Pierre EckmannCRM-CAMP Colloquium
TueDec 0115:00Arnd ScheelFuture Directions Series: Defect and front dynamics: analysis and computation
TueNov 2415:00Gianni ArioliSymmetry breaking and Hopf bifurcations for the planar Navier-Stokes equation
TueNov 1715:00Ferenc BarthaStable periodic orbits for the Mackey-Glass equation
TueNov 1015:00Blake BarkerRecent progress in proving stability of traveling waves in the 1D Navier-Stokes equations using rigorous computations
TueNov 0321:00Gary FroylandStability and approximation of statistical limit laws
TueOct 2714:00Evelyn SanderEquilibrium validation in models for pattern formation based on Sobolev embeddings
TueOct 2014:00Assia MahboubiFormally verified computer-assisted mathematical proofs
TueOct 1314:00Kevin ChurchRigorous computation of periodic solutions and Floquet multipliers in delay differential equations with time-forced discontinuities
TueOct 0614:00Akitoshi TakayasuComputer-assisted proofs for finding the monodromy of hypergeometric differential equations
TueSep 2914:00Piotr NowakA computer-assisted proof of Kazhdan’s property (T) for automorphism groups of free groups
TueSep 2214:00Shane KepleyComputing and validating collisions, ejections, and homoclinics for the three body problem
TueSep 1514:00Elena QueiroloValidating Hopf bifurcations in the Kuramoto-Sivashinsky PDE
TueSep 0814:00Isaia NisoliA proof of Noise Induced Order in the BZ map, and some remarks on the phenomenon
TueSep 0114:00Maciej CapińskiComputer assisted proofs of Arnold Diffusion
TueAug 2514:00Maxime Breden & Maximilian EngelComputer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
TueAug 1814:00Caroline WormellRigorously validated estimation of statistical properties of expanding maps
TueAug 1114:00Renato CallejaTorus knot choreographies in the n-body problem
TueAug 0414:00Daniel WilczakRigorous numerical investigation of chaos and stability of periodic orbits in the Kuramoto-Sivashinsky PDE
TueJul 2814:00Nilima NigamA modification of Schiffer's conjecture, and a proof via finite elements
TueJul 2114:00Xuefeng LiuSolution verification for the stationary Navier-Stokes equation over bounded non-convex 3D domains
TueJul 1414:00Javier Gómez-SerranoUniqueness of Whitham's highest cusped wave
TueJul 0714:00Michael PlumComputer-assisted existence and multiplicity proofs for semilinear elliptic problems on bounded and unbounded domains
TueJun 3014:00Jonathan JaquetteAn overabundance of breathers in a nonlinear Schrödinger equation without gauge invariance
TueJun 2314:00Jan Bouwe van den BergStable periodic patterns in 3D for the Ohta-Kawasaki problem
Embed this schedule
Export series to