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
Export series to