Workshop Announcement:

----------------------------------------------------------------
     Computational mathematics in computer assisted proofs
----------------------------------------------------------------

                    May 24 to May 28, 2021

  American Institute of Mathematics Research Conference Center

                     San Jose, California

        http://aimath.org/workshops/upcoming/compproofs


------------
Description:
------------

This workshop, sponsored by AIM and the NSF, will be devoted to the
use of computational mathematics in computer assisted proofs. 

The workshop is organized by
Charles Fefferman, Anders Hansen, and Svetlana Jitomirskaya.

For more details please see the workshop announcement page:
http://aimath.org/workshops/upcoming/compproofs

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 November 24, 2020. 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/