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

Upcoming talks

Past talks

Your time | Speaker | Title | |||
---|---|---|---|---|---|

Tue | Mar 02 | 15:00 | J.D. Mireles James | TBA | |

Tue | Mar 09 | 15:00 | Alessandra Celletti | Invariant (KAM) attractors of the dissipative spin-orbit problem in Celestial Mechanics | |

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 23 | 14:00 | Antoine Zurek | TBA | |

Tue | Mar 30 | 14:00 | Jean-Philippe Lessard | TBA | |

Tue | Apr 06 | 14:00 | Piotr Kalita | TBA | |

Tue | Apr 13 | 14:00 | Warwick Tucker | TBA | |

Tue | Apr 20 | 14:00 | Alberto Bressan | TBA | |

Tue | May 04 | 14:00 | Kaname Matsue | TBA | |

Tue | May 18 | 14:00 | Thomas Wanner | TBA | |

Tue | Jun 15 | 14:00 | Zbigniew Galias | TBA |

Export series to