Workshop Announcement: ---------------------------------------------------------------- Computer assisted proofs for stability analysis of nonlinear waves ---------------------------------------------------------------- June 5 to June 9, 2023 American Institute of Mathematics Research Conference Center San Jose, California http://aimath.org/workshops/upcoming/compproofstability ------------ 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. The workshop is organized by Blake Barker, Emmanuel Fleurantin, and J.D. Mireles James. For more details please see the workshop announcement page: http://aimath.org/workshops/upcoming/compproofstability Space and funding is available for a few more participants. If you would like to participate, please apply by filling out the on-line form (available at the link above) no later than February 1, 2023. Applications are open to all, and we especially encourage women, underrepresented minorities, junior mathematicians, and researchers from primarily undergraduate institutions to apply. -------------------------------- AIM Research Conference Center: -------------------------------- The American Institute of Mathematics (AIM) hosts focused workshops in all areas of the mathematical sciences. AIM focused workshops are distinguished by their emphasis on a specific mathematical goal, such as making progress on a significant unsolved problem, understanding the proof of an important new result, or investigating the convergence between two distinct areas of mathematics. For more information, please visit http://www.aimath.org/workshops/upcoming/