Computer assisted proofs for stability analysis of nonlinear waves
June 5 to June 9, 2023
American Institute of Mathematics, San Jose, CA

Organizers:
Blake Barker, Emmanuel Fleurantin, and J.D. Mireles James

Description:
This workshop, sponsored by AIM and the NSF, will be devoted to
solving open problems regarding the stability of nonlinear waves
using computer assisted methods of proof. 

Deadline:
February 1, 2023  

Details:
http://aimath.org/workshops/upcoming/compproofstability