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 15:00-16: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
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