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

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

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 www.crm.math.ca/camp-nonlinear

Upcoming talks

Past talks

Your time			Speaker	Title
Tue	May 18	14:00	Thomas Wanner	Bifurcation Points in the Ohta-Kawasaki Model
Tue	Jun 01	14:00	Charles Fefferman	CRM CAMP Colloquium
Tue	Jun 08	14:00	Vladimir Sverak	TBA
Tue	Jun 15	14:00	Zbigniew Galias	TBA
Tue	Jun 22	14:00	Marian Mrozek	TBA
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

Embed this schedule

Your time			Speaker	Title
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

Embed this schedule

Export series to