CRM-CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis
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 www.crm.math.ca/camp-nonlinear
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Tue | Sep 29 | 14:00 | Piotr Nowak | A computer-assisted proof of Kazhdan’s property (T) for automorphism groups of free groups | |
| Tue | Oct 06 | 14:00 | Akitoshi Takayasu | Computer-assisted proofs for finding the monodromy of hypergeometric differential equations | |
| Tue | Oct 13 | 14:00 | Kevin Church | TBA | |
| Tue | Oct 20 | 14:00 | Assia Mahboubi | TBA | |
| Tue | Oct 27 | 14:00 | Evelyn Sander | TBA | |
| Tue | Nov 03 | 15:00 | Gary Froyland | TBA | |
| Tue | Nov 10 | 15:00 | Blake Barker | TBA | |
| Tue | Nov 17 | 15:00 | Ferenc Bartha | TBA | |
| Tue | Nov 24 | 15:00 | Gianni Arioli | TBA | |
| Tue | Dec 01 | 15:00 | Arnd Scheel | Future Directions Series of the CRM-CAMP | |
| Tue | Dec 08 | 15:00 | Jean-Pierre Eckmann | CRM-CAMP Colloquium | |
Export series to